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