Clear Search

Books+ Search Results

Subject: "Computers"
Format: Is
Is Is Not
Microforms

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (66)

Limit your search

-
Current results range from 1950 to 2020

21.
Formal verification of a set of memory management units
Author
Schubert, E. Thomas
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189566
Format
Books / Microforms
22.
Turbomachinery CFD on parallel computers
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : For sale by the National Technical Information Service, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:105932
Format
Books / Microforms
23.
Cray performance data from five benchmarks
Author
Pennline, James A.
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : For sale by the National Technical Information Service, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:105200
Format
Books / Microforms
24.
Lanczos eigensolution method for high-performance computers
Author
Bostic, Susan W.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:104108
Format
Books / Microforms
25.
Towards composition of verified hardware devices
Author
Schubert, E. Thomas
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187504
Format
Books / Microforms
26.
In defense of compilation a response to Davis' "Form and content in model-based reasoning"
Author
Keller, Richard (Richard M.)
Published
[Moffett Field, CA] : NASA, Ames Research Center, Artificial Intelligence Research Branch ; [Springfield, Va. : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:107891
Format
Books / Microforms
27.
Network, system, and status software enhancements for the Autonomously Managed Electrical Power System breadboard. Volume 3, Commands specification
Author
McKee, James W.
Published
Huntsville, Ala. : University of Alabama in Huntsville : [NASA Marshall Space Flight Center ; Springfield, Va. : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:185882
Format
Books / Microforms
28.
A parallel algorithm for global routing
Author
Brouwer, Randall J.
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186152
Format
Books / Microforms
29.
Computer user's guide to the protection of information resources
Author
Helsing, Cheryl
Published
Gaithersburg, MD : U.S. Dept. of Commerce, National Institute of Standards and Technology, [1989]
Location
SML, Microform (Non-Circulating) >> C 13.10:500-171
Format
Books / Microforms
30.
Executive guide to the protection of information resources
Author
Helsing, Cheryl
Published
Gaithersburg, MD : U.S. Dept. of Commerce, National Institute of Standards and Technology ; Washington, DC : For sale by the Supt. of Docs., U.S. G.P.O., [1989]
Location
SML, Microform (Non-Circulating) >> C 13.10:500-169
Format
Books / Microforms