NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science) by Clark Barrett English | 9 Apr. 2017 | ISBN: 3319572873 | 448 Pages | PDF | 19.7 MB
The Birth of NASA: The Work of the Space Task Group, America's First True Space Pioneers (Springer Praxis Books) by Manfred "Dutch" von Ehrenfried English | 7 Apr. 2016 | ISBN: 3319284266 | 376 Pages | EPUB | 5.97 MB
This is the story of the work of the original NASA space pioneers; men and women who were suddenly organized in 1958 from the then National Advisory Committee on Aeronautics (NACA) into the Space Task Group.
The Earth: A Visual Story of Our Amazing Planet Featuring NASA Images by Beth Alesse English | July 6th, 2018 | ISBN: 1682033163 | 128 Pages | EPUB | 245.98 MB
Earth From Space: A Visual Tour is a book with a collection of over 180 gorgeous images compiled from instrument data of NASA and their world-class collaborators. Some of these instruments are sensitive to the visual range of the electromagnetic spectrum. Other instruments record other wavelengths such as ultraviolet and infrared. Colors are assigned to portions of data to make images that portray our Earth with visual imagery.