Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

1998

Артикул:

1000208052

179 грн

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

• 
• 
• 

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

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