- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
- Об аспирантуре
- Приём в аспирантуру (2022)
- Приём в аспирантуру (2023)
- Основные сведения
- Структура и органы управления
- Документы
- Образование
- Расписание занятий и аттестаций
- Образовательные стандарты
- Научно-педагогический состав
- Материально-техническое обеспечение
- Стипендии и иные виды материальной поддержки
- Платные образовательные услуги
- Финансово-хозяйственная деятельность
- Вакантные места для приема (перевода)
- Электронная информационно-образовательная среда
- Списки аспирантов
Новости
Аннотации рабочих программ учебных дисциплин
Верификация моделей программ
Камкин А.С., к.ф.–м.н.
Динамическая компиляция
Гайсарян С.С., к.ф.–м.н.
Основы обработки текстовой информации
Турдаков Д.Ю., к.ф.–м.н.
Программная инженерия. Дополнительные главы
Кулямин В.В., к.ф.–м.н.
Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Шнитман В.З., д.т.н.
Педагогика высшей школы
Чуйкова Н.В., к.пед.н.