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