Dimitra Giannakopoulou, editor
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
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
Web services and formal methods : 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers
edited by Marco Carbone, Jean-Marc Petit
Springer-Verlag, 2012
 eBooks
Paris Avgeriou, editor
Software engineering for resilient systems : 4th international workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings
[Springer-Verlag , ], 2012
 eBooks
Resource discovery : third international workshop, RED 2010 Paris, France, November 5, 2010 : revised selected papers
editors, Zoe Lacroix, Maria Esther Vidal
Springer-Verlag, 2012
 eBooks