Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 95pt
  • 海外取次在庫
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 95pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Hou, Zhe (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥17,829(本体¥16,209)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 162pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)
  • 洋書

Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Gurfinkel, Arie (EDT)/ Ganesh, Vijay (EDT)

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 95pt
  • 海外取次在庫
Lean Six Sigma im Bankensektor : Operative und strategische Anwendungen für Theorie und Praxis (1. Aufl. 2024)
  • 洋書

Lean Six Sigma im Bankensektor : Operative und strategische Anwendungen für Theorie und Praxis (1. Aufl. 2024)  Hardcover,  言語:GER

Sunder M, Vijaya/ Ganesh, L. S.

  • ウェブストア価格 ¥10,487(本体¥9,534)
  • Springer Gabler(2024/10発売)
  • ポイント 95pt
  • 海外取次在庫