Serious Games : 10th Joint International Conference, JCSG 2024, New York City, NY, USA, November 7-8, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Serious Games : 10th Joint International Conference, JCSG 2024, New York City, NY, USA, November 7-8, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Plass, Jan L. (EDT)/ Ochoa, Xavier (EDT)

  • ウェブストア価格 ¥16,217(本体¥14,743)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 147pt
  • 海外取次在庫
Model Validation and Uncertainty Quantification, Vol. 3 : Proceedings of the 42nd IMAC, a Conference and Exposition on Structural Dynamics 2024 (Conference Proceedings of the Society for Experimental Mechanics Series) (2025)
  • 洋書

Model Validation and Uncertainty Quantification, Vol. 3 : Proceedings of the 42nd IMAC, a Conference and Exposition on Structural Dynamics 2024 (Conference Proceedings of the Society for Experimental Mechanics Series) (2025)  Hardcover,  言語:ENG

Platz, Roland (EDT)/ Flynn, Garrison (EDT)/ Neal, Kyle (EDT)

  • ウェブストア価格 ¥40,548(本体¥36,862)
  • Springer International Publishing AG(2024/11発売)
  • ポイント 368pt
  • 海外からお取り寄せ(通常6~9週間)
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2025)
  • 洋書

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, André (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 92pt
  • 海外取次在庫
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)
  • 洋書

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2025)  Paperback

Platzer, Andre (EDT)/ Rozier, Kristin Yvonne (EDT)/ Pradella, Matteo (EDT)

  • ウェブストア価格 ¥34,465(本体¥31,332)
  • Springer International Publishing AG(2024/09発売)
  • ポイント 313pt
  • 海外取次在庫
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
  • 洋書

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)  Paperback,  言語:ENG

Platzer, André (EDT)/ Sutcliffe, Geoff (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 92pt
  • 海外取次在庫