|
СТ |
О родстве оснований программирования и математики |
2001 |
Лавров С. С. |
|
|
|
Программирование |
05.01.2002 |
|
М |
Лекции по теории программирования |
1999 |
Лавров С. С. |
|
|
С-ПбГУ |
|
09.08.2000 |
|
СТ |
Принципы планирования решения задач в системе автоматического синтеза программ |
1999 |
Лавров С. С., Залогова Л. А., Петрушина Т. И. |
|
|
|
Программирование |
25.12.1999 |
|
СТ |
Методы спецификации проблем и синтеза объектных программ |
1984 |
Сабельфельд В. К., Барздинь Я. М., Лавров С. С., Тыугу Э. Х. |
|
|
|
Представление знаний в человеко-машинных и робототехнических системах |
25.01.1994 |
|
М |
Введение в программирование (Учебное пособие) |
1973 |
Лавров С. С. |
|
|
|
|
09.10.1979 |
|
М |
Автоматическая обработка данных: Язык ЛИСП и его реализация |
1978 |
Лавров С. С., Силагадзе Г. С. |
Библиотечка программиста |
|
|
|
15.03.1979 |
|
М |
Введение в программирование (Учебное пособие), Издание 2-е исправленное и дополненное |
1977 |
Лавров С. С. |
|
|
|
|
26.04.1977 |
|
М |
Универсальный язык программирования (АЛГОЛ 60) |
1972 |
Лавров С. С. |
Библиотечка программиста |
|
|
|
06.11.1974 |
|
М |
Автоматическая обработка данных: хранение информации в памяти ЭВМ |
1971 |
Лавров С. С., Гончарова Л.И. |
Библиотечка программиста |
|
|
|
01.11.1972 |
|
М |
Лекции по автоматической обработке данных. Часть 1: Организация информационных массивов |
1969 |
Лавров С. С., Гончарова Л.И. |
|
|
ВЦ АН СССР |
|
12.05.1970 |
|
П |
СНОБОЛ - А Язык для обработки строк |
1968 |
Лавров С. С. |
|
|
ВЦ АН СССР |
|
13.05.1969 |
