Automated technology for verification and analysis : 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings
edited by Supratik Chakraborty, Madhavan Mukund
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
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
Progress in VLSI design and test : 16th international symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceeding
edited by Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay
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
<<   1 2 3   >>