Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
edited by Gilles Barthe, Anupam Datta, Sandro Etalle
Springer-Verlag, 2012
 eBooks
Data privacy management and autonomous spontaneus security : 6th international workshop, DPM 2011, and 4th international workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011 : revised selected papers
edited by Joaquin Garcia-Alfaro
Springer-Verlag , 2012
 eBooks
Public key infrastructures, services, and applications : 8th European Workshop, EuroPKI 2011, Leuven, Belgium, September 15-16, 2011 : revised selected papers
edited by Svetla Petkova-Nikova, Andreas Pashalidis, Gunther Pernul
Springer-Verlag, 2012
 eBooks
Web services and formal methods : 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers
edited by Marco Carbone, Jean-Marc Petit
Springer-Verlag, 2012
 eBooks
Approximation and online algorithms : 9th international workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011 : revised selected papers
edited by Roberto Solis-Oba, Giuseppe Persiano
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>