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