Rajeev Joshi, editor
Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 Philadelphia, PA, USA, January 28-29, 2012 : proceedings
Springer-Verlag, 2012
 eBooks
Verification, model checking, and abstract interpretation : 13th international conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 : proceedings
edited by Viktor Kuncak, Andrey Rybalchenko
Springer-Verlag, 2012
 eBooks
Russo, Claudio, editor
Practical aspects of declarative languages: 14th international symposium, PADL 2012 Philadelphia, PA, USA, January 23-24, 2012 : proceedings
Springer-Verlag, 2012
 eBooks
Olivier Bodenreider, editor
Data integration in the life sciences : 8th international conference, DILS 2012, College Park, MD, USA, June 28-29, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Theory and practice of model transformations : 5th international conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings
edited by Zhenjiang Hu, Juan de Lara
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>