Stem rocket$ (all stems)

4 papers:

KDD-2015-John #big data #case study #how

How Artificial Intelligence and Big Data Created Rocket Fuel: A Case Study (GJ), p. 1629.

ITiCSE-2008-Boyle

Neither rocket science nor washing machine science, but computer science (RDB), pp. 5–6.

TACAS-2008-Moskal #proving #smt

Rocket-Fast Proof Checking for SMT Solvers (MM), pp. 486–500.

DAC-1969-BoehmLMR #analysis #interactive

Interactive trajectory analysis: the graphic rocket system (BWB, VRL, RLM, JER), pp. 205–232.