Акт экспертизы, 27.04.1977 тезисов доклада В.Ф. Томашева "Методика тестовой проверки системы ЛЯПИС-М".
Акт экспертизы, 26.04.1977доклада "К вопросу автоматизации проектирования систем обработки данных".
Акт экспертизы, 18.05.1977тезисов доклада "Реализация введения в Фортран новых типов и операций с помощью предкомпилятора".
Акт экспертизы, 26.04.1977доклада П.П. Кулябко "Вопросы разработки многоуровневого определения данных, имеющих геометрическое представление".
Акт экспертизытезисов доклада И.В. Касаткиной "Доказательство свойств программ в языке высокого уровня с косвенной адресацией".
Акт экспертизы, 23.05.1977тезисов доклада В.М. Куглера "Опыт написания структурной программы".
Акт экспертизытезисов доклада А.П. Атяшева, Р.А. Махмуд-заде, Р.Н. Гаджиева "Организация пакета диалоговых систем "ДИАВУЗ" для вуза".
Акт экспертизытезисов доклада В.Н. Евладенко "Об одном подходе к синтаксической отладке в многоязыковых процессорах".
Акт экспертизы, 25.04.1977тезисов доклада В.Н. Евладенко "Один класс простых параметрических грамматик квазирекурсивного типа".
Акт экспертизы, 28.04.1977тезисов доклада В.Л. Дергачева "Программа перехвата экстракодов связи с терминалами ЭВМ БЭСМ-6".
Акт экспертизы, 07.05.1977доклада Т.П. Плакса "Функциональное описание операционной системы".
Акт экспертизы, 28.04.1977тезисов доклада В.В. Самофалова "Об организации связи в многомашинном комплексе".
Акт экспертизы, 28.04.1977тезисов доклада В.Л. Авербуха и Н.В. Подергиной "Возможности графического диалога в системе ГРАДИС".
Акт экспертизы, 28.04.1977тезисов доклада С.В. Быковой, М.Н. Головчинера, О.И. Жуковского, В.Т. Питосина "Система программирования ЛЯПИС-М для ЕС ЭВМ".
Акт экспертизы, 22.04.1977тезисов доклада В.Г. Лебедева и С.А. Митяевой "Об одном алгоритме распараллеливания программы в процессе трансляции".
Акт экспертизы, 24.03.1977статьи П.В. Горшкова "О соотношениях в алгебрах структур данных".
Акт экспертизы, 13.04.1977статьи В.В. Зубенко "О некоторых алгоритмических проблемах теории языков".
Акт экспертизы, 19.05.1977тезисов доклада В.Б. Лопатко "Управляющая программа комплексирования ЭВМ".
Акт экспертизытезисов доклада Н.К. Косовского "Эквивалентность двух правил для доказательства свойств оператора цикла".
Акт экспертизытезисов доклада А.Ю. Гвильдиса, А.Р. Ильвеса, Б.Н. Паньшина "Пакет программ диспетчера коллективного пользования по распределению ресурсов ЭВМ на ВЦКП".
1
2
По порядку | По алфавиту | По дате |