Документы, связанные с Святослав Сергеевич Лавров

Протокол, 13.12.1972
заседания счетной комиссии Ученого совета ВЦ СО АН СССР о голосовании по включению каждого из перечисленных лиц в состав авторского коллектива, представляемого на соискание Государственной премии СССР 1973 г. за работу "Создание научных основ автоматизации программирования, разработка и внедрение серии трансляторов с алгоритмических языков высокого уровня". /Рукописный и машинописный тексты./
Письмо, А.П. Ершов->Ю. А. Шебеко, 21.04.1969
В ответ на письмо от 05.02.1969 - сообщает о заинтересованности в получении копируемой зарубежной литературы.
Письмо, С. С. Лавров->Н. Митрюшин, 13.07.1967
Обоснование отказа выступить оппонентом на защите
Отзыв, 25.02.1985
на статью С.А. Абрамова, Е.А. Казьминой и В.А. Кукляевой "Применение методов верификации программ к проверке утверждений о погрешностях"
Письмо на бланке, Е. И. Стечкина->С. С. Лавров, 18.01.1980
Просьба прислать подписанный договор и ознакомиться с редакционными замечаниями к рукописи. О принятом решении придерживаться начертания языков программирования строчным шрифтом. О непредоставленной в редакцию рецензии А.П. Ершова
Письмо (копия), М.В. Дмитриева->С. С. Лавров, 11.09.1999
О публикации и распространении тиража "Лекций..."; переслано С.С. Лавровым Р.И Подловченко вместе с письмом от 11.09.1999
Рецензия, 01.01.1974(?)
на книгу "Управление вычислительными процессами" п/ред. М.Б. Игнатьева. "Журнал вычислительной математики и математической физики", Т.14 №2, 1974 /отдельный оттиск/
Список научных трудов, 01.01.1977(?)-14.02.2013
С.С. Лаврова. Машинописный текст с рукописными пометками С.С. Лаврова (1956-1977). В текстовом приложении - список трудов 1956-2003 г., составленный П.С. Лавровым
Фотография
Святослав Сергеевич Лавров. Фотография, сделанная американским фотографом Адамом Бартосом, приезжавшим в 1999 году в Россию
Фотография, 02.07.2001-06.07.2001
Июль 2001. Р.И. Подловченко и С.С. Лавров - участники международной конференции "Перспективы систем информатики"
Статья
М.В. Дмитриева, С.С. Лавров, "Синтаксические анализаторы магазинного типа", Программирование, 3 (1978), 41-45 /отдельный оттиск/
Письмо (рукописн. черновик), Р. И. Подловченко->С. С. Лавров, 21.09.1999
О тираже "Лекций...", о книге З.Манны
Письмо, С. С. Лавров->В.Б. Орлов, 01.03.1980
о решении не заключать договора с издательством ввиду неприятия подхода к работе с авторами зав. редакцией "Математика-III" Е.И. Стечкиной
Отзыв, 25.02.1985
на статью А.В. Замулина и И.Н. Скопина "Система типов языков программирования" с рекомендацией снабдить работу при публикации полемическим комментарием, составленным на основе данного отзыва /для сборника "Прикладная информатика"/
Письмо на бланке, Л. Строганов->С. С. Лавров, 20.06.1967
Просьба дать заключение о целесообразности публикации работы "Применение вариационных методов к инженерным задачам автоматического управления"
Анкета
С. С. Лаврова.
Письмо, С. С. Лавров->А.П. Ершов, 07.10.1961
Сообщение о планируемом приезде в октябре.
Записка, 04.02.1970
по поводу заявок на сборник ВЦ СО АН "Алгоритмы и алгоритмические языки".
Копии писем, Я. К. Пайл->Д. Е. Кнут, 01.05.1967
с приглашением сделать получасовой доклад на Конгрессе; сообщается предполагаемая секция, на которой он будет заслушан.
Список, 18.01.1980
членов Программного комитета конференции.

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
По порядку | По алфавиту | По дате


Назад

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