Top 387 ca callahan PDF Book Page 14

book image

DNA Computing and Molecular Programming: 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori (auth.), Luca Cardelli, William Shih (eds.)
·226 Pages
·2011
·5.678 MB

book image

Power-Aware Computer Systems: Third International Workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 Revised Papers

Yao Guo, Saurabh Chheda, Csaba Andras Moritz (auth.), Babak Falsafi, T. N. VijayKumar (eds.)
·223 Pages
·2005
·3.935 MB

book image

Information Hiding: 10th International Workshop, IH 2008, Santa Barbara, CA, USA, May 19-21, 2008, Revised Selected Papers

Takashi Watanabe, Hiroto Nagayoshi, Hiroshi Sako (auth.), Kaushal Solanki, Kenneth Sullivan, Upamanyu Madhow (eds.)
·381 Pages
·2008
·13.002 MB

book image

Intelligent Virtual Agents: 6th International Conference, IVA 2006, Marina Del Rey, CA, USA, August 21-23, 2006. Proceedings

H. C. van Vugt, E. A. Konijn, J. F. Hoorn, J. Veldhuis (auth.), Jonathan Gratch, Michael Young, Ruth Aylett, Daniel Ballin, Patrick Olivier (eds.)
·484 Pages
·2006
·12.236 MB

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