- 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
Downey R. G., Hirschfeldt D. R., Lempp S.,SolomonR ...
News
02 August, 2019
OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
10 April, 2019
Ivannikov Memorial Workshop has been supported by IEEE
Downey R. G., Hirschfeldt D. R., Lempp S.,
Solomon R .
[2002]
Reverse mathematics
of the Nielsen-Schreier theorem
Proc. Inter. Conf. “Logic and Its Appl.”, devoted to Yu.Ershov
and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 59-71
05.05.172
article