Top 810 francisco canete ca ete PDF Book Page 31

book image

Information Processing in Medical Imaging: 23rd International Conference, IPMI 2013, Asilomar, CA, USA, June 28–July 3, 2013. Proceedings

Chenhui Hu, Lin Cheng, Jorge Sepulcre, Georges El Fakhri, Yue M. Lu, Quanzheng Li (auth.), James C. Gee, Sarang Joshi, Kilian M. Pohl, William M. Wells, Lilla Zöllei (eds.)
·802 Pages
·2013
·88.148 MB

book image

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John Penix, Willem Visser (eds.)
·352 Pages
·2000
·2.805 MB

book image

Implementation and Applications of Automata: 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

Markus Holzer, Martin Kutrib (auth.), Oscar H. Ibarra, Bala Ravikumar (eds.)
·299 Pages
·2008
·5.776 MB

book image

Proceedings of the 17th International Conference on the Physics of Semiconductors: San Francisco, California, USA August 6–10, 1984

G. Binnig, H. Rohrer (auth.), James D. Chadi, Walter A. Harrison (eds.)
·1580 Pages
·1985
·51.255 MB

book image

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
·332 Pages
·2008
·6.011 MB

book image

Reconfigurable Computing: Architectures, Tools and Applications: 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings

Thomas C. P. Chau, Xinyu Niu, Alison Eele, Wayne Luk, Peter Y. K. Cheung (auth.), Philip Brisk, José Gabriel de Figueiredo Coutinho, Pedro C. Diniz (eds.)
·253 Pages
·2013
·9.612 MB

book image

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
·536 Pages
·1998
·4.137 MB