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
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
Zhenhua Li, editor
Computational intelligence and intelligent systems : 6th international symposium, ISICA 2012, Wuhan, China, October 27-28, 2012 : proceedings
Springer-Verlag, 2012
eBooks
Algorithmic game theory : 5th international symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012 : proceedings
edited by Maria Serna
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