Automated reasoning : 6th international joint conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings
edited by Bernhard Gramlich, Dale Miller, Uli Sattler
Springer-Verlag, 2012
eBooks
Andrey Bogdanov, editor
Security, privacy, and applied cryptography engineering : second international conference, SPACE 2012, Chennai, India, November 3-4, 2012 : proceedings
Springer-Verlag, 2012
eBooks
Igor Kotenko, editor
Computer network security : 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security,MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012 : proceedings
[;Springer-Verlag , Springer-Verlag ], 2012
eBooks
Entertainment computing-ICEC 2012 : 11th international conference, ICEC 2012, Bremen, Germany, September 26-29, 2012 : proceedings
edited by Marc Herrlich, Rainer Malaka, Maic Masuch
Springer-Verlag, 2012
eBooks
Serious games development and applications: third international conference, SGDA 2012 Bremen, Germany, September 26-29, 2012: proceedings
edited by Ma Minhua
Springer-Verlag, 2012
eBooks