6,772 books
Batch Proving and Proof Scripting in PVS
Concurrent Mission and Systems Design at NASA Glenn Research Center
Information Extraction for System-Software Safety Analysis
Flame Radiation, Structure, and Scalar Properties in Microgravity Laminar Fires
Adsorption of Water on Simulated Moon Dust Samples
Hypersonic Vehicle Propulsion System Control Model Development Roadmap and Activities
Basis Function Approximation of Transonic Aerodynamic Influence Coefficient Matrix
Test Results from a Simulated High-Voltage Lunar Power Transmission Line
Thermal Performance of High Temperature Titanium-Water Heat Pipes by Multiple Heat Pipe Manufacturers
Problems with Deployment of Multi-Domained, Multi-Homed Mobile Networks
Build-Up Approach to Updating the Mock Quiet Spike(tm)Beam Model
Comparison of Nonlinear Filtering Techniques for Lunar Surface Roving Navigation
NASA Global Hawk
Low Noise Cruise Efficient Short Take-Off and Landing Transport Vehicle Study
System Concepts for Affordable Fission Surface Power
Computational Analysis of a Low-Boom Supersonic Inlet
Unsteady Aerodynamic Model Tuning for Precise Flutter Prediction
Predicted and Measured Modal Sound Power Levels for a Fan Ingesting Distorted Inflow
Atmospheric and Soil Carbon and Halophytes
The Effect of Magnetohydrodynamic (Mhd) Energy Bypass on Specific Thrust for a Supersonic Turbojet Engine
A Simplified Model for Detonation Based Pressure-Gain Combustors
Capability Description for Nasa's F/A-18 TN 853 as a Testbed for the Integrated Resilient Aircraft Control Project
Statistical Analysis of a Large Sample Size Pyroshock Test Data Set Including Post Flight Data Assessment. Revision 1
Method for Standardizing Sonic-Boom Model Pressure Signatures Measured at Several Wind-Tunnel Facilities