- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
Новости
16 Декабря, 2022
Открытая конференция ИСП РАН собрала 650 специалистов по системному программированию, цифровой медицине и лингвистике
14 Октября, 2022
Защита диссертаций
C
Calhoun W.Calude C.
Calvert W.
Cannonito F.B.
Carnielly W.A.
Carpentier A.
Carroll J.S.
Carstens H.G.
Casalegno P.
CaseJ
Catlin S.
Cay L.
Cenzer D
Chaitin G.
ChenJ
ChenKeh Hsun
ChenZhixiang
Chisholm J.
Cholak P.
Chong C.T.
Chubb J.
Church A.
Clarke D.A.
Cleave J.P.
Clote P.
Cobham A.
Cohen P.F.
Coles R. J.
Constable R.L.
Cooper S. B.
CopestakeCS
CopestakeK
Criscuolo G.
Crossley J.
Csima B.
Cutland N. J.