Relational and algebraic methods in computer science : 13th international conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings
edited by Wolfram Kahl, Timothy G. Griffin
Springer-Verlag, 2012
eBooks
Pervasive computing : 10th international conference, pervasive 2012, Newcastle, UK, June 18-22, 2012 : proceedings
edited by Judy Kay
Springer-Verlag, 2012
eBooks
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
Cusumano, Michael A., editor
Software business : third international conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
David Pointcheval, editor
Advances in Cryptology – EUROCRYPT 2012 : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques Cambridge, UK, April 15-19, 2012 : proceedings
Springer-Verlag, 2012
eBooks