Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

STACS 93, Theoretical Aspects of Computer Science 10 conf

 Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 7.18 Mb

STACS 92, Theoretical Aspects of Computer Science 9 conf

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.27 Mb

Computer Aided Verification, 13 conf., CAV 2001

 Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.16 Mb