Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Материалы VIII школы-семинара "Персональные компьютеры и локальные сети"
Связанные издания:
Вопросы использования ПЭВМ в библиотечной технологии
Доказательство условий корректности в проблемно-ориентированной системе верификации программ
Интерактивная система поддержки проектирования архитектуры и программного обеспечения ЭВМ нового поколения
Итерактивная система поддержки проектирования архитектуры и программного обеспечения ЭВМ нового поколения
О логике обобщенных процессов и ее взаимосвязи с сетевым описанием систем и процессов
Экспертная система ПТО и "автоформализация знаний"