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-8 of 8)
Computer Techniques
1
E-Books/E-Docs
 

The ARPANET after twenty years


Denning, Peter J., 1942-
[Moffett Field, Calif.] : Research Institute for Advanced Computer Science, [1989] 1989

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:188853    ---  Available
2
E-Books/E-Docs
 

Determination of real machine-tool settings and minimization of real surface deviation by computeriz


Litvin, F. L. (Faydor L.)
[Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va. : For sale by the National Technical Information Service,] 1991. 1991

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:4383    ---  Available
3
E-Books/E-Docs
 

The development of two-dimensional object identification techniques final report


Lebby, Gary.
Greensboro, NC : North Carolina Agricultural and Technical State University, Electrical Engineering Dept. ; Hampton, VA : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, VA : National Ttechnical Information Service, distributor, 1989] 1989

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:186203    ---  Available
4
E-Books/E-Docs
 

Evidence flow graph methods for validation and verification of expert systems


Becker, Lee A.
Worcester, Mass. : Worcester Polytechnic Institute ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989] 1989

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:181810    ---  Available
5
E-Books/E-Docs
 

The Fault-Tree Compiler (FTC) program and mathematics


Butler, Ricky W.
[Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; Springfield, Va. : For sale by the National Technical Information Service, 1989. 1989

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.60:2915    ---  Available
6
E-Books/E-Docs
 

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

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.55:10012/PT.1    ---  Available
7
E-Books/E-Docs
 

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
8
E-Books/E-Docs
 

Using neural networks in software repositories



[Houston, Tex.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake, [1992] 1992

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:190641    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only