Top 735 diego cube PDF Book Page 24

book image

Sensor Systems and Software: Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers

Marius Marcu, Cristina Stangaciu, Alexandru Topirceanu, Daniel Volcinschi (auth.), Gerard Par, Philip Morrow (eds.)
·262 Pages
·2011
·5.485 MB

book image

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)
·507 Pages
·2014
·8.219 MB

1
232425
31