1～5件／全5件 セーフサーチ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

  • ウェブストア価格 ¥23,042（本体¥20,948）
  • now publishers Inc（2014/11発売）
  • ポイント 209pt
  • 海外からお取り寄せ（通常6～9週間）
Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science) 〈Vol. 5458〉
  • 洋書

Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science) 〈Vol. 5458〉  Paperback,  言語：ENG

Cortier, V. (EDT)/ Kirchner, C. (EDT)/ Okada, M. (EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer（2009/06発売）
  • ポイント 110pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥27,439（本体¥24,945）
  • IOS Press,US（2011/03発売）
  • ポイント 249pt
  • 海外からお取り寄せ（通常6～9週間）
Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Electronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Krimmer, Robert (EDT)/ Volkamer, Melanie (EDT)/ Cortier, Véronique (EDT)

  • Springer Nature Switzerland AG（2018/09発売）
  • ご注文いただけません
Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Lecture Notes in Computer Science) （2019）
  • 洋書
  • 電子版あり

Electronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Lecture Notes in Computer Science) （2019）  Paperback,  言語：ENG

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

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