- 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
Grilliot T.
[1971]
On effectively discontinuons type-2 objects
J. Symbolic Logic,
36, № 2, 245-248
72.04.85
O
article