Advanced Search
Now showing items 261-270 of 645
Gradual Certified Programming in Coq
(Assoc Computing Machinery, 2016)
Variability in the CO ro-vibrational lines from HD163296
(Oxford Univ Press, 2016)
Evolving into a remnant: optical observations of SN 1978K at three decades
(Oxford Univ Press, 2016)
Study of a bright-rimmed cloud at the border of the infrared dust bubble CN20
(Oxford Univ Press, 2016)