- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Абстрактные типы данных и частичная корректность программ
Тип роботи:
Кандидатская
Рік:
1984
Артикул:
323578 179 грн
Рекомендовані дисертації
- Абстрактные атрибутные грамматики и их использование в системах построения трансляторов
- Диалоговая система коллективного пользования
- Разработка алгоритмического и программного обеспечения систем обработки дальнометрической информации и планирования движения мобильных роботов
- Элементы программного обеспечения диалоговой системы распознавания внутреннего строения объектов
- Некоторые вопросы создание программного обеспечения для диалоговых систем на основе сканирующего автомата с электронно-лучевой трубкой
- Технология многомашинной реализации и жизнеобеспечения библиотек подпрограмм вычислительной математики на языке Фортран
- Разработка и исследование алгоритмов автоматизации построения систем трансляции на основе атрибутных грамматик
- Принципы и методы интеграции автоматизированных систем в геологоразведке
- Автоматизация сборки программ расчета разветвленных объектов
- Монитор обработки в пакетном режиме и подъязык данных реляционной системы управления базами данных