|
|||||||||||
Документы, связанные с Александр Александрович Сулимов Бюллетень (баллотировочный ), 11.10.1994 для тайного голосования Ученого совета ИСИ СО РАН по выдвижению Сулимова А.А. на должность старшего научного сотрудника.
Выписка, 14.02.1995из протокола заседания Ученого совета ИСИ СО РАН - о новом составе аттестационной комиссии.
Выписка, 11.10.1994из протокола №14 заседания Ученого совета ИСИ СО РАН - о выдвижении А.А. Сулимова на должность старшего научного сотрудника.
Выписка, 11.10.1994из протокола №14 заседания Ученого совета ИСИ СО РАН - о выдвижении В.Н. Касьянова в член-корреспонденты РАЕН.
Извещение, 04.04.1984о заседании секции "Информатика, вычислительные системы и АСУ" Учёного совета ВЦ СО АН СССР. /Приписка Андрея Петровича: "Не был (накладка)."/
Протокол №12, 06.09.1994заседания Ученого совета ИСИ СО РАН.
Протокол №14, 11.10.1994заседания Ученого совета ИСИ СО РАН.
Протокол №11, 02.06.1993заседания Ученого совета ИСИ СО РАН.
Протокол №17, 28.09.1993заседания Ученого совета ИСИ СО РАН.
Список, 08.12.1993научных трудов В.А. Непомнящего.
Тезисы докладаВ.А. Непомнящий, С.Г. Воробьев, А.А. Сулимов (Новосибирск) "Проблемно-ориентированная система верификации программ".
Тезисы докладаА.А. Сулимов (Новосибирск) "Система верификации трансляторов".
По порядку | По алфавиту | По дате Назад |
||
Switch to English | Поиск | Расширенный поиск | Папки | Темы |
|