Agents and peer-to-peer computing : 7th international workshop, AP2PC 2008 Estoril, Portugal, May 13, 2008 and 8th international workshop, AP2PC 2009, Budapest, Hungary, May 11, 2009 : revised selected papers
editor, Domenico Beneventano
Springer-Verlag, 2012
 eBooks
Computational intelligence: revised and selected papers of the International Joint Conference, IJCCI 2010, Valencia, Spain, October 2010
Kurosh Madani, Antonio Dourado Correia, Agostinho Rosa, Joaquim Filipe, editors
Springer, 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
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
Formal verification of object-oriented software : international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers
edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
[;Springer-Verlag, Springer-Verlag], 2012
 eBooks
<<   1 2 3   >>