- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Развертки раскрашенных сетей Петри и их применение для верификации моделей распределенных систем
Тип роботи:
Дис. канд. физ.-мат. наук
Рік:
2004
Артикул:
15142 179 грн
Рекомендовані дисертації
- Разработка математического и программного обеспечения обработки биометрической информации единой системы удостоверяющих документов Социалистической Республики Вьетнам
- Вычислительная технология метода конечных объемов
- Спекулятивные оптимизации программ для архитектур с явно выраженным параллелизмом команд
- Методы и программные средства выделения и численного оценивания вариативности языковых единиц
- Программное обеспечение имитационного моделирования процесса функционирования буфера-накопителя
- Высокоуровневые методы и алгоритмы классификации интеграционных взаимосвязей структур данных
- Программное обеспечение посттрансляторной обработки программ
- Интегрированная технология работы в Web-пространстве Internet
- Инструментальные средства разработки бизнес-приложений на базе интранет-технологий
- Генерирование столбцов в симплекс-методе : Вопросы программной реализации