Документы, связанные с Серафима Ивановна Будыхо

Письмо с приложением, С. И. Будыхо->А.П. Ершов, 09.01.1982
Просьба прорецензировать статью Т.И. Югановой "О корректности смешанных вычислений на языкt ИНКОЛ". Приложены реферат и аннотация.
Письмо, С. И. Будыхо->А.П. Ершов, 07.12.1987
Просьба дать отзыв на две указанные статьи.
Письмо, С. И. Будыхо->А.П. Ершов, 31.05.1982
Просьба ускорить возвращение статьи Т.Н. Югановой, направленной на рецензирование.
Записка, С. И. Будыхо->А.П. Ершов, 19.03.1982
Просит вернуть вторую статью Г.Ю. Гребешковой.
Письмо, С. И. Будыхо->А.П. Ершов, 04.05.1986
Просьба прорецензировать статью М.С. Берштейна и дать заключение о целесообразности ее публикации.
Письмо, А.П. Ершов->С. И. Будыхо, 24.08.1981
Поддерживает исправленный вариант статьи Л.В. Черноброд "О контроле типов значений переменных с использованием доказательства свойств программы".
Письмо, А.П. Ершов->С. И. Будыхо, 24.08.1981
Поддерживает исправленный вариант статьи В.А. Непомнящего "Доказательство правильности программ линейной алгебры".
Письмо, С. И. Будыхо->А.П. Ершов, 30.11.1979
Просьба ускорить возвращение статьи В.И. Доленко, направленной на рецензирование.
Письмо, С. И. Будыхо->А.П. Ершов, 25.03.1981
Просьба ускорить возвращение статьи В.В. Чернюгова, направленной на рецензирование.
Письмо, С. И. Будыхо->А.П. Ершов, 04.04.1978
Сообщает о полученных статьях.
Письмо, С. И. Будыхо->А.П. Ершов, 25.01.1980
Просьба ускорить возвращение статьи В.И. Доленко, напраленной на рецензирование.
Телеграмма, А.П. Ершов->С. И. Будыхо, 07.02.1980
Благодарит за напоминание. Статья Доленко пойдет в печать. /Текст рукописный./
Повестка, С. И. Будыхо->А.П. Ершов, 18.09.1978
о заседании редколлегии журнала "Программирование".
Письмо, С. И. Будыхо->А.П. Ершов, 10.09.1976
Приглашение на заседание редколлегии журнала "Программирование".
Письмо, А.П. Ершов->С. И. Будыхо, 30.07.1986
с рекомендацией опубликовать в журнале "Программирование" статью Г.Я. Барздиня "Эксперименты со смешанными вычислениями".
Письмо, А.П. Ершов->С. И. Будыхо, 24.08.1981
Рекомендует к публикации исправленный вариант статьи Л.В. Черноброд "О контроле типов значений переменных с использованием доказательства свойств программ". /Текст рукописный, черновой./
Письмо, С. И. Будыхо->А.П. Ершов, 30.05.1975
Просьба дать отзыв на статью Л.Ф. Штернберга "Эффективные алгоритмы определения совместимости переменных"; сообщение о том, что статьи Н.Н. Миренкова и В.Н. Касьянова приняты. /Текст рукописный./
Письмо, А.П. Ершов->С. И. Будыхо, 06.12.1978
Рекомендует опубликовать статью В.К. Сабельфельда.
Письмо, С. И. Будыхо->А.П. Ершов, 15.04.1976
Просит ознакомиться с двумя статьями М.А. Малкова и дать отзыв и заключение о целесообразности их опубликования в журнале "Программирование".
Письмо, 16.04.1976
Просьба познакомиться со статьей и дать отзыв и заключение о целесообразности ее опубликования в журнале "Программирование".

1 2 3
По порядку | По алфавиту | По дате


Назад

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