Editions of ISP RAS


The Proceedings of ISP RAS

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS) are published in paper since 2000 (with ISBN). Also since 2010, Proceedings of ISP RAS are published on site www.ispras.ru in the form of a periodic electronic publication with the simultaneous publication of a small edition in paper form (ISSN 2220-6426 (Online), ISSN 2079-8156 (Print)).

"Programming and Computer Software" journal

The journal was founded in 1975 and includes articles on all problems related to theoretical and practical programming: operational systems, programming technologies, programming languages and compilers, parallel programming, programs verification and testing, computer graphics, computer algebra etc. The journal is intended for researchers, practitioners and students. Issue frequency – 6 times in a year. The journal is in the list of the Higher Attestation Commission.

ISP RAS preprints

Along with the main publication – Proceedings of ISP RAS, the Institute publishes preprints. So we follow the remarkable tradition of the Keldysh institute of applied mathematics. Its specialists’ preprints were very useful for many Institute members. As preprints we publish materials of the ISP RAS members, which must be brought to the notice of readers urgently or which do not fit for publishing in the Proceedings of ISP RAS due to their size or other features. As with articles, presented for publishing in the Proceedings of ISP RAS, all materials, submitted for publishing as preprints, are being reviewed.

Bibliography of Igor Lavrov

Igor Lavrov – the leading research officer of Theoretical Information Department of Institute for System Programming of Russian Academy of Sciences (ISP RAS).

General Computability Theory

Books of Vladimir Lipaev

Vladimir Vasilievitch Lipaev - professor, doctor of technical sciences, chief scientist of the Institute for System Programming of the Russian Academy of Science and MSTU "Stankin".


The series of monographs