Архив
Всесоюзные конференции, семинары, симпозиумы, совещания, съезды, школы-семинары
Всесоюзная конференция молодых ученых
Акты экспертизы тезисов докладов
Акт экспертизы, 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
По порядку | По алфавиту | По дате

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