Top 1200 jes s ca adas ca adas PDF Book Page 8

book image

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
·545 Pages
·2011
·7.886 MB

book image

Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)
·285 Pages
·2013
·3.859 MB

book image

Planetary Diagrams for Roman Astronomy in Medieval Europe, ca. 800–1500

Bruce Eastwood, Gerd Graßhoff
·174 Pages
·2004
·16.697 MB

book image

Trade Beads and Bead Trade in Scandinavia, ca 800-1000 AD

Johan Callmer
·260 Pages
·1977
·40.801 MB

book image

A history of the ancient Near East, ca. 3000-323 BC

Van De Mieroop, Marc
·437 Pages
·2016
·8.432 MB

book image

A Significant Season: Cai Yong (Ca. 133-192) and His Contemporaries

Mark Laurent Asselin
·496 Pages
·2010
·26.961 MB

book image

The Age of the Dromon: The Byzantine Navy ca 500-1204

Pryor J. H., Jeffreys E. M.
·839 Pages
·2006
·19.065 MB

book image

Physical Properties of Ternary Amorphous Alloys. Part 1: Systems from Ag-Al-Ca to Au-Pd-Si

U. Carow-Watamura, D. V. Louzguine (auth.), Y. Kawazoe, U. Carow-Watamura, J.-Z. Yu (eds.)
·409 Pages
·2011
·8.334 MB

1
789
50