- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Системы переписывания формул и их применение в автоматической верификации программ
Тип работы:
Кандидатская
Год:
1998
Артикул:
1000208052 179 грн
Рекомендуемые диссертации
- Методы реализации регрессионного тестирования по расширенным тестовым наборам
- Повышение качества адаптируемого программного обеспечения управляющих ЭВМ на основе систем нечеткого вывода
- Алгоритмическое и программное обеспечение для моделирования квантового компьютера
- Методы интерактивной визуализации и обработки трехмерных данных на основе изображений
- Компьютерные методы защиты информации на основе управляемых операций
- Синтез алгоритмов позиционирования приемника сотовой сети связи и система передачи координатно-зависимых данных на его основе
- Разработка математического и программного обеспечения для оптимизации перспективного планирования ремонтных работ жилых зданий
- Математическое и алгоритмическое обеспечение сервисно-ориентированной среды поддержки управления качеством программных систем
- Разработка и исследование методов, моделей и программных систем управления реорганизацией предприятий
- Модель и методика обнаружения несанкционированных действий и атак в сетях ТСР/IP