<--- Back to Details
First PageDocument Content
Automated Transfer Vehicle / Progress spacecraft / Johannes Kepler / Johannes Kepler ATV / Progress / Ariane 5 / International Space Station / Videometer / Jules Verne ATV / Spaceflight / Spacecraft / European Space Agency
Date: 2011-01-31 07:05:30
Automated Transfer Vehicle
Progress spacecraft
Johannes Kepler
Johannes Kepler ATV
Progress
Ariane 5
International Space Station
Videometer
Jules Verne ATV
Spaceflight
Spacecraft
European Space Agency

Add to Reading List

Source URL: download.esa.int

Download Document from Source Website

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

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