Marielle Stoelinga, editor
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
[, Springer-Verlag ], 2012
 eBooks
Antonis Bikakis, editor
Rules on the web : research and applications : 6th international symposium, RuleML 2012, Montpellier, France, August 27-29, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
Programming multi-agent systems : 8th International workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 revised selected papers
editors, Rem Collier, Jurgen Dix, Peter Novak
Springer-Verlag, 2012
 eBooks
Programming multi-agent systems : 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers
editors, Louise Dennis, Olivier Boissier, Rafael H. Bordini
Springer-Verlag, 2012
 eBooks
Argumentation in multi-agent systems : 8th international workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers
editors, Peter McBurney, Simon Parsons, Iyad Rahwan
Springer-Verlag, 2012
 eBooks