Noname manuscript No. (will be inserted by the editor) High precision astrometry mission for the detection and characterization of nearby habitable planetary systems with the Nearby Earth Astrometric Telescope (NEAT)

First Page		Document Content
Date: 2011-07-19 07:50:36 Space technology Gaia Space Interferometry Mission Astrometry Hipparcos Kepler Extrasolar planet United States Naval Observatory Flagstaff Station Spacecraft Spaceflight Space telescopes		Noname manuscript No. (will be inserted by the editor) High precision astrometry mission for the detection and characterization of nearby habitable planetary systems with the Nearby Earth Astrometric Telescope (NEAT) Add to Reading List Source URL: neat.obs.ujf-grenoble.fr Download Document from Source Website File Size: 2,13 MB Share Document on Facebook

	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract DocID: 1xVj1 - View Document
	Debugging Native Extensions of Dynamic Languages∗ Jacob Kreindl Johannes Kepler University Linz Austria DocID: 1xUgT - View Document
	PDF Document DocID: 1xOCb - View Document
	PDF Document DocID: 1xEUf - View Document
	PDF Document DocID: 1xc99 - View Document