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
Margaria, Tiziana, 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
Jaakko Hollmén, editor
Advances in intelligent data analysis XI : 11th international symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012 : proceedings
Springer-Verlag, 2012
eBooks
Distributed computing : 26th international symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012 : proceedings
edited by Marcos K. Aguilera
Springer-Verlag , 2012
eBooks
Stabilization, safety, and security of distributed systems : 14th international symposium, SSS 2012, Toronto, Canada, October 1-4, 2012 : proceedings
edited by Andrea W. Richa, Christian Scheideler
Springer-Verlag , 2012
eBooks