Издания ИСП РАН


Издания

Журнал «Труды ИСП РАН»

Труды Института системного программирования им. В.П. Иванникова РАН издаются Институтом в традиционной бумажной форме с 1999 г. (ISBN 5-89823-026-2). С 2010 г. Труды ИСП РАН также публикуются на данном сайте в виде периодического электронного издания (ISSN 2079-8156). У издания отсутствует строгий график выхода очередных выпусков, но обычно каждый год публикуется 1-2 новых тома. Главным редактором издания до 2016 года являлся академик РАН Иванников Виктор Петрович, а с 2017 года - директор ИСП РАН, академик РАН, Аветисян Арутюн Ишханович.
Подробнее

Журнал «Программирование» РАН

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т.п. Журнал предназначен для исследователей, практиков и студентов. Периодичность выпуска – 6 номеров в год. Журнал внесен в список ВАК. Главным редактором издания до 2016 года являлся академик РАН Иванников Виктор Петрович, а с 2017 года - директор ИСП РАН, академик РАН, Аветисян Арутюн Ишханович.
Подробнее

Препринты ИСП РАН

Наряду со своим основным изданием – Трудами ИСП РАН, институт издает препринты. В этом мы следуем замечательной традиции Института прикладной математики им. М.В.Келдыша, препринты специалистов которого принесли большую пользу многим сотрудникам Института. В качестве препринтов публикуются материалы сотрудников ИСП РАН, которые требуется срочно довести до сведения читателей, или которые по своим размерам или другим характеристикам не подходят для издания в Трудах ИСП РАН. Как и статьи, представляемые для издания в Трудах ИСП РАН, все материалы, поданные для издания в качестве препринтов, рецензируются.
Подробнее

Библиография Лаврова И.А.

Лавров Игорь Андреевич был ведущим научным сотрудником отдела «Теоретической информатики» ИСП РАН, специалистом в области математической логики и теории алгоритмов.
Подробнее

Общая теория вычислимости

Книги Липаева В.В.

Владимир Васильевич Липаев - профессор, доктор технических наук, главный научный сотрудник Института системного программирования РАН и МГТУ «Станкин».
Подробнее

Учебники

Цикл монографий

Список научных трудов

На сайте доступны для скачивания учебники и монографии по программной инженерии от профессора Липаева В.В.

Труды Лаврищевой Е.М.

Екатерина Михайловна Лаврищева - профессор, доктор физико-математических наук, главный научный сотрудник ИСП РАН.
Подробнее

Учебные пособия

Монографии

Список научных трудов