Computational logic in multi-agent systems : 13th international workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings
edited by Michael Fisher
Springer-Verlag, 2012
eBooks
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
edited by Dimitra Giannakopoulou and Dominique Mery
Springer-Verlag, 2012
eBooks
Static analysis : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings
edited by Antoine Mine and David Schmidt
Springer-Verlag, 2012
eBooks
Experimental algorithms : 11th international symposium, SEA 2012, Bordeaux, France, June 7-9, 2012 : proceedings
edited by Ralf Klasing
Springer-Verlag, 2012
eBooks
Mathematical foundations of computer science 2012 : 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings
edited by Branislav Rovan, Vladimiro Sassone and Peter Widmayer
Springer-Verlag, 2012
eBooks