Lubos Brim – författare
Visar alla böcker från författaren Lubos Brim. Handla med fri frakt och snabb leverans.
5 produkter
CONCUR 2002 - Concurrency Theory
13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings
Av Lubos Brim, Petr Jancar m. fl.
Häftad, 2002
1128 kr
Lägg i varukorg
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 CONCUR conferences is to bring together researchers, - velopers and students in order to advance the theory of …
CONCUR 2002 - Concurrency Theory
13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings
Av Antonin Kucera, Mojmir Kretinsky m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Mathematical Foundations of Computer Science 1998
23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998
Av Lubos Brim, Josef Gruska m. fl.
Häftad, 1998
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS'98, held in Brno, Czech Republic, in August 1998.The 71 revised full papers presented were carefully reviewed and selected from a total of 168 submissions. …
Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
Av Lubos Brim, Boudewijn Haverkort m. fl.
Häftad, 2007
569 kr
Lägg i varukorg
These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR …
Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected
Av Jaco van de Pol, Martin Leucker m. fl.
E-bok, 2007
739 kr
Lägg i varukorg
These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR …
