Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback

André, Étienne (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥18,625(本体¥16,932)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 169pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback

André, Étienne (EDT)/ Sun, Jun (EDT)

  • ウェブストア価格 ¥17,590(本体¥15,991)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 159pt
  • 海外取次在庫
Discrete Geometry and Mathematical Morphology : Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Discrete Geometry and Mathematical Morphology : Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Baudrier, Étienne (EDT)/ Naegel, Benoît (EDT)/ Krähenbühl, Adrien (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 103pt
  • 海外取次在庫
Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

Andre, Etienne (EDT)/ Stoelinga, Marielle (EDT)

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2019/08発売)
  • ポイント 103pt
  • 海外取次在庫