Архив
ИФИП
Конференция "Спецификация и преобразование программ"
Письмо, Р. Б. К. Дюар->А.П. Ершов, 04.02.1985
с предложением войти в состав программного комитета Рабочей конференции ИФИП.
Письмо, 05.02.1985
Информационное письмо члену РГ 2.1 и список приглашенных на Рабочую конференцию ИФИП для уточнения и редактирования.
Справка, 11.04.1986
о нормах расходования иностранной валюты.
Обоснование, 25.11.1985
целесообразности командировки А.П.Ершова и В.К.Сабельфельда в ФРГ.
Научно-техническое задание, 01.03.1986(?)
А.П.Ершову и В.К.Сабельфельду, выезжающим в командировку в ФРГ на пять дней в апреле 1986 г.
Характеристика, 01.03.1986(?)
заведующего лабораторией ВЦ СО АН СССР академика А.П.Ершова.
Акт экспертизы, 01.03.1986(?)
доклада А.П.Ершова и Б.Н.Островского "Управляемые смешанные вычисления и их применение к системному построению языково-ориентированных синтаксических анализаторов".
Письмо и черновик ответа, 16.09.1985-12.10.1985
В своем письме председатель ТК2 Р. Мейсон выражает сожаление по поводу болезни А.П. Ершова. Рукописный черновик ответа содержит благодарность за сочувствие и надежду на участие в мюнхенской рабочей конференции 1986 г.
Запись речи, 16.04.1986
Э.Хоара, произнесенной им на банкете по поводу Рабочей конференции ИФИП.
Меню банкета, 16.04.1986
после Рабочей конференции ИФИП.
Записка, 16.04.1986
Название следующей школы и список лекторов.
Список опечаток, 15.04.1986
в статье А.П.Ершова и Б.Н.Островского.
Список вопросов, 15.04.1986
для дискуссии на тему "Проектирование спецификаций".
Список участников, 14.04.1986
Рабочей конференции ИФИП.
Программа, 13.04.1986-17.04.1986
Рабочей конференции ИФИП.
Бланк заказа, 13.04.1986
на книгу "The Munich Project CIP" издательства Springer-Verlag.
Справка, 21.08.1986
об эффективности научной командировки А.П.Ершова в ФРГ.
Выписка из протокола, 29.04.1986
НТС по информатике, где заслушивался отчет А.П.Ершова и В.К.Сабельфельда о научной командировке в ФРГ. Приложен список привезенных ими материалов.
Отчет о командировке, 15.05.1986
советских ученых и специалистов за границу по линии международного научно-технического сотрудничества.
Текст устного выступления, 15.04.1986
на Рабочей конференции ИФИП.

1 2 3 4
По порядку | По алфавиту | По дате

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