Top 1133 ca marell PDF Book Page 33

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

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

1
323334
48