1～3件／全3件 セーフサーチON
  •  
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発売）
  • ポイント 129pt
  • 海外取次在庫
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,920（本体¥12,655）
  • SPRINGER, BERLIN（2011発売）
  • ポイント 126pt
  • 海外取次在庫
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,488（本体¥27,717）
  • Springer International Publishing AG（2024/07発売）
  • ポイント 277pt
  • 海外からお取り寄せ（通常6～9週間）
1～3件／全3件
  •