Clear Search

Books+ Search Results

Subject: "Computer programming"
Subject: Is
Is Is Not
Computer programs

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (6,451)

Limit your search

-
Current results range from 1900 to 2025

1.
Improving automated strategies for univariate quantifier elimination
Author
Cordwell, Katherine
Published
Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, January 2021.
Online
https://purl.fdlp.gov/GPO/gpo150352
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Principles of program analysis
Author
Nielson, Flemming, 1955-
Published
Berlin ; New York : Springer, c1999.
Location
SML, Stacks, LC Classification >> QA76.6 N537 1999 (LC)
Format
Books
3.
Transferable Output ASCII Data (TOAD) gateway, version 1.0 user's guide
Author
Bingel, Bradford D.
Published
Hampton, Va. : Computer Sciences Corporation, Applied Technology Division : National Aeronautics and Space Administration, Langley Research Center, [1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187489
Format
Books / Microforms
4.
User's guide to programming fault injection and data acquisition in the SIFT environment
Author
Elks, C. R.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1987]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:87638
Format
Books / Microforms
5.
A rule based computer aided design system
Author
Premack, Timothy
Published
[Washington, DC : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; [Springfield, Va. : For sale by the National Technical Information Service], 1986.
Location
SML, Microform (Non-Circulating) >> NAS 1.15:86241
Format
Books / Microforms
6.
Measures and metrics for software development
Published
Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center, [1984]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:85605
Format
Books / Microforms
7.
Users guide for Skylab Dynamics Program
Author
Hopkins, M. S.
Published
Marshall Space Flight Center, Alabama : NASA, George C. Marshall Space Flight Center, May 1980.
Online
https://purl.fdlp.gov/GPO/gpo150272
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Composite/structured design
Author
Myers, Glenford J., 1946-
Published
New York : Van Nostrand Reinhold, c1978.
Location
Library Shelving Facility (LSF) >> QA76.6 M89 1978 (LC)
Format
Books
9.
Studies in automatic programming logic
Author
Manna, Zohar
Published
New York : North-Holland, c1977.
Location
Library Shelving Facility (LSF) >> QA76.6 M357 (LC)
Format
Books
10.
Studies in automatic programming logic
Author
Manna, Zohar
Published
New York : North-Holland, c1977.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
11.
FLOCO II manual
Author
Carlson, Bengt G.
Published
Los Alamos, N.M. : Los Alamos Scientific Laboratory of the University of California, 1959.
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
12.
SRIM index
Published
[Springfield, Va., United States Department of Commerce, National Technical Information Service]
Online
Online journal
Location
HathiTrust Digital Library >> Online Resource
Format
Journals & Newspapers / Online
13.
The analysis of a generic air-to-air missile simulation model
Author
Kaplan, Joseph A.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:109057
Format
Books / Microforms
14.
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
15.
Coupled 2-dimensional cascade theory for noise and unsteady aerodynamics of blade row interaction in turbofans. Volume 2, Documentation for computer code CUP2D
Author
Hanson, Donald B.
Published
[Washington, DC] : National Aeronautics and Space Administration, Scientific and Technical Information Program ; [Springfield, Va. : National Technical Information Service, distributor], 1993.
Location
SML, Microform (Non-Circulating) >> NAS 1.26:4506
Format
Books / Microforms
16.
EGADS: a microcomputer program for estimating the aerodynamic performance of general aviation aircraft
Author
Melton, John E.
Published
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:104013
Format
Books / Microforms
17.
Eigensystem realization algorithm user's guide for VAX/VMS computers. Version 931216
Author
Pappa, Richard S.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:109066
Format
Books / Microforms
18.
Electronic document distribution design of anonymous FTP Langley technical report server
Author
Nelson, Michael L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:4567
Format
Books / Microforms
19.
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
20.
FRANC2D: a two-dimensional crack propogation simulator version 2.7 user's guide
Author
Wawrzynek, Paul
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:4572
Format
Books / Microforms
21.
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
22.
PATRAN 2.5/EAL interface guide
Author
Feldhaus, Winifred S.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1994]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:109053
Format
Books / Microforms
23.
User's guide to AGARIS : advanced GAng RIp simulator
Author
Thomas, R. Edward
Published
Radnor, PA : U.S. Dept. of Agriculture, Forest Service, Northeastern Forest Experiment Station, [1994]
Location
Library Shelving Facility (LSF) >> A 13.88:NE-192
Format
Books
24.
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
25.
The Automated Instrumentation and Monitoring System (AIMS) reference manual
Published
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:108795
Format
Books / Microforms