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
Yukiko Nakano, editor
Intelligent virtual agents : 12th international conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks