|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Документы, связанные с Валерий Николаевич Агафонов Письмо, 22.05.1979 А.П. Ершов предлагает издательству перевести и издать сборник "Данные в языках программирования: абстракция и типология". Приложено предполагаемое содержание сборника.
ПредложенияВЦ СО АН СССР по научно-техническому сотрудничеству по теме VII, подтема I "Теория программирования" на 1986-1987 гг.
Список, 19.01.1977членов Научного совета по информатике ВЦ СО АН СССР. В списке - 25 фамилий.
Реценция, 20.05.1988на книгу В. Турского и Т. Майбаума "Спецификация программ для вычислительных машин".
АнкетаВ. Н. Агафонова.
Протоколы, 10.10.1980-01.03.1982заседаний кафедры вычислительной математики (программисты). В один из протоколов включено выступление В.А. Вальковского о работах сотрудников кафедры вычислительной математики за 1980-й год по теме "Проблемы параллельного программирования".
Списоксотрудников лаборатории вычислительных процессов ВЦ СО АН. /Текст рукописный./
Предложения, 29.06.1981по "систематизации" спецкурсов и спецсеминаров для улучшения качества образования студентов 3-го - 5-го курсов.
Выписка из протокола, 30.05.1977Постановление об организации методических комиссий по обязательным и специальным курсам по направлению "Программисты" на 1977-1978 учебный год.
Рекомандация, 12.01.1977Авторы считают целесообразным перевод на русский язык книги Льюиса и др. "Теоретические основы проектирования компиляторов".
Рецензияна рукопись (авт. Ли, Янг), представленную на конференцию "Языки программирования и конструирование систем".
Рецензияна рукопись (авт. Фуртадо, Велосо), представленную на конференцию "Языки программирования и конструирование систем".
Предисловие, 26.10.1983к сборнику статей "Требования спецификации в разработке программ" совместно с В.Н. Агафоновым.
Письмо на бланке, Д. Л. Парнас->А.П. Ершов, 11.07.1988Автор благодарит за книгу В.Н. Агафонова с введением, написанным адресатом. Он просит помочь ему расширить контакты с советскими учеными во время его поездки в СССР.
Программа, 10.12.1974-12.12.1974заседаний симпозиума "Системное и теоретическое программирование" 10, 11 и 12 декабря 1974 года.
Письмо, 06.08.1985А.П. Ершов рекомендует к изданию сборник "Логическое программирование".
Статья, 11.03.1985"Абстрактный тип данных".
ЗапискаПисьмо, А.П. Ершов->Е. И. Стечкина, 12.04.1982 Поддерживает издание рукописи Г. Григаса "Абстрактные типы данных". Рекомендует В.Н. Агафонова в качестве титульного редактора.
Письмо, А.П. Ершов->адресат не установлен, 08.12.1986с предложением увеличить тираж книги В.Н. Агафонова "Спецификация программ: понятийные средства и их организация".
1 2 По порядку | По алфавиту | По дате Назад |
|
| Switch to English | Поиск | Расширенный поиск | Папки | Темы | |
|
|||||
|
|||||
|
|||||
|
|||||
|
