P. Madhusudan, editor
Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Electronic government : 11th IFIP WG 8.5 International Conference, EGOV 2012, Kristiansand, Norway, September 3-6, 2012 : proceedings
edited by Hans J. Scholl
Springer, 2012
 eBooks
Electronic participation : 4th IFIP WG 8.5 International Conference, ePart 2012, Kristiansand, Norway, September 3-5, 2012 : proceedings
edited by Efthimios Tambouris, Ann Macintosh and Øystein Sæbø
Springer, 2012
 eBooks
Johan Jeuring, editor
Intelligent computer mathematics : 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8-13, 2012, proceedings
[Springer-Verlag, ], 2012
 eBooks
P. Balasubramaniam, editor
Mathematical modelling and scientific computation : international conference, ICMMSC 2012, Gandhigram, Tamil Nadu, India, March 16-18, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks