Chinese Painters: A Critical Study
  • 洋書

Chinese Painters: A Critical Study  Paperback

Petrucci, Raphaël/ Binyon, Laurence/ Seaver, Frances

  • ウェブストア価格 ¥3,317(本体¥3,016)
  • Anson Street Press(2025/03発売)
  • ポイント 30pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

  • ウェブストア価格 ¥17,017(本体¥15,470)
  • Springer International Publishing AG(2022/05発売)
  • ポイント 154pt
  • 海外取次在庫
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,767(本体¥12,516)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 125pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,001(本体¥10,910)
  • Springer International Publishing AG(2017/08発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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)

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