Jump to main content

yr 〜
yr

Search results 5

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4346)

Formal methods: applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006 : Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers. : 11th international workshop on formal methods for industrial critical systems : 5th international workshop on parallel and distributed methods in verification : Aug 2006, Bonn, Germany. (Lecture Notes in Computer Science ; 4346)
Paper図書
Springerc2007.<M17-07-1248>
National Diet Library
  • Author HeadingBrim, Lubǒs. International Workshop on For...

CONCUR 2002 -- concurrency theory : 13th international conference, Brno, Czech Republic, August 20-23, 2002 : proceedings. : Aug 2002, Brno, Czech Republic. (Lecture Notes in Computer Science ; 2421)

CONCUR 2002 -- concurrency theory : 13th international conference, Brno, Czech Republic, August 20-23, 2002 : proceedings. : Aug 2002, Brno, Czech Republic. (Lecture Notes in Computer Science ; 2421)
Paper図書
Springer2002.<M17-03-157>
National Diet Library
  • Author HeadingBrim, Lubǒs. International Conference on C...

Formal Methods : Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers

Formal Methods : Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers
Paper図書
Luboš Brim ... [et al.] (eds.)Springerc2007
Other Libraries in Japan

CONCUR 2002 - concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings

CONCUR 2002 - concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings
Paper図書
Luboš Brim ... [et al.] (eds.)Springerc2002
Other Libraries in Japan

Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS '98, Brno, Czech Republic, August 24-28, 1998 : proceedings

Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS '98, Brno, Czech Republic, August 24-28, 1998 : proceedings
Paper図書
Luboš Brim, Jozef Gruska, Jiří Zlatuška (eds.)Springerc1998
Other Libraries in Japan

Reached to the end of result.

RSS