Архив
Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары
Всесоюзная конференция молодых ученых
Акты экспертизы тезисов докладов
Акт экспертизы
тезисов доклада И.В. Касаткиной "Доказательство свойств программ в языке высокого уровня с косвенной адресацией".
Акт экспертизы
тезисов доклада А.П. Атяшева, Р.А. Махмуд-заде, Р.Н. Гаджиева "Организация пакета диалоговых систем "ДИАВУЗ" для вуза".
Акт экспертизы
тезисов доклада В.Н. Евладенко "Об одном подходе к синтаксической отладке в многоязыковых процессорах".
Акт экспертизы
тезисов доклада Н.К. Косовского "Эквивалентность двух правил для доказательства свойств оператора цикла".
Акт экспертизы
тезисов доклада А.Ю. Гвильдиса, А.Р. Ильвеса, Б.Н. Паньшина "Пакет программ диспетчера коллективного пользования по распределению ресурсов ЭВМ на ВЦКП".
Акт экспертизы
тезисов доклада А.М. Керимова и Е.Б. Карасика "Расширяемая система аналитического дифференцирования".
Акт экспертизы
тезисов доклада В.М. Грищенко "Средства информационного обеспечения пакета программ отраслевой оптимизации ТЭК страны".
Акт экспертизы
тезисов доклада В.Ф. Аношко, Г.Н. Волошина, В.М. Грищенко, Н.А. Дранишникова, Э.Н. Яськовой "Пакет программ отраслевой оптимизации на ЭВМ БЭСМ-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
По порядку | По алфавиту | По дате

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016