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