- About
- Innovations
- Divisions
- Compiler Technology Department
- Computer Systems Department
- Information Systems Department
- Software Engineering Department
- System integration and multi-disciplinary collaborative environments
- System Programming Department
- Theoretical Computer Science Department
- Academic council
- Dissertation council
- Verification Center of the Operating System Linux
- Center of competence in parallel and distributed computing
- Education
- Editions
- News
Bibliography of Lavrov I.A.
News
30 December, 2018
Hironori Kasahara congratulated ISP RAS and IEEE Computer Society Russia with the 70th anniversary of IT
09 August, 2018
Color Platform second Global Meetup in Moscow on 21.08.2018
Фокина Е.Б.
[2008]
Алгоритмические свойства языков с двумя унарными функциональными символами
Вестн. НГУ, Серия мат., мех., инфор.,
8. № 1, 90-101
08.ВН11.116
статья