<--- Back to Details
First PageDocument Content
Exoplanetology / Planetary systems / Kepler mission / Lyra constellation / Extrasolar planets / Kepler / GSC 03549-02811 / Trans-Atlantic Exoplanet Survey / TrES-1b / Astronomy / Planetary science / Space
Date: 2008-09-12 17:23:51
Exoplanetology
Planetary systems
Kepler mission
Lyra constellation
Extrasolar planets
Kepler
GSC 03549-02811
Trans-Atlantic Exoplanet Survey
TrES-1b
Astronomy
Planetary science
Space

Origins of Life in the Universe

Add to Reading List

Source URL: nexsci.caltech.edu

Download Document from Source Website

File Size: 2,61 MB

Share Document on Facebook

Similar Documents

Software testing / Theoretical computer science / Software engineering / Satisfiability modulo theories / Solver / Test automation / Fuzzing / Application programming interface / Model-based testing / API testing

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

Computer programming / Software engineering / Computing / Debugging / Integrated development environments / Object-oriented programming languages / Scripting languages / Cross-platform software / LLVM / Debugger / Wing IDE / Clang

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