Top 1154 shao ca PDF Book Page 34

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

Baghdad and Isfahan: A Dialogue of Two Cities in an Age of Science ca. 750–1750

Elaheh Kheirandish [Kheirandish, Elaheh]
·2021
·16.1123 MB

book image

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.)
·466 Pages
·2015
·11.76 MB

book image

El "yngenio" en palacio: arte y ciencia en la corte de los Austrias (ca. 1585-1640)

Margarita Ana Vázquez Manassero
·331 Pages
·2018
·9.708 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

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

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

1
333435
49