<--- Back to Details
First PageDocument Content
Exoplanetology / Mountain View / California / Space telescopes / NASA personnel / Ames Research Center / Kepler / Pete Worden / NASA / Science Mission Directorate / Spaceflight / Spacecraft / Space
Date: 2015-01-21 19:53:35
Exoplanetology
Mountain View
California
Space telescopes
NASA personnel
Ames Research Center
Kepler
Pete Worden
NASA
Science Mission Directorate
Spaceflight
Spacecraft
Space

Orion Exploration Flight Test

Add to Reading List

Source URL: www.nasa.gov

Download Document from Source Website

File Size: 3,11 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