Top 527 victor ca izales PDF Book Page 20

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

book image

High Performance Computing for Computational Science – VECPAR 2010: 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers

John Shalf, Sudip Dosanjh, John Morrison (auth.), José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes (eds.)
·483 Pages
·2011
·10.69 MB