Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Application and Theory of Petri Nets and Concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Bernardinello, Luca (EDT)/ Petrucci, Laure (EDT)

  • ウェブストア価格 ¥18,049(本体¥16,409)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 164pt
  • 海外からお取り寄せ(通常6~9週間)
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin,  Paperback

Petrucci, Laure (EDT)/ Seceleanu, Cristina (EDT)/ Cavalcanti, Ana (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6709) (2011. XII, 349 S. 235 mm)
  • 洋書

Application and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues 6709) (2011. XII, 349 S. 235 mm)  Paperback

Herausgegeben von Kristensen, Lars M./ Petrucci, Laure

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 120pt
  • 海外取次在庫
Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Petrucci, Laure (EDT)/ Sproston, Jeremy (EDT)

  • ウェブストア価格 ¥12,415(本体¥11,287)
  • Springer International Publishing AG(2023/09発売)
  • ポイント 112pt
  • 海外取次在庫