すべての資料

図書

雑誌

詳細検索

タイトル

タイトル完全一致統一タイトルを含む

著者名

別名を含む

著者ID

統一タイトルID

出版者

ISBN

ISSN

NCID

件名

分類

注記

資料種別

言語種別

出版年

年から年まで

図書館ID

機関ID

地域

図書館ID・機関ID・地域を記憶する

閉じる

PAPM-PROBMIV

ID:DA13246750

別名: PAPM-PROBMIV Workshop

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

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.)

Springer c2002 Lecture notes in computer science 2399

所蔵館24館
2

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.)

Springer c2001 Lecture notes in computer science 2165

所蔵館25館

この著者を外部サイトでさがす

関連著者

ページトップへ