Clear Search

Books+ Search Results

Subject: "Computer programming"
Author/Creator: Is
Is Is Not
United States. National Aeronautics and Space Administration

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (14)
1.
System identification and model reduction using modulating funciton techniques
Author
Shen, Yan
Published
Providence, R.I. : Brown University, Division of Engineering ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192807
Format
Books / Microforms
2.
Design and scheduling for periodic concurrent error detection and recovery in processor arrays
Author
Wang, Yi-Min
Published
Urbana, IL : Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va.? : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190571
Format
Books / Microforms
3.
An EVACS simulation with nested transactions
Author
Auty, David
Published
[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, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190636
Format
Books / Microforms
4.
Mission and safety critical (MASC) an EVACS simulation with nested transactions : project report
Author
Auty, David
Published
[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, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192295
Format
Books / Microforms
5.
The analysis of control trajectories using symbolic and database computing
Author
Grossman, Robert
Published
[Washington, DC? : National Aeronautics and Space Administration ; Springfield, Va.? : National Technical Information Service [distributor], 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190234
Format
Books / Microforms
6.
Analysis of methods final report
Published
[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, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190278
Format
Books / Microforms
7.
A user-oriented synthetic workload generator
Author
Kao, Wei-lun
Published
[Urbana, IL] : Coordinated Science Laboratory, College of Engineering, University of Illinois, at Urbana-Champaign, [1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:188197
Format
Books / Microforms
8.
Continuation of research in software for space operations support semiannual report
Author
Collier, Mark D.
Published
San Antonio, Tex. : Southwest Research Institute, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186092
Format
Books / Microforms
9.
Correctness criteria for process migration an extended abstract
Author
Lu, Jin
Published
[Washington, DC : National Aeronautics and Space Administration, 1987]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:182939
Format
Books / Microforms
10.
Computer-assisted design of organic synthesis
Author
Kaminaka, Hiroshi
Published
Washington DC : National Aeronautics and Space Administration, [1986]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:88401
Format
Books / Microforms
11.
Standardized development of computer software
Author
Tausworthe, Robert C.
Published
[Washington : National Aeronautics and Space Administration], 1976-1978.
Location
Library Shelving Facility (LSF) >> NAS 1.12/6:43-29
Format
Books
12.
Computer code for controller partitioning with IFPC application a user's manual
Author
Schmidt, Phillip H.
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Center, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:195291
Format
Books / Microforms
13.
Feature isolation and quantification of evolving datasets
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:195230
Format
Books / Microforms
14.
An interactive, design and educational tool for supersonic external-compression inlets
Author
Benson, Thomas J.
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:106581
Format
Books / Microforms
15.
ACARA user's manual
Author
Stalnaker, Dale K.
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:106277
Format
Books / Microforms
16.
The Communication Link and Error ANalysis (CLEAN) simulator
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:195243
Format
Books / Microforms
17.
Explicit robust schemes for implementation of general principal value-based constitutive models
Published
[Washington, D.C.] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:106123
Format
Books / Microforms
18.
Explicit robust schemes for implementation of general principal value-based constitutive models symbolic and numeric implementation
Published
[Washington, D.C.] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:106123
Format
Books / Microforms
19.
Explicit robust schemes for implementation of principal value-based constitutive models symbolic and numeric implementation
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:106124
Format
Books / Microforms
20.
Intelligent systems and advanced user interfaces for design, operation, and maintenance of command management systems
Author
Mitchell, Christine M.
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:195172
Format
Books / Microforms
21.
On the robustness of Herlihy's hierarchy
Author
Jayanti, Prasad, 1962-
Published
Ithaca, New York : Dept. of Computer Science, Cornell University ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:193002
Format
Books / Microforms
22.
Rapid exploration of curvilinear grids using direct volume rendering
Author
Van Gelder, Allan
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192765
Format
Books / Microforms
23.
Subband/transform functions for image processing
Author
Glover, Daniel
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:106183
Format
Books / Microforms
24.
Transient finite element computations on a variable transputer system
Author
Smolinski, Patrick J.
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189060
Format
Books / Microforms
25.
A graphical user-interface for propulsion system analysis
Author
Curlett, Brian P.
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:105696
Format
Books / Microforms