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