Вы здесь

Главная

Материалы VIII школы-семинара "Персональные компьютеры и локальные сети"

Связанные издания:

Вопросы использования ПЭВМ в библиотечной технологии
Доказательство условий корректности в проблемно-ориентированной системе верификации программ
Интерактивная система поддержки проектирования архитектуры и программного обеспечения ЭВМ нового поколения
Итерактивная система поддержки проектирования архитектуры и программного обеспечения ЭВМ нового поколения
О логике обобщенных процессов и ее взаимосвязи с сетевым описанием систем и процессов
Экспертная система ПТО и "автоформализация знаний"