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