Mathematical techniques for analyzing concurrent and probabilistic systems

• • Rutten, J. J. M. M.
• • Panangaden, P. (Prakash)
• • Breugel, Franck van

• 関連文献: 1件

• • Rutten, J. J. M. M.
• • Panangaden, P. (Prakash)
• • Breugel, Franck van

Mathematical techniques for analyzing concurrent and probabilistic systems

J.J.M.M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors

(CRM monograph series, v. 23)

American Mathematical Society, c2004

タイトル別名

Concurrent and probabilistic systems

大学図書館所蔵 件 / 全13件

• 大阪公立大学 杉本図書館 理

  007.61//MA72//100015100210002

  大阪大学 附属図書館 総合図書館

  12200278591

  OPAC

• 金沢大学 附属図書館 研究室

  RUTT:J:7680900-50900-7

  OPAC

• 学習院大学 図書館 数学図

  510/682/230200513446

  OPAC

• 京都大学 数理解析研究所 図書室 数研

  RUT||6||104020248

  OPAC

• 京都大学 理学部 数学

  Ser.||M 17-3||178-2304001507

  OPAC

• 千葉大学 附属図書館 研

  41020011042657

  OPAC

• 筑波大学 附属図書館 中央図書館

  007.61-R9110004004078

  東京大学 数理科学研究科 図書

  FU:Rutten8010363532

  OPAC

• 東北大学 附属図書館 北青葉山分館 図

  02040004492

  OPAC

• 奈良先端科学技術大学院大学 附属図書館

  BA||1490034619

  OPAC

• 北海道大学 大学院理学研究科・理学部図書室 図書

  DC22:003/R9382080000136

  OPAC

• 立命館大学 図書館

  11000007583

  OPAC

• 該当する所蔵館はありません
• すべての絞り込み条件を解除する

• カーリル
• WorldCat

Includes bibliographical references (p. 209-215)

関連文献: 1件中  1-1を表示

• 1

  CRM monograph series

  American Mathematical Society 1992-