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

STACS 93, Theoretical Aspects of Computer Science 10 conf

Автор: , Автор: , Автор:
Размер книги: 7.18 Mb

STACS 92, Theoretical Aspects of Computer Science 9 conf

Автор: , Автор:
Размер книги: 5.27 Mb

Computer Aided Verification, 13 conf., CAV 2001

Автор: , Автор: , Автор:
Размер книги: 4.16 Mb