Top 466 philadelphia PDF Book Page 19

book image

Data Integration in the Life Sciences: 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007. Proceedings

Kenneth H. Buetow (auth.), Sarah Cohen-Boulakia, Val Tannen (eds.)
·291 Pages
·2007
·3.769 MB

book image

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (eds.)
·471 Pages
·2012
·4.887 MB