Kepler and the Search for Life in Our Galaxy

First Page		Document Content
Date: 2015-02-08 11:35:17 Exoplanetology Kepler Extrasolar planet Methods of detecting extrasolar planets Habitable zone Planet Terrestrial planet Binary star Transit of Venus Astronomy Planetary science Space		Kepler and the Search for Life in Our Galaxy Add to Reading List Source URL: phys.org Download Document from Source Website File Size: 47,20 KB 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