Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 : proceedings
edited by Viktor Kuncak, Andrey Rybalchenko
Springer-Verlag, 2012
 eBooks
Trust and trustworthy computing : 5th international conference, TRUST 2012, Vienna, Austria, June 13-15, 2012 : proceedings
edited by Stefan Katzenbeisser
Springer-Verlag, 2012
 eBooks
Josep Domingo-Ferrer, editor
Privacy in statistical databases: UNESCO chair in data privacy international conference, PSD 2012 Palermo, Italy, September 26-28, 2012: proceedings
Springer-Verlag, 2012
 eBooks
Systems, software and services process improvement : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings
edited by Dietmar Winkler, Rory V. O'Connor, Richard Messnarz
Springer-Verlag, 2012
 eBooks
Roychoudhury, Abhik, editor
Theoretical aspects of computing–ICTAC 2012 : 9th International Colloquium, Bangalore, India September 24-27, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
<<   1 2 3   >>