Документы, связанные с Энтони Хоар

Письмо, Э. Хоар->А.П. Ершов..., 09.07.1974
Программный комитет конференции по надежности программного обеспечения приглашает А.П. Ершова принять участие в панельной дискуссии на тему "Как подготовить людей, умеющих создавать надежное программное обеспечение?".
Приглашение, Р. В. Д. Кей->А.П. Ершов, 17.01.1984
от имени Президента Королевского общества принять участие в дискуссии по математической логике.
Телеграмма, А.П. Ершов->Э. Хоар, 18.08.1976
с просьбой телеграфировать статус запроса на визу.
Письмо, Э. Хоар->А.П. Ершов..., 09.07.1974
Программный комитет конференции по надежности программного обеспечения просит А.П. Ершова выступить с докладом, а также быть ведущим на одном из заседаний конференции. Темой его доклада могут быть, например, "Практические аспекты в надежности программного обеспечения", однако конкретизация темы остается за ним. Также обсуждаются финансовая сторона приезда А. П. Ершова. /Дан перевод письма на русский язык./
Письмо, А.П. Ершов->Э. Хоар, 12.01.1981
Просьба перевести на хороший английский язык брошюру, выпущенную к 50-летию Эдсгера Дейкстры.
Записка, автор не установлен->Э. В. Дейкстра, 13.09.1976
с вопросом о планах выступления в МГУ.
Статья, 08.11.1984
"Чарльз Энтони Хоар" для журнала "Микропроцессорные средства и системы". /Текст рукописный./
Письмо, Д. Е. Кнут->Э. В. Дейкстра, 07.06.1982
в ответ на письмо адресата от 03.05.1982 - автор считает, что акция, предлагаемая адресатом, принесет больше вреда, чем пользы.
Отчет, 01.10.1976
о пребывании в СССР гостей АН СССР профессора Э.В. Дейкстры (Нидерланды) и профессора Ч.Э.Р. Хоара (Англия).
Письмо
в ОИВТА АН СССР с рекомендацией Ч.А. Хоара для избрания в качестве иностранного члена АН СССР
Рукописные ответы, 28.07.1968
участников заседания по его тематике.
Письмо, А.П. Ершов->А. А. Дородницын, 26.08.1976
о подготовке встречи профессоров Э. Дейкстры и Э. Хоара в ВЦ АН СССР.
Сопроводительное письмо, Э. Хоар->А.П. Ершов, 14.07.1984
к присланным автобиографическим материалам. /Текст рукописный./
Записка, автор не установлен->Э. Хоар, 13.09.1976
Просьба объяснить, что такое HIPO-диаграмма.
Записка, автор не установлен->Э. Хоар, 17.09.1976
с вопросом о сочетаемости изобретательности в программировании и надежности программного продукта.
Письмо, Э. В. Дейкстра->А.П. Ершов, 04.02.1976
Извиняется за задержку ответа на телеграмму, вызванную визитом в США. Радуется, что визит в СССР совмещается с Симпозиумом в Польше, который он хотел бы посетить. Рассказывает о впечатлениях от поездки и о способе связи с ним в его отсутствие.
Телеграмма, А.П. Ершов->Э. Хоар, 27.08.1976
с сообщением о получении телеграммы; просьба сообщить о рейсе из Парижа.
Сопроводительное письмо, Э. Хоар->А.П. Ершов, 08.02.1966
к присланной статье.
Письмо, Э. Хоар->А.П. Ершов, 06.01.1976
Напоминает, что приглашает адресата на сентябрь 1976 года. Сообщает, что держит этот месяц свободным; просит сообщить о планах.
Записка, С. С. Лавров->Э. Хоар, 17.09.1976
с вопросом о перспективах развития вычислительной техники и, в связи с этим, многое ли из знаний, полученных студентами сегодня, пригодится им в будущем?

1 2 3 4 5 6 7 8 9 10 11 12
По порядку | По алфавиту | По дате


Назад

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