Thomas Agotnes, editor
Deontic logic in computer science : 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
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
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
<<   1 2 3   >>