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
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
Leonidas Bleris, editor
Bioinformatics research and applications : 8th international symposium, ISBRA 2012, Dallas, TX, USA, May 21-23, 2012 : proceedings
[, Springer-Verlag], 2012
 eBooks
Goodloe, Alwyn E., editor
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
[Springer-Verlag, ], 2012
 eBooks
<<   1 2 3   >>