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-3 of 3)
Data Flow Analysis
1
E-Books/E-Docs
 

Architecture-independent environment for developing engineering software on MIMD computers


Valimohamed, Karim A.
[Urbana-Champaign, Ill.] : Civil Engineering Studies, Civil Engineering Systems Laboratory, University of Illinois, [1990] 1990

Rating:

Copies

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

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

A reliable multicast for XTP


Dempsey, Bert J.
[Houston, Tex.?] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va.? : National Technical Information Service, distributor, 1990] 1990

Rating:

Copies

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