- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
МальцевАИ,Ершов Ю. Л., Каргаполов М. И., Ширшов А. И., Бокуть Л. А.,Ремесленников В.Н.,Гончаров С. С., Лавров И. А. ...
Новости
18 Апреля, 2025
ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»
12 Марта, 2025
XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»
01 Марта, 2025
Шнитману Виктору Зиновьевичу исполняется 80 лет
Мальцев А. И.,
Ершов Ю. Л., Каргаполов М. И., Ширшов А. И.,
Бокуть Л. А.,
Ремесленников В.Н.,
Гончаров С. С.,
Лавров И. А.
[1977]
Алгоритмические проблемы алгебры
и теории нумераций.
Сб. Фунд. исследования. Физ.-мат. и тех. науки, Новосибирск, Наука, 8-12
78.01.39
статья