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