Папки
-
Проекты повесток заседаний Президиума Сибирского отделения АН СССР.
-
Разное за 1984 г.
-
Разное за 1977 г.
-
ФРГ. Подготовка, пребывание, доклад, отчет. Статья "On Mixed Computation: on Strict and Polyvariant Computation Schemes", 1984 г.
-
Греция. Поездка, отчет. Май 1984 г.
-
Выборы в Академию наук СССР. Декабрь 1984 г.
-
Публикации 1984 г.
-
Материалы ВНТК Велихова и часть итоговых документов ВНТК.
-
Часть итоговых документов ВНТК.
-
Часть итоговых документов ВНТК.
-
Материалы Рабочей группы ВНТК по математическому обеспечению.
-
Единый ряд многомашинного вычислительного комплекса "ЭЛЬБРУС" (ЕР МВК). Рабочие документы и техническая документация.
-
Единый ряд многомашинного вычислительного комплекса "ЭЛЬБРУС" (ЕР МВК). Техническая документация.
-
Единый ряд многомашинного вычислительного комплекса "ЭЛЬБРУС" (ЕР МВК). Техническая документация.
-
Ургенчский симпозиум. Русскоязычные труды, Т. 1.
-
Ургенчский симпозиум. Русскоязычные труды, Т. 2. Переписка.
-
Разное.
-
НГУ. Кафедра. 1973-1982 гг.
-
ФРГ, Италия. Подготовка, пребывание, отчет
-
Технический комитет 2 ИФИП. 1980-1982 гг.
-
Ургенчский симпозиум. Оригинал-макет 122-го тома "Lecture Notes in Computer Science", Т. 1.
-
Ургенчский симпозиум. Оригинал-макет 122-го тома "Lecture Notes in Computer Science", Т. 2.
-
Ургенчский симпозиум. Материалы оргкомитета.
-
Испытание системы "Этап-1" в Москве; поездки Москва-Минск (январь, 1982 г.) и Москва-Таллин (март, 1982 г.).
-
Аспиранты и соискатели. 1968-1981 гг.
-
Материалы Временной научно-технической комиссии ГКНТ СССР по Алголу 68 и международного обмена информацией по этому языку.
-
IPL, 1979-1981 гг.
-
Отзывы и характеристики. 1978-1984 гг.
-
XII-81 Москва ОСОМ, ОСАН. Выборы и дела.
-
Ургенчский симпозиум. Подготовка англоязычных трудов. Переписка.
-
Статья и студенческий проект "Трансформационная машина: тема и вариации". Статья "Вычислимость в произвольных областях и базисах".
-
1982 год. Публикации. Дела.
-
Поездки 1982 г.
-
Фабрика трансляторов (совместно с Г.Д. Чининым).
-
ЭЛЬБРУС ВЦКП-ЭП - ИТТР - ТЗ. 1976-1977 гг.
-
А.А. Ляпунов. Избранные труды в 3-х томах. 1973-1977 гг.
-
Конференция молодых ученых по системному программированию. Новосибирск; 11-13.10.1977. /Заявки, тезисы докладов, акты экспертизы, авторские справки, карточки участников./
-
ТК 2, заседания 17-23 (1974-1978 гг.).
-
Работы 1977 г. "Об одном теоретическом принципе системного программирования", "О сущности трансляции".
-
Разное (черновики статей, стенограмма вопросов и ответов, выступления на митинге и проч.). Поездка в Болгарию (июнь, 1979 г.) и отчет.
-
ТК2, заседания 24, 25 (1979 г.); РГ2.2, заседание в Киото (1978 г.); списки для отбора рецензентов для ИФИП-80 (1972-1979 гг.); разные материалы ТК2 (1976-1988 гг.).
-
Различные проблемы школьной информатики. Письма.
-
Командировка в США (1978 г.)
-
Подготовка и проведение Рабочей конференции ИФИП "Машинно-ориентированные языки программирования высокого уровня (Построение качественного программного обеспечения)", Новосибирск, 24-27 мая 1977 г.
-
Всесоюзный семинар "Перспективы развития системного и теоретического программирования" (Новосибирск, март 1978 г.); Совет по сетям (Рига, апрель 1978 г.).
-
Командировка в Чехословакию (1977 г.)
-
ВЭЛК. Статья "Системы программирования для мини- и микро-ЭВМ". Конгресс 21-26.06.1977.
-
Доклад "Метод описания языков" (с Грушецким).
-
Командировка в Канаду (1977 г., Сент-Эндрюс, Торонто). ИФИП-77: подготовка, проведение, отчет. 1-я конференция "Формальное описание концепций программирования".
-
Работы 1978 г. Дневник (1978 г.)
Страницы
- « первая
- ‹ предыдущая
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- …
- следующая ›
- последняя »
