Advances in grid and pervasive computing : 7th international conference, GPC 2012, Hong Kong, China, May 11-13, 2012 : proceedings
edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois
Springer-Verlag, 2012
eBooks
CONCUR 2012–concurrency theory : 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings
Springer, 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
How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings
edited by S. Barry Cooper, Anuj Dawar, Benedikt Lowe
Springer-Verlag, 2012
eBooks
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