Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures
edited by Elena Giachino, Reiner Hähnle, Frank S. Boer and Marcello M. Bonsangue
Springer, 2013
Buku Teks
Theory of cryptography : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012 : proceedings
edited by Ronald Cramer
Springer-Verlag, 2012
eBooks
Information security : 15th international conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings
edited by Dieter Gollmann, Felix C. Freiling
Springer-Verlag, 2012
eBooks
Sara Foresti, editor
Computer security–ESORICS 2012 : 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012 : proceedings
[Springer-Verlag, ], 2012
eBooks
Wireless sensor networks : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings
edited by Gian Pietro Picco and Wendi Heinzelman
Springer, 2012
eBooks