Папки
-
Материалы конференции по надежному программному обеспечению.
-
Международная объединенная конференция по искусственному интеллекту (1975 г.) в Тбилиси; международная конференция по надежности программного обеспечения (1974 г.) в Лос-Анджелесе.
-
Проблемы и задачи.
-
Всесоюзный симпозиум "Методы реализации алгоритмических языков"; Новосибирск, сентябрь 1975 г.
-
Научно-техническое сотрудничество.
-
Документы для представления работы на соискание Госпремии СССР за 1973 г. в области науки.
-
БЕТА: статьи А.П. Ершова, А.А. Берса и А.Ф. Рара для Рабочей конференции ИФИП; статья А.П. Ершова "Универсальный программирующий процессор".
-
БЕТА: план-проспект ТЗ; несколько глав ТЗ; документы по оформлению нового договора с НИЦЭВТ.
-
БЕТА: статьи и рабочие материалы по теме /тексты рукописные и машинописные/.
-
БЕТА: материалы к подписанию нового типового договора с НИЦЭВТ по теме "Реализация макета универсального программирующего процессора".
-
Введение в теоретическое прграммирование /черновики/.
-
БЕТА: статьи по теме /тексты рукописные и машинописные/.
-
БЕТА: материалы, связанные с циклом лекций, прочитанных А.П. Ершовым на международной летней школе по языковым иерархиям и сопряжениям (ФРГ, Мюнхен, 23.07-02.08.1975), а также доклад на международной конференции в Польше (Варшава, 22-27.03.1976).
-
Отзывы и характеристики (1977-1988 гг.).
-
Лаборатория.
-
Статья "Математическое обеспечение 4-го поколения" /рукопись и машинопись/.
-
Командировки в Тбилиси (симпозиум по кибернетике), Москву (ВЦКП), Ташкент (школа по ОС), Кишинев (симпозиум СТП), 1974 г.
-
Поездка в ГДР и отчет.
-
Документы Президиумов АН СССР и СО АН СССР; ГКНТ; Минвуза СССР.
-
"Странные письма".
-
Италия. Поездка и отчет. Июнь 1974 г.
-
Поездка в Швецию. Конгресс ИФИП. 01-26.08.1974.
-
БЕТА: Документы, связанные с "Разработкой транслятора с Алгола-68 для СМО ЕС ЭВМ" (НИС НГУ для НИЦЭВТ): ТЗ, аван-проект, деловая переписка.
-
БЕТА: Проспект аван-проекта, деловая переписка, внешние и внутренние документы.
-
"Программирование макета универсального программирующего процессора" - отчетный документ по договору с НИЦЭВТ; тома II и III.
-
Доказательное программирование.
-
Разные работы, 1974 г.
-
Международный симпозиум по теоретическому программированию /заявки на участие; заявки на получение Трудов/.
-
"Теория схем программ". Доклад на Конгрессе ИФИП-71 и статья в журнале "Проблемы кибернетики".
-
Рабочая конференция ИФИП по Алголу-68.
-
Академия наук СССР.
-
Конгресс ИФИП в Любляне, заседания РГ2.1 в Манчестере и Новосибирске.
-
Доклад "Развитие вычислительного дела в СССР" на Дибольдовской конференции.
-
Примеры и задачи по программированию. Курсы программирования.
-
Академия наук СССР; Сибирское отделение АН СССР.
-
Повестки на заседания Ученого совета ВЦ СО АН СССР.
-
Текущие дела отдела информатики ВЦ СО АН СССР.
-
Сибирское отделение АН СССР.
-
Защиты.
-
Документы Общих собраний и Президиума Сибирского отделения АН СССР.
-
В основном документы Президиума АН СССР.
-
Литературная работа.
-
"Личное дело А.П. Ершова". Биографические справки, листы по учету кадров, характеристики, списки научных трудов.
-
ВТП - предпосылки, рисунки, побочный текст. (Введение в теоретическое программирование).
-
"Введение в теорию программирования" - издательский экземпляр.
-
Литературная работа.
-
Отчёт "Об автоматизации программирования в ОПМ МИ АН СССР".
-
Выборы в АН СССР (1987 г.).
-
Школьная информатика.
-
ОИВТА.
Страницы
- « первая
- ‹ предыдущая
- …
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- следующая ›
- последняя »
