|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Electronic Voting: 4th International Joint Conference, E-Vote-Id 2019, Bregenz, Austria, October 1-4, 2019, Proceedings 2019 Edition | Krimmer, Robert | Paperback | 3030306240 / 9783030306243 | 09/2019 | $61.74 |
| | Electronic Voting: Third International Joint Conference, E-Vote-Id 2018, Bregenz, Austria, October 2-5, 2018, Proceedings 2018 Edition | Krimmer, Robert | Paperback | 303000418X / 9783030004187 | 09/2018 | $52.24 |
| | Formal Models and Techniques for Analyzing Security Protocols: A Tutorial (Foundations and Trends(r) in Programming Languages) | Cortier, Véronique | Paperback | 1601989024 / 9781601989024 | 11/2014 | $85.50 |
| | Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration 2009 Edition (Lecture Notes in Computer Science / Security and Cryptology) | Cortier, Véronique | Paperback | 3642020011 / 9783642020018 | 05/2009 | $52.24 |
|
|
|