Advances in computer games : 13th international conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011 : revised selected papers
edited by H. Jaap van den and Aske Plaat
Springer-Verlag, 2012
eBooks
Software language engineering : 4th international conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers
edited by Anthony Sloane and Uwe Aßmann
Springer-Verlag, 2012
eBooks
Kerstin Eder, editor
Hardware and software : verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers
Springer-Verlag, 2012
eBooks
Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers
edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
[;Springer-Verlag, Springer-Verlag], 2012
eBooks
Thanasis Korakis, editor
Testbeds and research infrastructures : development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers
[Springer, ], 2012
eBooks