Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings, part I
edited by Tiziana Margaria, Bernhard Steffen
Springer, 2012
 eBooks
Tiziana Margaria, editor
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 5th international symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings, part II
[, Springer-Verlag], 2012
 eBooks
Reiner Haehnle, editor
Leveraging applications of formal methods, verification, and validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011 : revised selected papers
Springer, 2012
 eBooks
Advances in visual computing : 8th international symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012 ; revised selected papers, part I
edited by George Bebis
Springer-Verlag, 2012
 eBooks
Advances in visual computing : 8th international symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012 ; revised selected papers, part II
edited by George Bebis
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>