Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Alternate Subjects (1-13 of 13)
Specifications
1
ElectronicResource GovDoc
 

Attitude Determination Error Analysis System (ADEAS) mathematical specification document


Nicholson, M.
[Greenbelt, Md.] : Goddard Space Flight Center, [1988?] 1988

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:189281    ---  Available
2
ElectronicResource GovDoc
 

Automated verification of specifications with typestates and access permissions


Siminiceanu, Radu I.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] 2011

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2011-217170    ---  Available
3
ElectronicResource GovDoc
 

Development of a qualification standard for adhesives used in hybrid microcircuits


Licari, James J., 1930-
[Huntsville], Ala. : National Aeronautics and Space Administration, George C. Marshall Space Flight Center, [1981] 1981

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:161978    ---  Available
4
ElectronicResource GovDoc
 

Gamma Ray Observatory (GRO) dynamics simulator requirements and mathematical specifications.


Harman, R.
Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, Flight Dynamics Division, [1990] 1990

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:183465    ---  Available
5
ElectronicResource GovDoc
 

IAPSA II small-scale system specification


Cohen, G. C. (Gerald C.)
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:182006    ---  Available
6
ElectronicResource GovDoc
 

IRDS prototyping with applications to the representation of EA/RA models


Lekkos, Anthony A.
[Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston--Clear Lake, [1988] 1988

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:186066    ---  Available
7
ElectronicResource GovDoc
 

A logical process calculus


Cleaveland, Rance.
Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center ; [Springfield, VA : For sale by the National Technical Information Service, 2002] 2001

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:211759    ---  Available
8
ElectronicResource GovDoc
 

Maximum temperature calculation and operational characteristics of fuel follower control rods for th


Forsbacka, M.
Bethesda, Md. : Defense Nuclear Agency, Armed Forces Radiobiology Research Institute, [1991] 1991

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  D 15.12/2:91-1    ---  Available
9
ElectronicResource GovDoc
 

NASA/MSFC large stretch press study



[Seattle, Wash.?] : Boeing Aerospace Company ; [Huntsville, Ala.?] : National Aeronautics and Space Administration, Marshall Space Flight Center, [1987] 1987

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:171548    ---  Available
10
ElectronicResource GovDoc
 

Outline for reusable reentry satellite system specification volumes 1 - volume 9



Torrance, Calif. : Science Applications International Corporation ; Houston, Tex. : National Aeronautics and Space Administration, Lyndon B. Johnson Space Center, [1989] 1989

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:185958    ---  Available
11
ElectronicResource GovDoc
 

Report on the formal specification and partial verification of the VIPER microprocessor


Brock, Bishop.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Austin, Texas : Computational Logic, Inc., [1991] 1991

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:187540    ---  Available
12
ElectronicResource GovDoc
 

Software requirements guidance and control software development specification



Research Triangle Park, N.C. : Research Triangle Institute ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990] 1990

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:182058    ---  Available
13
ElectronicResource GovDoc
 

A summary of unmanned aircraft accident/incident data : human factors implications


Williams, Kevin W.
Washington, DC : U.S. Dept. of Transportation, Federal Aviation Administration, Office of Aerospace Medicine, [2004] 2004

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  TD 4.210:04/24    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only