Search alternatives:
nasa » nash

1
Published 2016
Springer International Publishing
...This is the story of the work of the original NASA space pioneers; men and women who were suddenly...

2
Published 2014
Springer International Publishing
...This book constitutes the refereed proceedings of the 6th International Symposium on NASA Formal...

3
Published 2019
Springer International Publishing
...This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods...

4
Published 2018
Springer International Publishing
...This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods...

5
Published 2022
Springer International Publishing
...This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods...

6
Published 2013
Springer Berlin Heidelberg
...This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal...

7
Published 2020
Springer International Publishing
...This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods...

8
Published 2021
Springer International Publishing
...This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods...

9
by Evans, Ben
Published 2022
Springer International Publishing

10
Published 2023
Springer Nature Switzerland
...This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods...

11
Published 2024
Springer Nature Switzerland
... on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together...

12
by David, Shayler, Burgess, Colin
Published 2007
Praxis
... of expanding the role of astronauts to conduct science on future space missions led to NASA’s conclusion...

13
by Harland, David M.
Published 2009
Springer New York
... philosophers, astronomers, and geologists, and how NASA set out to investigate the Moon in preparation for a...

14
Published 2017
Springer International Publishing
...This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods...

15
Published 2015
Springer International Publishing
...This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal...

16
Published 2016
Springer International Publishing
...This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods...

17
Published 2011
Springer Berlin Heidelberg
...This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal...

18
Published 2012
Springer Berlin Heidelberg
...This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal...

19
by Lambright, W. Henry
Published 2023
Palgrave Macmillan
Table of Contents: ... -- Consolidation -- Extending TOPEX/Poseidon -- GRACE -- Lindstrom -- Defending NASA -- From Townsend to Asrar -- 6...

20
by Williams, Dave, Howell, Elizabeth
Published 2021
Tantor Media, Inc.
... and discovery. Leadership Moments from NASA delves into the organizational culture, leadership styles...