Top 381 ca nguyen PDF Book Page 14

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

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

book image

Persuasive Technology: Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007, Revised Selected Papers

Timothy Bickmore, Daniel Mauer, Francisco Crespo, Thomas Brown (auth.), Yvonne de Kort, Wijnand IJsselsteijn, Cees Midden, Berry Eggen, B. J. Fogg (eds.)
·327 Pages
·2007
·16.175 MB