Søkt på: Bøker av Antonin Kucera
totalt 14 treff
SOFSEM 2009: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Spindleruv Mlyn, Czech …
Mathematical Foundations of Computer Science 2010
SOFSEM 2009: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech …
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Cesky Krumlov, Czech …
Mathematical Foundations of Computer Science 2007
This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2007, held in Cesky Krumlov, Czech …
Mathematical and Engineering Methods in Computer Science
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in …
CONCUR 2002 - Concurrency Theory
This volume contains the proceedings of the 13th International Conference on Concurrency Theory (CONCUR 2002)held in Brno, Czech Republic, August 20-23, 2002. The purpose of the …
Taming the Infinities of Concurrency
Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of …
Reachability Problems
This volume contains the papers presented at the 4th International Workshop on Reachability Problems, RP 2010 held during August 28-29, 2010 in the F- ulty of Informatics, Masaryk …
Mathematical and Engineering Methods in Computer Science
This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in …
CONCUR 2002 - Concurrency Theory
Taming the Infinities of Concurrency
Javier Esparza received his primary degree in Theoretical Physics and in 1990 his PhD in Computer Science from the University of Zaragoza. After positions at the University of …