Ви є тут

Системы переписывания формул и их применение в автоматической верификации программ

Автор: 

Ануреев Игорь Сергеевич

Тип роботи: 

Кандидатская

Рік: 

1998

Артикул:

1000208052

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Вычисление характеристических полиномов плотных матриц : последовательные и параллельные алгоритмы
• Модели, методы и программные средства вывода в интегрированных экспертных системах
• Методы и технология построения программируемых инфокоммуникационных систем
• Языковые средства систем программирования, ориентированные на создание переносимых, эволюционно расширяемых параллельных программ
• Использование генетических алгоритмов для генерации конечных автоматов
• Методы построения автоматизированных информационных систем для финансового менеджмента
• Исследование и разработка методов и программных средств классификации текстовых документов
• Математическое и программное обеспечение обучающих мультимедийных комплексов и систем
• Математическое и программное обеспечение оптимизации проведения профилактических восстановлений при эксплуатации информационно-вычислительных систем
• Разработка интеллектуальной информационно-управляющей системы оценки ядерной деятельности стран