Lubos Brim
Lubos Brim
4 ספרים במאגר
ספרים
CONCUR 2002-concurrency theoryLubos Brim
CONCUR 2002-concurrency theory
Lubos Brim · 2002
Mathematical Foundations of Computer Science, 1998Lubos Brim
Mathematical Foundations of Computer Science, 1998
Lubos Brim · 1998
Formal Methods : Applications and TechnologyLubos Brim
Formal Methods : Applications and Technology
Lubos Brim · 2007
CONCUR 2002 - Concurrency TheoryLubos Brim
CONCUR 2002 - Concurrency Theory
Lubos Brim · 2003