Об институте
Иванников В.П.
Проекты
Инновации
Публикации
Интеллектуальная собственность
Курсы
Семинары
Мероприятия
Партнёры
Официальные документы
СМИ об ИСП РАН
Противодействие коррупции
Вакансии
Фирменный стиль
Контакты
Инновации
Структура
Отдел "Архитектуры вычислительных систем"
Отдел "Информационных систем"
Отдел "Компиляторных технологий"
Отдел "Системного программирования"
Отдел "Системной интеграции и прикладных программных комплексов"
Отдел "Теоретической информатики"
Отдел "Технологий программирования"
Ученый совет
Диссертационный совет
Центр верификации ОС Linux
Исследовательский центр доверенного искусственного интеллекта
Центр компетенции по параллельным и распределенным вычислениям
Образование
Аспирантура ИСП РАН
Кафедра СП ФУПМ МФТИ
Кафедра СП ВМК МГУ
Кафедра СП НИУ ВШЭ
Библиотека
Издания
Публикации ИСП РАН
Журнал "Труды ИСП РАН"
Журнал РАН "Программирование"
Препринты ИСП РАН
Библиография Лаврова И.А.
Книги Липаева В.В.
Книги Лаврищевой Е.М.
Новости
Лицензии
Публикации Института системного программирования РАН
Что искать
Искать в:
Публикации
Труды ИСП РАН
Везде
Публикации ИСП РАН
Публикации за 2024 год
Публикации за 2023 год
Публикации за 2022 год
Публикации за 2021 год
Публикации за 2020 год
Публикации за 2019 год
Публикации за 2018 год
Публикации за 2017 год
Публикации за 2016 год
Публикации за 2015 год
Публикации за 2014 год
Публикации за 2013 год
Публикации за 2012 год
Публикации за 2011 год
Публикации за 2010 год
Публикации за 2009 год
Публикации за 2008 год
Публикации за 2007 год
Публикации за 2006 год
Публикации за 2005 год
Публикации за 2004 год
Публикации за 2003 год
Публикации за 2002 год
Публикации за 2001 год
Публикации за 2000 год
Публикации за 1999 год
Публикации за 1998 год
Публикации за 1978-1997 годы