Ви є тут

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

Автор: 

Парийская Екатерина Юрьевна

Тип роботи: 

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

Рік: 

2000

Артикул:

1000296823

179 грн

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

• 
• 
• 

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

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