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