1～7件／全7件 セーフサーチON
  •  
Modeling and Analyzing Security Protocols with Tamarin : A Comprehensive Guide (Information Security and Cryptography) （2025. xiv, 325 S. XIV, 325 p. 68 illus., 51 illus. in color. 235 mm）
  • 洋書

Modeling and Analyzing Security Protocols with Tamarin : A Comprehensive Guide (Information Security and Cryptography) （2025. xiv, 325 S. XIV, 325 p. 68 illus., 51 illus. in color. 235 mm）  Hardcover

Basin, David/Cremers, Cas/Dreier, Jannik

  • ウェブストア価格 ¥14,639（本体¥13,309）
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING（2025発売）
  • ポイント 133pt
  • 海外取次在庫
Applied Information Security : A Hands-on Approach （2011）
  • 洋書

Applied Information Security : A Hands-on Approach （2011）  Paperback,  言語：ENG

Basin, David/ Schaller, Patrick/ Schläpfer, Michael

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/11発売）
  • ご注文いただけません
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence Vol.3097) （2004. XII, 491 p. 23,5 cm）
  • 洋書

Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence Vol.3097) （2004. XII, 491 p. 23,5 cm）  Paperback,  言語：ENG

Ed. by David Basin and Michael Rusinowitch

  • ウェブストア価格 ¥26,621（本体¥24,201）
  • SPRINGER, BERLIN（2004発売）
  • ポイント 242pt
  • 海外取次在庫
Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Lecture Notes in Computer Scien （2013）
  • 洋書

Principles of Security and Trust : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Lecture Notes in Computer Scien （2013）  Paperback,  言語：ENG

Basin, David (EDT)/ Mitchell, John C. (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/02発売）
  • ポイント 104pt
  • 海外取次在庫
The Complete Guide to SCION : From Design Principles to Formal Verification (Information Security and Cryptography)
  • 洋書

The Complete Guide to SCION : From Design Principles to Formal Verification (Information Security and Cryptography)  Hardcover

Chuat, Laurent/ Legner, Markus/ Basin, David

  • ウェブストア価格 ¥30,699（本体¥27,909）
  • Springer International Publishing AG（2022/05発売）
  • ポイント 279pt
  • 海外からお取り寄せ（通常6～9週間）
The Complete Guide to SCION : From Design Principles to Formal Verification (Information Security and Cryptography)
  • 洋書

The Complete Guide to SCION : From Design Principles to Formal Verification (Information Security and Cryptography)  Paperback

Chuat, Laurent/ Legner, Markus/ Basin, David

  • ウェブストア価格 ¥20,836（本体¥18,942）
  • Springer International Publishing AG（2023/05発売）
  • ポイント 189pt
  • 海外取次在庫
Spirituelle Essenz und weltlicher Schein （1., Auflage. 2012. 440 S. 21.7 cm）
  • 洋書

Spirituelle Essenz und weltlicher Schein （1., Auflage. 2012. 440 S. 21.7 cm）  Hardcover

Hawkins, David R./ UEbersetzung: Basinski, Lars

  • ウェブストア価格 ¥6,717（本体¥6,107）
  • SHEEMA MEDIEN（2012発売）
  • ポイント 61pt
  • 海外からお取り寄せ（通常6～9週間）
1～7件／全7件
  •