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
Latent variable analysis and signal separation : 10th international conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings
edited by Fabian Theis
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
Software engineering and formal methods : 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings
edited by George Eleftherakis, Mike Hinchey, Mike Holcombe
Springer-Verlag, 2012
 eBooks
Passive and active measurement : 13th international conference, PAM 2012, Vienna, Austria, March 12-14, 2012 : proceedings
edited by Nina Taft, Fabio Ricciato
Springer-Verlag, 2012
 eBooks
<<   1 2 3   >>