Аннотации рабочих программ аспирантуры ИСП РАН

Новости

02 Июня, 2023 Поздравляем сотрудников ИСП РАН Рубена Бучацкого и Алексея Вишнякова с получением дипломов кандидатов наук

01 Июня, 2023 В Пензе состоялась ежегодная конференция по программной инженерии SYRCoSE

27 Апреля, 2023 Х конференция «OS DAY. Экосистема российских ОС» пройдет в Москве в июне 2023 года

Аннотации рабочих программ учебных дисциплин

Верификация моделей программ
Камкин А.С., к.ф.–м.н.

Динамическая компиляция
Гайсарян С.С., к.ф.–м.н.

Основы обработки текстовой информации
Турдаков Д.Ю., к.ф.–м.н.

Программная инженерия. Дополнительные главы
Кулямин В.В., к.ф.–м.н.

Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Шнитман В.З., д.т.н.

Педагогика высшей школы
Чуйкова Н.В., к.пед.н.

История и философия науки

Иностранный язык (английский)