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
Yun Qing Shi, editor
Digital-forensics and watermarking : 10th international workshop, IWDW 2011, Atlantic City, NJ, USA, October 23-26, 2011 : revised selected papers
[, Springer-Verlag ], 2012
 eBooks
Agents and data mining interaction : 7th international workshop, ADMI 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers
editor, Longbing Cao
Springer-Verlag, 2012
 eBooks
Theory and applications of formal argumentation : first international workshop, TAFA 2011, Barcelona, Spain, July 16-17, 2011 : revised selected papers
edited by Sanjay Modgil, Nir Oren, Francesca Toni
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
<<   5 6 7   >>