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