- 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
Shore R.A. ...
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
Shore R.A.
[1993]
The theories of the T, tt and wtt r.e. degrees: undecidability and beyond
Proc IX Latin. Amer. Symp. Math. Logic (Bahia Blanca, Argentina, 1992), Notas de Lo’gica Math, 38, Univ. Nac. del Sur, 61-70
95.11.52
O
article