Lubos Brim – författare

Visar alla böcker från författaren Lubos Brim.

3 produkter

1. 

   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

   1469 kr

   Lägg i varukorg

2. 

   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

   1469 kr

   Lägg i varukorg

3. 

   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

   739 kr

   Lägg i varukorg