CONTENTS List of Figures xi

First Page		Document Content
Date: 2011-04-20 12:51:50 Natural philosophers Philosophers of science Anglican saints Astrobiology Space Johannes Kepler Extraterrestrial life Galileo Galilei University of Notre Dame Press Science Astronomy Astronomers		CONTENTS List of Figures xi Add to Reading List Source URL: www3.undpress.nd.edu Download Document from Source Website File Size: 927,78 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
	nformatik-Kolloquium The Department of Computer Science of Johannes Kepler University Linz 1 together with the Austrian Society of Computer Science (ÖGI) invites to the following talk: Sebastian Gabmeyer Technical Unive DocID: 1vr3c - View Document
	A. Univ.-Prof. Mag. phil. Dr. rer.nat. Rainer Born Institut für Philosophie und Wissenschaftstheorie Johannes-Kepler-Universität/Linz A-4040 Linz-Auhof, Austria Curriculum Vitae DocID: 1vkt5 - View Document
	DEMOGRAPHIC IMPACT OF VIOLENCE Authors: MARINA ANDRIJEVIC, HUMBOLDT UNIVERSITY IN BERLIN JAKUB GÁBOR, COMENIUS UNIVERSITY IN BRATISLAVA CONSTANZA GINESTRA, JOHANNES KEPLER UNIVERSITY LINZ DocID: 1uV78 - View Document