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