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