Stabilization, safety, and security of distributed systems : 14th international symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings
edited by Andrea W. Richa, Christian Scheideler
Springer-Verlag , 2012
 eBooks
Progress in cryptology-AFRICACRYPT 2012 : 5th International Conference on Cryptology in Africa, Ifrane, Morocco, July 10-12, 2012 : proceedings
edited by Aikaterini Mitrokotsa, Serge Vaudenay
Springer-Verlag, 2012
 eBooks
Automated technology for verification and analysis : 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings
edited by Supratik Chakraborty, Madhavan Mukund
Springer, 2012
 eBooks
Privacy enhancing technologies : 12th international symposium, PETS 2012, Vigo, Spain, July 11-13, 2012 : proceedings
editors, Simone Fischer-Hubner, Matthew Wright
Springer-Verlag, 2012
 eBooks
Computer science ? theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings
edited by Edward A. Hirsch
Springer-Verlag, 2012
 eBooks