Архив
Архив С.С. Лаврова
Научные труды С.С. Лаврова
Черновики, рукописи, рабочие записки
разных лет

Статья (машинописн.)
Г.М. Заикина, С.С. Лавров. Об одном алгоритме перевода программ с языка АЛГОЛ-60 на машинный язык
Статья
Prof. S.Lavrov. The Most Effective Applications of Electronic Computers in Science and Technology /машинописн. черновик с правкой/
Тезисы доклада
Автоматизация обработки символьной и геометрической информации
Рабочая записка (рукописная)
О состоянии работ по математическому обеспечению БЭСМ-6
Статья (оттиск)
Les Langages de Programmation. - Труды Международного конгресса математиков. Т.3, С. 275-279. Ницца, 1970 (на французском языке)
Статья
М.В. Дмитриева, С.С. Лавров, "Синтаксические анализаторы магазинного типа", Программирование, 3 (1978), 41-45 /отдельный оттиск/
Статья (2 экз.)
С.С. Лавров, Д.П. Захарченко. Lisp-1204
Заметка
С.С. Лавров. О стиле мышления /рукописн. и машинописн. экземпляры/
Статья
С.С. Лавров. Программная поддержка прикладных исследований. (машинописн. черновик и ксерокопия опубликованной статьи)
Статья (машинописн.)
Problem solving based on knowledge representation and program synthesis (Acta Cybernetica)
Рукопись
Алгоритмы и творчество (компьютерная модель первой системы)
Обоснование темы
"Разработка автоматизации технологических средств программного обеспечения" (машинописн.)
Заметка (отдельный оттиск), С. С. Лавров->А.П. Ершов
С.С. Лавров об А.П. Ершове («Программирование», № 1, 1990)
Статья (отдельный оттиск), С. С. Лавров->А.П. Ершов
Andrei P.Ershov - a friend and a rival (Images of Programming, 1991)
Статья (распечатка)
С.С. Лавров. PROBSOLV - решение задач на основе представления знаний и синтеза программ
От автора и рукопись статьи
С.С. Лавров. Объектно-ориентированное программирование. Санкт-Петербург, 1998.
Письмо в редакцию (отдельный оттиск)
С.С. Лавров. Computer Science? Программирование? Информатика? Датаматика! ("Программирование", 1999, №2, с.79-80)
Доклад-29.05.2000
С.С. Лавров. "Темные места в теории вычислимости". Материалы к выступлению на семинаре по логике в ПОМИ (бывш. ЛОМИ) 29 мая 2000 г.
Статья
Л.В. Городняя, С.С. Лавров. Функциональное программирование (продолжение серии статей со сквозной нумерацией разделов, публикуемых в журнале "Компьютерные инструменты в образовании" в 2002 году)
Статья, 04.03.1961
Об экономии памяти в замкнутых операторных схемах. - "Журнал вычислительной математики и математической физики" Т.1, №4, 1961 /отдельный оттиск/

1 2 3 4 5
По порядку | По алфавиту | По дате

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