Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

D'Souza, Meenakshi (EDT)/ Komondoor, Raghavan (EDT)/ Srivathsan, B (EDT)

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 171pt
  • ご予約受付中。出版後の入荷・発送
侵入検知システム:研究ハンドブック<br>Handbook of Research on Intrusion Detection Systems
  • 洋書

侵入検知システム:研究ハンドブック
Handbook of Research on Intrusion Detection Systems
 Hardcover,  言語:ENG

Gupta, Brij B. (EDT)/ Srinivasagopalan, Srivathsan (EDT)

  • ウェブストア価格 ¥61,888(本体¥56,262)
  • Business Science Reference(2020/02発売)
  • ポイント 562pt
  • 海外取次在庫
Handbook of Research on Intrusion Detection Systems
  • 洋書

Handbook of Research on Intrusion Detection Systems  言語:ENG

Gupta, Brij B. (EDT)/ Srinivasagopalan, Srivathsan (EDT)

  • Business Science Reference(2020/02発売)
  • ご注文いただけません