- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Тип роботи:
Дис. канд. наук
Рік:
2009
Артикул:
3409U002823 129 грн
Рекомендовані дисертації
- Математичне та програмне забезпечення для розв'язування задачі комівояжера великих розмірностей
- Адаптивна технологія автоматизованого виробництва програмних систем: моделі, алгоритми і засоби
- Теорія дескриптивних середовищ та її застосування
- Напрями і форми розвитку рекреації та туризму в регіоні на засадах активізації підприємницької діяльності
- Розробка алгоритмів та методів персоналізації для систем електронного навчання
- Організаційно-економічні засади формування стратегії екологічно орієнтованого управління транспортно-технологічними системами
- Метод вибору класу архітектур програмного забезпечення на основі аналізу ієрархій
- Розробка інтегрованих алгебро-алгоритмічних моделей: елементи теорії, інструментарій, застосування
- Метод та засоби редокументування успадкованого програмного забезпечення
- Метод зберігання та передачі графічної інформації у базах даних на основі сплайнового багатомасштабного розкладу