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