- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Тип работы:
Дис. канд. наук
Год:
2009
Артикул:
3409U002823 129 грн
Рекомендуемые диссертации
- Методи та засоби інтеграції даних туристичної сфери
- Побудова інструментальних програмних систем автоматизації тестування знань в гібридних інтелектуальних середовищах на основі агентних технологій
- Методи добування тематичної інформації з глобальної мережі на основі агентного підходу.
- Математичні та програмно-алгоритмічні засоби розв'язання задачі розподілу обмежених ресурсів
- Математичне та програмне забезпечення оптимального розподілу ресурсів серед вузлів комп'ютерних мереж
- Ресурсне та організаційне забезпечення ефективного розвитку підприємств (за матерілами цукроивх заводів України)
- Програмне забезпечення онтологічно-орієнтованої системи керування інформаційно-навчальним Web-контентом
- Український авангард в контексті західноєвропей-ських культуротворчих процесів (10-х - початку 30-х рр. XX ст.)
- Методика оцінювання однорідної обробки даних на кластерних комплексах
- Метод та засоби редокументування успадкованого програмного забезпечення