ВЦ СО АН СССР по научно-техническому сотрудничеству по теме VII, подтема I "Теория программирования" на 1986-1987 гг.

по "систематизации" спецкурсов и спецсеминаров для улучшения качества образования студентов 3-го - 5-го курсов.

ВЦ СО АН СССР по научно-техническому сотрудничеству с Францией по подтеме I темы VII "Теория программирования" на 1986-1987 гг. /Текст, помимо "шапки", рукописный./

заседаний симпозиума "Системное и теоретическое программирование" 10, 11 и 12 декабря 1974 года.

заседаний кафедры вычислительной математики (программисты). В один из протоколов включено выступление В.А. Вальковского о работах сотрудников кафедры вычислительной математики за 1980-й год по теме "Проблемы параллельного программирования".

Темы курсовых работ, предлагаемых кафедрой теоретической кибернетики.

Вопросы для обсуждения. /Записи для памяти./

Авторы считают целесообразным перевод на русский язык книги Льюиса и др. "Теоретические основы проектирования компиляторов".

на рукопись (авт. Ли, Янг), представленную на конференцию "Языки программирования и конструирование систем".

на рукопись (авт. Фуртадо, Велосо), представленную на конференцию "Языки программирования и конструирование систем".

В.Н. Агафонова на доклад М. Таверы.

на книгу В. Турского и Т. Майбаума "Спецификация программ для вычислительных машин".

членов Научного совета по информатике ВЦ СО АН СССР. В списке - 25 фамилий.

сотрудников лаборатории вычислительных процессов ВЦ СО АН. /Текст рукописный./

"Абстрактный тип данных".

"База данных".

"Спецификация программ".

"Структура данных".