Top 404 pa PDF Book Page 15

book image

Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Wolfgang Paul (auth.), Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)
·335 Pages
·2012
·5.947 MB

book image

Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Boon Thau Loo, Harjot Gill, Changbin Liu (auth.), Claudio Russo, Neng-Fa Zhou (eds.)
·313 Pages
·2012
·3.575 MB

book image

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Neil D. Jones, Arne J. Glenstrup (auth.), Don Batory, Charles Consel, Walid Taha (eds.)
·344 Pages
·2002
·5.681 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

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

Cardiac Arrhythmias: New Therapeutic Drugs and Devices: Proceedings of the Symposium on New Drugs and Devices, held at Philadelphia, PA October 4 and 5, 1984

E. Neil Moore D.V.M., Ph.D., Joseph F. Spear Ph.D. (auth.), Joel Morganroth, E. Neil Moore (eds.)
·358 Pages
·1985
·7.858 MB

book image

The Semantic Web - ISWC 2015: 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I

Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Krishnaprasad Thirunarayan, Steffen Staab (eds.)
·685 Pages
·2015
·29.68 MB

book image

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2000: Third International Conference, Pittsburgh, PA, USA, October 11-14, 2000. Proceedings

K. W. Finnis, Y. P. Starreveld, A. G. Parrent, T. M. Peters (auth.), Scott L. Delp, Anthony M. DiGoia, Branislav Jaramaz (eds.)
·1274 Pages
·2000
·40.764 MB

book image

Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002 Malvern, PA, USA, October 14–16, 2002 Proceedings

Zdzisław Pawlak (auth.), James J. Alpigini, James F. Peters, Andrzej Skowron, Ning Zhong (eds.)
·653 Pages
·2002
·8.29 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.