- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Абстрактные типы данных и частичная корректность программ
Тип работы:
Кандидатская
Год:
1984
Артикул:
323578 179 грн
Рекомендуемые диссертации
- Автоматический анализ, распознавание и синтез тональной речи (на материале вьетнамского языка)
- Синтез параллельных программ на вычислительных моделях с массивами
- Распределенные информационные системы в территориальных АСУ (на примере АСУ Советским районом г. Новосибирска)
- Информационное обеспечение проблемно-ориентированных систем реального времени для обработки результатов натурных испытаний
- Некоторые вопросы операционного обслуживания распределенных систем обработки данных
- Принципы и методы интеграции автоматизированных систем в геологоразведке
- Представление и обработка темпоральной информации в интеллектуальных системах
- Разработка алгоритмического и программного обеспечения систем обработки дальнометрической информации и планирования движения мобильных роботов
- Метод представления знаний в диалоговых системах с естественным языком
- Проблемно-ориентированная система для матричных вычислений