Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
Springer-Verlag, 2012
 eBooks
Anthony Bonato, editor
Algorithms and models for the web graph : 9th international workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Martin Charles Golumbic, editor
Graph-theoretic concepts in computer science: 38th international workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012 : revised selected papers
Springer, 2012
 eBooks
Marco Bernardo, editor
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012, advanced lectures
[, Springer-Verlag], 2012
 eBooks
Impact analysis of solutions for chronic disease prevention and management : 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artimino, Italy, June 12-15, 2012, proceedings
editor, Mark Donnelly
Springer-Verlag, 2012
 eBooks
<<   2 3 4   >>