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
Business process management workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers, part II
edited by Florian Daniel, Kamel Barkaoui, Schahram Dustdar
Springer-Verlag, 2012
 eBooks
Business process management workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011 : revised selected papers, part I
edited by Florian Daniel, Kamel Barkaoui, Schahram Dustdar
Springer-Verlag, 2012
 eBooks
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers
edited by Gilles Barthe, Anupam Datta, Sandro Etalle
Springer-Verlag, 2012
 eBooks
Approximation and online algorithms : 9th international workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011 : revised selected papers
edited by Roberto Solis-Oba, Giuseppe Persiano
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>