Top 632 va PDF Book Page 24

book image

Information Processing in Medical Imaging: 21st International Conference, IPMI 2009, Williamsburg, VA, USA, July 5-10, 2009. Proceedings

Maxime Descoteaux, Rachid Deriche, Denis Le Bihan, Jean-François Mangin, Cyril Poupon (auth.), Jerry L. Prince, Dzung L. Pham, Kyle J. Myers (eds.)
·743 Pages
·2009
·136.967 MB

book image

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)
·357 Pages
·2002
·2.49 MB

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