Вы здесь

Главная

ИСИ СО АН СССР

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

Алгоритм построения алгебраической спецификации сетей Петри
Вычисления, управляемые потоками данных: модели, машины, языки (проблемы и перспективы развития)
Глобальная оптимизация в многоязыковой транслирую ей системе
Два класса иерархических сетей Петри: выразительная мо ность и свойства
Институт систем информатики. Ежегодный отчет. 1991
Концепция профессионального обучения
Методы теоретического и системного программирования. Сборник научных трудов
Об одном подходе к временной параметризации библиотечных элементов и его использования в системе временного анализа
Об учебной базе данных на локальной ПЭВМ
Переспективы систем баз данных третьего поколения.
Приложение смешанных вычислений в теории трансляции
Проблемы современного программирования
Программа связи ПЭВМ с ЭВМ СМ-4
Программные инструменты для ПЭВМ
Система СОКРАТ: окружение программирования для встроенных систем
Современные направления исследований в системной информатике (Current Topics in Informatics Systems Research). Сборник научных трудов
Юрий Борисович Румер. Физика, ХХ век
Языково-настраиваемый структурный редактор для ЭВМ КРОНОС