<--- Back to Details
First PageDocument Content
Planemos / Galileo / Spaceflight / Cosmic dust / Mass spectrometry / Io / Ganymede / Time-of-flight mass spectrometry / Cassini–Huygens / Astronomy / Space / Moons of Jupiter
Date: 2006-10-27 13:26:25
Planemos
Galileo
Spaceflight
Cosmic dust
Mass spectrometry
Io
Ganymede
Time-of-flight mass spectrometry
Cassini–Huygens
Astronomy
Space
Moons of Jupiter

doi:[removed]j.icarus[removed]

Add to Reading List

Source URL: web.gps.caltech.edu

Download Document from Source Website

File Size: 701,06 KB

Share Document on Facebook

Similar Documents

Economy / Payment systems / Money / Financial services / Debit card / Token coin / Security token / Gram / Credit card

http://cryptostripinc.com http://exoticcoin.io WHITE PAPER 2018

DocID: 1xW2Z - View Document

Academic publishing / Publishing / Identifiers / Information science / Knowledge / Technical communication / Electronic documents / Index / DataCite / Initiative for Open Citations / Crossref / Digital object identifier

DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE

DocID: 1xW23 - View Document

Software development / Computing / Debugging / Aspect-oriented software development / Aspect-oriented programming / Delta debugging / Extreme programming / Software testing / Debugger / Software bug / AspectJ / Spring Framework

Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China

DocID: 1xW1R - View Document

Logic / Mathematical logic / Abstraction / Formal languages / Syntax / Formal systems / Proof assistants / Type theory / Metamath / Formal proof / Theory / OMDoc

Alignment-based Translations Across Formal Systems Using Interface Theories Dennis M¨uller Colin Rothgang

DocID: 1xW1M - View Document

Automated Documentation Inference to Explain Failed Tests Sai Zhang1 Cheng Zhang2

DocID: 1xW1K - View Document