- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
Новости
16 Декабря, 2022
Открытая конференция ИСП РАН собрала 650 специалистов по системному программированию, цифровой медицине и лингвистике
14 Октября, 2022
Защита диссертаций
Shepherdson J.C.
[1961]
Representability of recursively enumerable sets in formal theories
Arch. Math. Logik Grundl.,
5, № 3-4, 119-127
62.07.58
O
article