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
Monica Palmirani, editor
AI approaches to the complexity of legal systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents : International Workshop AICOL-III, held as part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011 : revised selected papers
Springer-Verlag, 2012
 eBooks
Statistical atlases and computational models of the heart : imaging and modelling challenges : second international workshop, STACOM 201, held in conjunction with MICCAI 2011, Toronto, ON, Canada, September 22, 2011 : revised selected papers
edited by Oscar Camara
Springer-Verlag, 2012
 eBooks
Green communications and networking : first international conference, GreeNets 2011, Colmar, France, October 5-7, 2011 : revised selected papers
Joel J.P.C. Rodrigues
[;Springer, Springer], 2012
 eBooks
Wireless internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, revised selected papers
edited by Pinyi Ren
Springer, 2012
 eBooks