Welcome to the Kids' Library!

Advances in computers.

San Diego ; London : Academic Press, ©1998. 1998

Advances in computers.

Amsterdam ; Boston : Academic Press, ©2010. 2010

Advances in computers.

Waltham, MA : Academic Press, 2015. 2015

Advances in computers.

Amsterdam : Academic Press is an imprint of Elsevier, 2015. 2015

Advances in computers.

Waltham, MA : Academic Press, 2015. 2015

Advances in computers.

Cambridge, MA : Academic Press, [2019] 2019

Approaches and possible improvements in the area of multibody dynamics modeling

Lips, Kenneth Wayne, 1944-
Clearwater, Fla. : Honeywell Space and Stratgeic Avionics Division ; [Huntsville, Ala.] : National Aeronautics and Space Administration, Marshall Space Flight Center, [1987] 1987

Automated software development workstation phase I, final report

Los Angeles, CA : Inference Corporation ; [Houston, TX] : NASA Johnson Space Center, [1986] 1986

Calibration, quality assurance, and maintenance program for dosimetry equipment and selected radiati

Myska, James C.
Bethesda, Md. : Armed Forces Radiobiology Research Institute, [1996] 1996

Certifiable software applications.

Boulanger, Jean-Louis, author.
London, UK : ISTE Press ; Kidlington, Oxford, UK : Elsevier, 2018. 2018

Data analysis and software support for the Earth radiation budget experiment

Edmonds, W.
Hampton, VA : ST Systems Corporation : National Aeronautics and Space Administration, Langley Research Center, [1987] 1987

A data base and analysis program for shuttle main engine dynamic pressure measurements final report

Coffin, Thomas.
[Huntsville, Ala.] : Wyle Laboratories Scientific Services & Systems Group ; Marshall Space Flight Center, Ala. : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, [1986] 1986

Definition of avionics concepts for a heavy lift cargo vehicle appendix A, final report.

[Huntsville, Ala.] : Marshall Space Flight Center, [1989] 1989

A demonstrative model of a lunar base simulation on a personal computer

[Houston, Tex.? : National Aeronautics and Space Administration, Johnson Space Center?, 1985] 1987

The development of a program analysis environment for Ada

Brown, David B., 1943-
Auburn, Ala. : College of Engineering & Engineering Experiment Station, Auburn University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1989] 1989

A distributed program composition system

Brown, Robert L. (Robert Lloyd)
Moffett Field, CA : Research Institute for Advanced Computer Science, [1989] 1989

Economical graphics display system for flight simulation avionics final report with recommendations.

California Polytechnic State University, San Luis Obispo.
San Luis Obispo, CA : California Polytechnic State University ; [Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center ; Springfield, VA : For sale by the National Technical Information Service, 1990?] 1990

An empirical study of flight control software reliability

Dunham, Janet R.
Research Triangle Park, N.C. : Software Research and Development Center for Digital Systems Research, Research Triangle Institute ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1986] 1986

Enhancement/upgrade of Engine Structures Technology Best Estimator (EST/BEST) software system

Shah, Ashwin.
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, [2003] 2003

Environment modeling-based requirements engineering for software intensive systems.

Jin, Zhi, 1962- author.
San Francisco : Elsevier Science, 2016. 2016

Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuverin

Rushby, John, 1949-
Menlo Park, Calif. : SRI International ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1990] 1990

Fast causal multicast

Birman, Kenneth P.
[Washington, D.C. : National Aeronautics and Space Administration, 1990] 1990

Final report for an expert system based software sizing tool, phase II

Friedlander, David.
[Goleta, Calif. : MCR Technology, Inc. ; Pasadena, Calif. : Jet Propulsion Laboratory, 1990?] 1990

Final technical report, National Aeronautics and Space Administration grant NSG-7453

Whitmore, Roy A.
Washington, D.C. : National Aeronautics and Space Administration, [1987?] 1987

GRC GSFC TDRSS waveform metrics report

Mortensen, Dale J., author.
Cleveland, Ohio : National Aeronautics and Space Administration, Glenn Research Center, [2013] 2013

Ground software maintenance facility (GSMF) system manual final report

Derrig, D.
Huntsville, Ala. : TRW Huntsville Operations ; [Washington, D.C. : National Aeronautics and Space Administration], [1986] 1986

Ground systems development environment (GSDE) interface requirements analysis final report

[Houston, Tex.] : NASA Johnson Space Center, Mission Operations Directorate, Space Station Ground Systems Division : Research Institute for Computing and Information Systems, University of Houston--Clear Lake, [1991] 1991

Integrated research in constitutive modelling at elevated temperatures

Haisler, Walter E.
College Station, Tex. : Aerospace Engineering Dept., Texas A&M University ; [Cleveland, Ohio : NASA Lewis Research Center , 1986] 1986

Integrating automated support for a software management cycle into the TAME system

Sunazuka, Toshihiko.
College Park, Md. : University of Maryland, [1989] 1989

Investigation into the development of computer aided design software for space based sensors final r

Pender, C. W.
Manchester, TN : Tennessee Space Laboratories, Inc. ; Greenbelt, MD : NASA/Goddard Space Flight Center, [1987] 1987

Maintenance=reuse-oriented software development

Basili, Victor R.
College Park, Md. : University of Maryland, [1989] 1989

Medical device software verification, validation and compliance

Vogel, David A., author.
Boston : Artech House, ©2011. 2011

Models and metrics for software management and engineering

Basili, Victor R., 1940- author.
College Park, Maryland : University of Maryland, [1988] 1982-

NASA software engineering benchmarking study

Rarick, Heather L., author.
Washington, DC : National Aeronautics and Space Administration, 2013. 2013

NASA Workshop on Computational Structural Mechanics 1987 proceedings of a workshop

NASA Workshop on Computational Structural Mechanics (1987 : Langley Research Center)
[Washington, D.C.] : National Aeronautics and Space Administration ; [Springfield, Va. : for sale by the National Technical Information Service, 1989] 1989

NDARC NASA Design and Analysis of Rotorcraft

Johnson, Wayne, 1946-
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center, [2009] 2009

Perspectives on data science for software engineering

Cambridge, MA : Morgan Kaufmann is an imprint of Elsevier, 2016. 2016

Plasma and magnetospheric research quarterly progress report : July-September 1985

Comfort, Richard H.
Huntsville, Ala. : University of Alabama in Huntsville, School of Science ; Marshall Space Flight Center, Ala. : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, [1985] 1985

Requirements for multidisciplinary design of aerospace vehicles on high performance computers

Voigt, Robert G.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989] 1989

Research study atmospheric electricity : final report.

Huntsville, AL : Universities Space Research Association ; Marshall Space Flight Center, AL : The George C. Marshall Space Flight Center, [1987] 1987

Safety assurance in NextGen

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2012] 2012

Sharing data and models in software engineering

Waltham, Massachusetts : Morgan Kaufmann, [2015] 2015

Software architecture for big data and the cloud

Cambridge, MA : Morgan Kaufmann, [2017] 2017

Software design for engineers and scientists

Robinson, John A.
Amsterdam ; Boston : Newnes, 2004. 2004

Software engineering : architecture-driven software development

Schmidt, Richard F. (Richard Francis), 1956-
Waltham, MA : Morgan Kaufmann, an imprint of Elsevier, 2013. 2013

Software engineering for embedded systems : methods, practical techniques, and applications

Oshana, Robert, author.
Kidlington, Oxford, United Kingdom : Newnes, [2019] 2019

Software engineering for embedded systems : methods, practical techniques, and applications

Amsterdam : Newnes, 2013. 2013

Software engineering : methods and management

San Diego : Academic Press, ©2001. 2001

Space station Mission Planning System (MPS) development study final report

Klus, W. J.
Huntsville, AL : McDonnell Douglas Astronautics Company, Huntsville Division : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, [1987] 1987

Spectrum orbit utilization program technical manual SOUP5 version 3.8

Silver Spring, Md. : ORI, [1984] 1984