Документы, связанные с Роберт М. Балзер
-
Схема
части города с объяснением, как добраться из отеля до дома супругов Балзеров, которые, видимо, пригласили Андрея Петровича в гости.
-
Резюме
профессора Р. Балзера.
-
Письмо Р.М. Балзер -> А.П. Ершов
05.11.1970
Автор посылает адресату фильм, слайды и статью по системе отладки. Просит сообщить свое мнение.
-
Письмо Р.М. Балзер -> А.П. Ершов
19.11.1970
Автор с удовольствием вспоминает визит адресата и посылает ему обещанные статьи.
-
Письмо Р.М. Балзер -> А.П. Ершов
15.01.1971
с просьбой прислать фильм и слайды, нужные для работы; посылает биографию, библиографию и послужной список.
-
Письмо Р.М. Балзер -> А.П. Ершов
19.03.1971
Автор повторно обращается с просьбой прислать фильм, который ему нужен для иллюстрации лекций.
-
Письмо Р.М. Балзер -> А.П. Ершов
18.08.1971
Автор объясняет свое долгое молчание тем, что находился в поездке по Европе; надеется на встречу на Конгрессе ИФИП. /Текст рукописный./
-
Записки Р.М. Балзер -> А.П. Ершов
23.08.1971
А.П. Ершову от участников Конгресса ИФИП-71.
-
Письмо Р.М. Балзер -> А.П. Ершов
28.07.1972
Сообщает, что намерен посетить Рабочую конференцию ИФИП в Польше. Прочел приветственную речь адресата на банкете по поводу Весенней объединенной вычислительной конференции и был восхищен. Надеется увидеться в будущем.
-
Письмо М. Йонке -> А.П. Ершов
01.11.1972
В сентябрьском выпуске журнала "Computing Review" прочел реферат статьи адресата по программирующему процессору. По совету д-ра Р. Балзера обращается с просьбой прислать статьи на английском языке по этой теме.
-
Письмо Р.М. Балзер -> А.П. Ершов
15.11.1972
Сообщает, что посылает черновой вариант своего сообщения по автоматическому программированию. Будет благодарен за любые замечания со стороны адресата и его коллег. Желательно получить их пораньше, чтобы успеть включить в окончательный текст.
-
Телеграмма А.П. Ершов -> П.А. Варес
11.08.1976
с уточнением состава делегации советско-американского совещания по языкам весьма высокого уровня.
-
Телеграмма А.П. Ершов
24.08.1976
с просьбой оформить въездные визы в Новосибирск американским специалистам и членам их семей.
-
Письмо А.П. Ершов -> И. Кернер
17.11.1976
В ответ на письмо от 22.09.76 - читал после возвращения из Великобритании; благодарит за присланные статьи; приглашение кого-либо из ГДР - компетенция председателя программного комитета.
-
Письмо А.П. Ершов -> Д. Ауфенкамп
28.03.1978
касающееся важных моментов визита в США А.П. Ершова и И.В. Поттосина. /Текст рукописный./
-
Письмо А.П. Ершов -> Д. Ауфенкамп
30.08.1978
Сообщает, что все еще нет подтверждения на увеличение продолжительности поездки; перечисляет поступившие приглашения, в том числе уже принятые; предлагает программу на месячный период (что более вероятно) и шестинедельный. /Текст рукописный, черновой./
-
Рецензия Р.М. Балзер -> А.П. Ершов
21.02.1980
Р. Балзера на доклад Анны Адам, П. Глосса, Ж.-П. Лорана (развернутая).
-
Рабочие записи А.П. Ершов
10.07.1982
Работа с источниками. Конспекты статей различных ученых. Анализ выступлений на семинаре на Капри.
-
Статья Р.М. Балзер
26.11.1987
"Using Symbolic Execution to Characterize Behavior". Авторы - D.Cohen. W.Swartout? R.Balzer.