ペトリネットとオートマトン<br>Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach (Studies in Computational Intelligence)
  • 洋書

ペトリネットとオートマトン
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach (Studies in Computational Intelligence)
 Hardcover,  言語:ENG

Penczek, Wojciech/ Polrola, Agata

  • ウェブストア価格 ¥36,380(本体¥33,073)
  • Springer-Verlag New York Inc(2006/09発売)
  • ポイント 330pt
  • 海外取次在庫
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach (Studies in Computational Intelligence)
  • 洋書

Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach (Studies in Computational Intelligence)  Paperback,  言語:ENG

Penczek, Wojciech/ Polrola, Agata

  • ウェブストア価格 ¥36,168(本体¥32,880)
  • Springer(2010/11発売)
  • ポイント 328pt
  • 海外取次在庫
Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6128) (2010. X, 329 S.)
  • 洋書

Applications and Theory of Petri Nets : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6128) (2010. X, 329 S.)  Paperback,  言語:ENG

Herausgegeben von Lilius, Johan/ Penczek, Wojciech

  • ウェブストア価格 ¥13,538(本体¥12,308)
  • SPRINGER, BERLIN(2010発売)
  • ポイント 123pt
  • 海外取次在庫
Transactions on Petri Nets and Other Models of Concurrency XII (Transactions on Petri Nets and Other Models of Concurrency)
  • 洋書
  • 電子版あり

Transactions on Petri Nets and Other Models of Concurrency XII (Transactions on Petri Nets and Other Models of Concurrency)  Paperback

Koutny, Maciej (EDT)/ Kleijn, Jetty (EDT)/ Penczek, Wojciech (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2017/09発売)
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Transactions on Petri Nets and Other Models of Concurrency XIII (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Transactions on Petri Nets and Other Models of Concurrency XIII (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Koutny, Maciej (EDT)/ Kristensen, Lars Michael (EDT)/ Penczek, Wojciech (EDT)

  • ウェブストア価格 ¥11,767(本体¥10,698)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2018/11発売)
  • ポイント 106pt
  • 海外取次在庫