AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Giacobbe, Mirco (EDT)/ Lukina, Anna (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer International Publishing AG(2025/10発売)
  • ポイント 258pt
  • 海外取次在庫
Decision and Game Theory for Security : Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7037) (2011. X, 300 S.)
  • 洋書
  • ポイントキャンペーン

Decision and Game Theory for Security : Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011, Proceedings (Lecture Notes in Computer Science / Security and Cryptology .7037) (2011. X, 300 S.)  Paperback,  言語:ENG

Herausgegeben von Baras, John S./ Katz, Jonathan/ Altman, Eitan

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN(2011発売)
  • ポイント 254pt
  • 海外取次在庫
AI Verification : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

AI Verification : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Avni, Guy (EDT)/ Giacobbe, Mirco (EDT)/ Johnson, Taylor T. (EDT)

  • ウェブストア価格 ¥30,779(本体¥27,981)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 558pt
  • 海外からお取り寄せ(通常6~9週間)