Тезисы доклада Ю.М. Михайленко "О структурах данных и их машинных форматах в алгоритмах ветвей и границ дискретного программирования".
Тезисы докладаВ.Ф. Аношко, Г.Н. Волошина, В.М. Грищенко, Н.А. Дранишникова, Э.Н. Яськовой "Пакет программ отраслевой оптимизации на ЭВМ БЭСМ-6".
Тезисы докладаБ.Д. Шашкова "Операционная система специализированного электронно-вычислительного комплекса для контроля часов на базе ЭВМ М6000".
Тезисы докладаС.А. Зинкина "Иерархия автоматов с однородной настраиваемой структурой для реализации отношений частичного порядка в очередях".
Тезисы докладаС.А. Зинкина "Иерархия автоматов с однородной настраиваемой структурой для реализации отношений частичного порядка в очередях".
Тезисы докладаВ.Д. Сычева "Об одном подходе к построению организующей программы при использовании ППП в АСУ".
Тезисы докладаН.Н. Гурина "Принципы построения универсальной программной измерительной системы для анализа функционирования операционных систем".
Тезисы докладаЛ. Мисявичюте и С. Юкна "О системе типа Хоара для фрагмента языка PASCAL".
Тезисы докладаС.П. Юкна "Об интерполяционных теоремах в формальных системах типа Хоара".
Тезисы докладаП.А. Чочиа "Диалоговая операционная система для обработки изображений".
Тезисы докладаА.В. Черняева "О системах программирования имитационных моделей с точки зрения пользователя".
Тезисы докладаВ. Антонова "К вопросу об анализе и построении информационной базы в АСОД".
Тезисы докладаБ.А. Ромова и А.И. Сбитнева "Теоретико-графовые модели для задач структурного синтеза программного обеспечения АСУ".
Тезисы докладаВ.Ф. Томашева "Методика тестовой проверки системы ЛЯПИС-М".
Тезисы докладаВ.Н. Грищенко "Создание программных агрегатов на основе граф-схем".
Тезисы докладаН.А. Кириенко "Реализация операций обмена языка ЛЯПИС-М на ЭВМ "Минск-32".
Тезисы докладаА.К. Зариньша "Автоматическое построение примеров для отладки обработки данных".
Тезисы докладаЛ.Д. Руснак и В.А. Черноусова "Некоторые вопросы программного обеспечения СУБД".
Тезисы докладаМ.И. Аугустона "ЛЕМ - система языковых средств для программирования обработки последовательных файлов".
Тезисы докладаР.П. Балодиса "Средства отладки программ на языке PL/1 с дисплеев".
1
2
3
По порядку | По алфавиту | По дате |