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