Документы, связанные с Виктор Карлович Сабельфельд

Почтовая карточка, 29.10.1981
Редакция потверждает получение двух статей - Р. Фрейвалдса и В.К. Сабельфельда.
Отчет рецензента, 22.06.1984
о статье "On separation of the emptiness and equivalence problems for program scheme". Мнение рецензента - статья достойна публикации при условии улучшения английского.
Протокол №1, 17.01.1995
заседания счетной комиссии, избранной Ученым советом ИСИ СР РАН для проведения и подсчета голосов тайного голосования по выдвижению Телермана В.В. на должность старшего научного сотрудника.
Статья, 20.07.1989
"Путь в науку" в газете "Советская Сибирь", от 20 июля 1989 года. В ней рассказывается о К.К. Сабельфельде, выпускнике НГУ, докторе ф.-м. наук, заведующем лабораторией стохастических задач математической физики ВЦ СО АН.
Протокол №3, 18.09.1990
заседания Ученого совета ИСИ СО АН СССР.
Рабочие записи, 19.11.1984
в процессе заседаний на конференции.
Письмо, А.П. Ершов->Ф. Л. Бауэр, 31.03.1986
о предстоящей поездке в Мюнхен.
Телеграмма, А.П. Ершов->Ф. Л. Бауэр..., 08.04.1986
Сообщает время и рейс прилета в Мюнхен. Выражает желание провести понедельник в Институте адресата.
Статья, 20.10.1981
Переработанный вариант статьи "The tree equivalence of linear recursive schemata is polinomial-time decidable".
Стенограмма, 06.04.1982
заседания специализированного совета Д 002.10.02 при ВЦ СО АН СССР по поводу защиты диссертации Б.Н. Островского "Построение языково-ориентированных анализаторов с помощью смешанных вычислений". /Текст черновой./
Письмо, Г. И. Марчук->М. А. Лаврентьев
Просьба предусмотреть участие сотрудников ВЦ СО АН СССР в проводимой в ГДР в сентябре 1974 г. конференции "Формализация семантики языков программирования и конструкция компиляторов".
Рабочие записи, 03.11.1984
сделанные при подготовке и во время семинара "Логика и программирование".
Выписка, 29.09.1980
из протокола заседания кафедры вычислительной математики, на котором рассматривался вопрос о ходе диссертационной работы аспирантов И.А. Ломазовой, А.Л. Семенова и Б.Н. Островского.
Образец перевода текста
одной страницы из книги "Informatik", выполненный В.К. Сабельфельдом.
Выписка из протокола, 30.05.1977
Постановление об организации методических комиссий по обязательным и специальным курсам по направлению "Программисты" на 1977-1978 учебный год.
Расписка, 19.10.1981
в получении в СО АН СССР разрешения на вывоз статьи за границу.
Отчет рецензента, 07.08.1985
о статье "On the calculation of control transition probabilities in a program".
Программа приема, 01.10.1982(?)
специалистов из Болгарской АН Буды А.О. (неделя) и Иванова Л.Л. (4 дня) в Вычислительном центре СО АН СССР.
Сопроводительное письмо, А.П. Ершов->С. И. Будыхо, 22.01.1986
к статье В.К. Сабельфельда и Л.В. Черноброд, рекомендуемой для печати.
Письмо, И. В. Клокачев->А.П. Ершов, 07.02.1972
Обсуждение списка участников и даты проведения симпозиума.

1 2 3 4 5 6 7 8 9 10 11
По порядку | По алфавиту | По дате


Назад

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