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