- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Символьная верификация событийно-управляемых динамических систем
Тип роботи:
Кандидатская
Рік:
2000
Артикул:
1000296823 179 грн
Рекомендовані дисертації
- Численные методы детектирования и исправления геометрических искажений в изображениях текстовых документов
- Иерархические схемы кодирования и проблема делимости
- Адаптивное управление конфликтными потоками
- Агломеративная сегментация и поиск однородных объектов на растровых изображениях
- Концептуальное метамодельное представление персональных информационных ресурсов
- Теоретико-игровые модели и алгоритмы информационных процессов взаимодействия налогоплательщиков и налоговых органов
- ОСНОВЫ КОМПЬЮТЕРНОГО ПРЕДСТАВЛЕНИЯ ЭКСПЕРТНЫХ ЗНАНИЙ ДЛЯ МОНИТОРИНГА ПРОГРАММНО-ЦЕЛЕВОЙ ДЕЯТЕЛЬНОСТИ
- Разработка и исследование математических моделей нейросетевых и статистических обнаружителей сигналов
- Метод древесных сумм и его приложение к решению математических проблем классической статистической механики
- Разработка и исследование модели знакового представления данных в задачах распознавания образов