Clear Search

Books+ Search Results

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

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Limit your search

-
Current results range from 1984 to 1993

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.
Final report for SRB combustion dynamics analysis computer program (CDA-1), NAG8-627
Author
Chung, T. J., 1929-
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:179302
Format
Books / Microforms
12.
Final report to NASA-Ames Research Center, Moffett Field, CA 94034, contract no. NAG 2-304, June 15, 1987 - June 14, 1988 on a survey of the state of the art and focused research in range systems
Author
Yao, Kung
Published
Los Angeles, CA : Laboratory for Flight Systems Research, University of California, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:184595
Format
Books / Microforms
13.
Scheduling periodic jobs using imprecise results by Jen-Yao Chung, Jane W.S. Liu, [and] Kwei-Jay Lin
Author
Chung, Jen-Yao
Published
[Washington, DC : National Aeronautics and Space Administration, 1987]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:183120
Format
Books / Microforms
14.
Spiral model pilot project information model
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va.? : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:184310
Format
Books / Microforms
15.
GRASP/Ada graphical representation of algorithms, structures, and processes for Ada : update of GRASP/Ada reverse engineering tools for Ada : final report
Author
Cross, James H.
Published
Auburn, Ala. : Dept. of Computer Science and Engineering, Auburn University ; [Washington, D.C. : National Aeronautics and Space Administration ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:193890
Format
Books / Microforms
16.
GRASP/Ada graphical representations of algorithms, structures, and processes for Ada : the development of a program analysis environment for Ada, reverse engineering tools for Ada : task 2, phase 3 six-month report
Author
Cross, James H.
Published
Auburn, Ala. : Dept. of Computer Science and Engineering, Auburn University ; [Washington, D.C. : National Aeronautics and Space Administration, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187982
Format
Books / Microforms
17.
GRASP/Ada graphical representation of algorithms, structures, and processes for Ada : the development of a program analysis environment for Ada, reverse engineering tools for Ada : task 2, phase 2 report
Author
Cross, James H.
Published
Auburn, Ala. : Dept. of Computer Science and Engineering, Auburn University ; [Washington, D.C.? : National Aeronautics and Space Administration, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186940
Format
Books / Microforms
18.
Integrating automated support for a software management cycle into the TAME system
Author
Sunazuka, Toshihiko
Published
College Park, Md. : University of Maryland, [1989]
Online
http://purl.access.gpo.gov/GPO/LPS68059
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186457
Format
Books / Microforms
19.
Maintenance=reuse-oriented software development
Author
Basili, Victor R., 1940-
Published
College Park, Md. : University of Maryland, [1989]
Online
http://purl.access.gpo.gov/GPO/LPS67985
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186455
Format
Books / Microforms
20.
IRAS software analysis library final report
Author
Domik, Gitta
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189520
Format
Books / Microforms
21.
USL/DBMS NASA/PC R&D project "C" programming standards
Author
Moreau, Dennis R.
Published
Lafayette, La. : University of Southwestern Louisiana, Computer Science Dept. ; [Springfield, Va. : For sale by the National Technical Information Service, 1984]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:184543
Format
Books / Microforms