<--- Back to Details
First PageDocument Content
TI-Nspire series / International Space Station / Cartesian coordinate system / Astronaut / Translation / Advanced Crew Escape Suit / Transformation / Spaceflight / Human spaceflight / Space suit
Date: 2013-04-30 20:30:33
TI-Nspire series
International Space Station
Cartesian coordinate system
Astronaut
Translation
Advanced Crew Escape Suit
Transformation
Spaceflight
Human spaceflight
Space suit

Exploring Space Through Math - Student Edition

Add to Reading List

Source URL: www.nasa.gov

Download Document from Source Website

File Size: 196,32 KB

Share Document on Facebook

Similar Documents

Formal methods / Theoretical computer science / Software engineering / Logic in computer science / Software development / Semigroup action / Refinement / Predicate transformer semantics / Program transformation / Postcondition / Finite-state machine / Formal verification

Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA

DocID: 1xW2y - View Document

vaud.digital​, la plateforme de référence pour les acteurs de la transformation digitale du canton de Vaud Critères d’éligibilité ​(juin 2018) ● Entités (accélérateurs, instituts de recherche, grandes ent

DocID: 1xVVt - View Document

KONFERENZREIHE DIGITALE TRANSFORMATION FINTECH 2018 PARADIGMENWECHSEL OPEN BANKING 15. März 2018

DocID: 1xUCF - View Document

Mathematics / Theoretical computer science / Elementary mathematics / Compiler optimizations / Static single assignment form / Logic programming / Scope / Unification / Term / FO / Variable / Singular spectrum analysis

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

DocID: 1xUvR - View Document

Mathematical logic / Mathematics / Logic / Type theory / Model theory / Hierarchy / Interpretation / Axiom / Sheaf / Theory / Implementation of mathematics in set theory / ZermeloFraenkel set theory

Dtre|A Semi-Automatic Transformation System Lee Blaine and Allen Goldberg Kestrel Institute, 3260 Hillview Avenue, Palo Alto, California 94304, USA Abstract

DocID: 1xUre - View Document