1～3件／全3件 セーフサーチON
  •  
Formal Models and Techniques for Analyzing Security Protocols : A Tutorial (Foundations and Trends® in Programming Languages)
  • 洋書

Formal Models and Techniques for Analyzing Security Protocols : A Tutorial (Foundations and Trends® in Programming Languages)  Paperback,  言語：ENG

Cortier, Véronique/ Kremer, Steve

  • ウェブストア価格 ¥17,513（本体¥15,921）
  • now publishers Inc（2014/11発売）
  • ポイント 159pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Models and Techniques for Analyzing Security Protocols (Cryptology and Information Security Series)
  • 洋書

Formal Models and Techniques for Analyzing Security Protocols (Cryptology and Information Security Series)  Hardcover,  言語：ENG

Cortier, Veronique (EDT)/ Kremer, S. (EDT)

  • ウェブストア価格 ¥25,141（本体¥22,856）
  • IOS Press,US（2011/03発売）
  • ポイント 228pt
  • 海外からお取り寄せ（通常6～9週間）
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Security and Cryptology) （2019）
  • 洋書
  • 電子版あり

Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Security and Cryptology) （2019）  Paperback,  言語：ENG

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Cortier, Veronique (EDT)

  • ウェブストア価格 ¥13,268（本体¥12,062）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •