- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Верификация С-программ с помощью смешанной аксиоматической семантики
Тип роботи:
Кандидатская
Рік:
2012
Артикул:
1005480343 179 грн
Рекомендовані дисертації
- Исследование методов и разработка алгоритмов и программных средств планирования обслуживания терминалов распределенных компьютерных систем
- Моделирование и разработка сервис-ориентированных приложений
- Построение экспертной системы диагностики дефектов вращающихся механизмов
- Математическое и программное обеспечение системы прогнозирования рецидивирующего инфаркта миокарда на основе искусственных нейронных сетей
- Разработка принципов и методов построения программных систем поддержки принятия решений в слабо структурированных ситуациях на основе моделирования знаний эксперта
- Метод сжатия графических изображений, основанный на мультирезолюционном анализе
- Специализированные базы данных для статистической обработки информации
- Исследование и разработка методов и программных систем поддержки принятия оперативных решений в реальном масштабе времени : На примере управления процессами уничтожения химического оружия
- Методы спецификации и верификации параллельных моделей с непрерывным временем
- Разработка компьютерного комплекса для диспетчерского управления экспортными поставками газа