Архив
ИФИП
Конференция "Спецификация и преобразование программ"
Рабочие записи, 13.04.1986
к докладу на Рабочей конференции ИФИП, сделанные в самолете по пути в Бад Тольц.
Рукопись доклада, 08.10.1985-14.10.1985
"Controllable Mixed Computation and its Application to Systematic Development of Language-Oriented Parsers" на Рабочей конференции ИФИП, подготовленного к печати на английском языке.
Рукопись доклада, 01.09.1986
на Рабочей конференции ИФИП на русском языке.
Доклад, 23.09.1986
на Рабочей конференции ИФИП на русском языке, текст машинописный.
Рукопись, 14.02.1986
Черновой вариант, написанный в самолете и не вошедший в доклад.
Записка, 15.02.1986
со списком языков и размерами программ.
Рукопись, 06.02.1986-08.02.1986
Фрагменты перевода.
Записка, 23.01.1986
с фрагментом блоксхемы.
Рукопись, 20.01.1986
Заметки к обоснованию схемы управления смешанными вычислениями для получения языково-ориентированных анализаторов.
Рукопись, 17.01.1986
Заметки о семантике смешанных вычислений.
Рукопись, 16.01.1986
Уточнение редукций.
Рукопись, 14.01.1986-15.01.1986
Уточнение редукций.
Пакет-рецепт, 17.04.1986
на очки
Ж/д расписание, 18.04.1986
Мюнхен - Гамбург
Ж/д расписание, 18.04.1986
Мюнхен - Дортмунд
Ж/д расписание, 21.01.1986
Мюнхен - Бад Тольц
Карта гостя, 11.04.1986-13.04.1986
из гостиницы АН СССР.
Записка, 21.04.1986
с произведенными расходами.
Письмо, Л. Г. Л. Т. Мертенс->А.П. Ершов, 13.03.1986
о подготовке сборника Трудов Рабочей конференции ИФИП.
Бумажные сувениры, 13.04.1986
железнодорожные билеты, багажная квитанция, записка с рисунком от внука Ф.Бауэра, чек.

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

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