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

Письмо, А.П. Ершов->Н. П. Бусленко, 23.07.1975
Рекомендует статью В.Н. Касьянова "О нахождении аргументов и результатов операторов в схемах с косвенной адресацией" для публикации в журнале "Программирование".
Письмо, А.П. Ершов->Дж. Т. Шварц, 22.06.1976
с сообщением о том, что был вынужденн отменить свою поездку в США по семейным обстоятельствам; надеется на встречу в Москве в сентябре; рассказывает о делах в институте.
Отзыв, 11.02.1985
на рукопись В.Н. Касьянова и В.К. Сабельфельда "Сборник заданий по практикуму на ЭВМ".
Письмо, С. И. Будыхо->А.П. Ершов, 30.05.1975
Просьба дать отзыв на статью Л.Ф. Штернберга "Эффективные алгоритмы определения совместимости переменных"; сообщение о том, что статьи Н.Н. Миренкова и В.Н. Касьянова приняты. /Текст рукописный./
Аннотация
к книге В.Н. Касьянова и И.В. Поттосина "Методы построения трансляторов". Ответственный редактор - А.П. Ершов.
Рецензия, 27.06.1983
на учебное пособие В.Н. Касьянова "Методы оптимизации программ".
Письмо, А.П. Ершов->М. Паул, 13.07.1978
с рекомендацией статьи В.Н. Касьянова для опубликования в журнале "Acta Informatica".
Заявка, 27.11.1972(?)
в оргкомитет всесоюзного семинара по комбинаторной математике на участие В.Н. Касьянова.
Приказ, В. Е. Котов->А.П. Ершов, 06.05.1983
Для проведения конкурса на вакантные должности старших научных сотрудников по специальностям математика, геофизика и математическое обеспечение вычислительных машин создать конкурсные комиссии в указанном составе.
Характеристика, 01.12.1971(?)
на стажера ВЦ СО АН СССР В.Н. Касьянова.
Повестка, 25.12.1986
заседания специализированного совета Д 002.10.02.
Телеграмма, П. Хиббард->В. Е. Котов, 01.07.1977
с сообщением о получении докладов сотрудников ВЦ СО АН.
Рецензия, В.Н. Касьянов->А.П. Ершов, 08.02.1980
В.Н. Касьянова на доклад М. Джазаери и К. Оршича.
Повестка, 22.11.1988
о заседании специализированного совета Д 002.10.02 при ВЦ СО АН СССР.
Тезисы доклада
В.Н. Касьянов (Новосибирск) "Конструирование качественных программ методом конкретизирующих преобразований".
Тезисы доклада
В.Н. Касьянов, В.К. Сабельфельд (Новосибирск) "Анализ управляющих и информационных свойств программ, ориентированный на статическую проверку их правильности".

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


Назад

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