Перейти к основному содержанию
  • документы
  • об архиве
  • о проекте
  • А.П. Ершов
  • in English

Документы, связанные с Роберт М. Балзер

  • Схема
    части города с объяснением, как добраться из отеля до дома супругов Балзеров, которые, видимо, пригласили Андрея Петровича в гости.
  • Резюме
    профессора Р. Балзера.
  • Письмо Р.М. Балзер -> А.П. Ершов 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.
Назад
  • На главнуюНа главную
  • ПомощьПомощь
  • in Englishin English
  • WebmasterWebmaster
© ИСИ СО РАН, 2000-2025