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