Top 1200 kyle ca PDF Book Page 38

book image

Computer Aided Verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Wolfgang Thomas (auth.), P. Madhusudan, Sanjit A. Seshia (eds.)
·804 Pages
·2012
·10.947 MB

book image

Multiple Classifier Systems: 6th International Workshop, MCS 2005, Seaside, CA, USA, June 13-15, 2005. Proceedings

Fabio Roli (auth.), Nikunj C. Oza, Robi Polikar, Josef Kittler, Fabio Roli (eds.)
·439 Pages
·2005
·9.077 MB

book image

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
·351 Pages
·2008
·7.536 MB

book image

Algorithms and Models for the Web-Graph: 5th International Workshop, WAW 2007, San Diego, CA, USA, December 11-12, 2007. Proceedings

Abraham D. Flaxman, Juan Vera (auth.), Anthony Bonato, Fan R. K. Chung (eds.)
·225 Pages
·2007
·6.228 MB

book image

Advances in Spatial and Temporal Databases: 7th International Symposium, SSTD 2001 Redondo Beach, CA, USA, July 12–15, 2001 Proceedings

Jianwen Su, Haiyan Xu, Oscar H. Ibarra (auth.), Christian S. Jensen, Markus Schneider, Bernhard Seeger, Vassilis J. Tsotras (eds.)
·531 Pages
·2001
·5.936 MB

book image

Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 3-6, 2004. Proceedings

Ahmed Abd El Al, Chitra Venkatramani, Tarek Saadawi, Myung Lee (auth.), John Vicente, David Hutchison (eds.)
·347 Pages
·2004
·6.1 MB

book image

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2005: 8th International Conference, Palm Springs, CA, USA, October 26-29, 2005, Proceedings, Part II

Hua Zhong, Takeo Kanade, David Schwartzman (auth.), James S. Duncan, Guido Gerig (eds.)
·1057 Pages
·2005
·32.918 MB

1
373839
50