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)

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

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

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 100pt
  • 海外取次在庫
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.

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer Gabler(2024/10発売)
  • ポイント 100pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥18,786(本体¥17,079)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 170pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Foundational Principles of AI Governance and Policy (Frontiers of Artificial Intelligence, Ethics and Multidisciplinary Applications)
  • 洋書
  • 予約

Foundational Principles of AI Governance and Policy (Frontiers of Artificial Intelligence, Ethics and Multidisciplinary Applications)

Herausgegeben:Fitz-Gerald, Ann/Ganesh, Vijay/Nathwani, Jatin

  • SPRINGER, BERLIN; SPRINGER(2026/01発売)
  • ご注文いただけません