年 〜
年

検索結果 4 件

Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
紙図書
Holger Hermanns, Roberto Segala (eds.)Springerc2002
全国の図書館
  • 著者標目PAPM-PROBMIV Hermanns, Holger Segala, Robe...

Process algebra and probabilistic methods : performance modeling and verification : second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2399)

Process algebra and probabilistic methods : performance modeling and verification : second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2399)
紙図書
Springer2002.<M17-03-134>
国立国会図書館
  • 並列タイトル等（連結）...ional workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, Ju...
  • 並列タイトル等...ional workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, Ju...
  • 著者標目Hermanns, Holger, 1967- Segala, Roberto, 1968- PAPM-PROBMIV 2002 (2002 : Copenhagen, Denm...

Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
紙図書
Luca de Alfaro, Stephen Gilmore (eds.)Springerc2001
全国の図書館
  • 著者標目PAPM-PROBMIV Process Algebras and Performa...

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001 : Aachen, Germany, September 12-14, 2001 : proceedings. : 1st joint PAPM-PROBMIV workshop : Sep 2001, Aachen, Germany. (Lecture Notes in Computer Science ; 2165)

Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001 : Aachen, Germany, September 12-14, 2001 : proceedings. : 1st joint PAPM-PROBMIV workshop : Sep 2001, Aachen, Germany. (Lecture Notes in Computer Science ; 2165)
紙図書
Springerc2001.<M17-03-2411>
国立国会図書館
  • 著者標目De Alfaro, Luca, 1966- Gilmore, Stephen, 1962- PAPM-PROBMIV 2001 (2001 : Aachen, Germany)

検索結果は以上です。