Jorg Kienzle, editor
Models in software engineering : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers
[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
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
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
<<   1 2 3   >>