- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
Новости
13 Января, 2025
11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева
24 Декабря, 2024
На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта
07 Декабря, 2024
Прощание с академиком Е.П. Велиховым
Заикин Данила Александрович
Терминологический поиск в коллекциях математических текстов
Диссертация защищена
Искомая степень: Кандидат технических наук.
Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.
Дата размещения: 2014-11-28.
Текст диссертации удален по истечении 7 месяцев со дня защиты (п.26 Потановления Правительства РФ №842 от 24.09.842)
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 2015-03-05.