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)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 180pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer International Publishing AG(2023/10発売)
  • ポイント 170pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2022/10発売)
  • ポイント 110pt
  • 海外取次在庫
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)

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