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,549)

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
26.
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
27.
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
28.
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
29.
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
30.
Fault management for data systems
Author
Boyd, Mark A.
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:103953
Format
Books / Microforms
31.
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
32.
ISAC: a tool for aeroservoelastic modeling and analysis
Author
Adams, William M.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:109031
Format
Books / Microforms
33.
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
34.
Open environments to support systems engineering tool integration a study using the Portable Common Tool Environment (PCTE)
Published
[Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va. : National Technical Information Service, distributor], 1993.
Location
SML, Microform (Non-Circulating) >> NAS 1.15:4489
Format
Books / Microforms
35.
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
36.
Reference manual for a Requirements Specification Language (RSL). Version 2.0
Author
Fisher, G. L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:191460
Format
Books / Microforms
37.
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
38.
A summary of image segmentation techniques
Author
Spirkovska, Lilly
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:104022
Format
Books / Microforms
39.
Tools reference manual for a Requirements Specification Language (RSL). Version 2.0
Author
Fisher, G. L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:191461
Format
Books / Microforms
40.
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
41.
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
42.
A knowledge based system for scientific data visualization
Author
Senay, Hikmet
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:194879
Format
Books / Microforms
43.
Low complexity, high performance and bandwidth efficient concatenated coded 8-PSK schemes for reliable data communications
Author
Lin, Shu
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190734
Format
Books / Microforms
44.
NASA management plan for Government Open Systems Interconnection Profile (GOSIP) Implementation
Published
[Washington, D.C.?] : The Group, [1992]
Location
Library Shelving Facility (LSF) >> NAS 1.2:M 31/8
Format
Books
45.
NASA management plan for Government Open Systems Interconnection Profile (GOSIP) Implementation
Published
[Washington, D.C.?] : The Group, [1992]
Online
Online book
Online book
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
46.
Networking for Science
Published
[Washington, D.C.?] : National Aeronautics and Space Administration, [1992?]
Online
Online book
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
47.
Optimal control computer programs
Author
Kuo, F. (Frank)
Published
[Marshall Space Flight Center, Ala.] : National Aeronautics and Space Administration, George C. Marshall Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:108384
Format
Books / Microforms
48.
RAID-II design and implementation of a large scale disk array controller
Published
Berkeley, Calif. : Computer Science Division (EECS), University of California ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192911
Format
Books / Microforms
49.
Statistical discrete particle simulation studies final technical report
Author
McDonald, Jeffrey D.
Published
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189812
Format
Books / Microforms
50.
13 ways to say nothing with scientific visualization
Author
Globus, Al
Published
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:195280
Format
Books / Microforms
51.
Zebra a striped network file system
Author
Hartman, John H.
Published
Berkeley, Calif. : Computer Science Division (EECS), University of California ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192912
Format
Books / Microforms
52.
Consistent detection of global predicates
Author
Cooper, Robert
Published
Ithaca, NY ; Dept. of Computer Science, Cornell University, [1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:188078
Format
Books / Microforms
53.
Modular Spectral Line Analysis Program (MSLAP) documentation
Author
Joseph, Charles L.
Published
[Washington, D.C. : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:188713
Format
Books / Microforms
54.
Users manual for the IMA program
Published
Huntsville, Ala. : Dynetics, inc. ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1991-
Location
SML, Microform (Non-Circulating) >> NAS 1.26:184242
Format
Books / Microforms
55.
Concurrency control for transactions with priorities
Author
Marzullo, Keith
Published
Ithaca, N.Y. : Dept. of Computer Science, Cornell University, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186268
Format
Books / Microforms
56.
DATAMAP upgrade version 4.0
Author
Watts, Michael E.
Published
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:100993
Format
Books / Microforms
57.
The environment for application software integration and execution (EASIE) version 1.0. Volume I, Executive overview
Author
Rowell, Lawrence F.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:100573
Format
Books / Microforms
58.
Final report on the evaluation of the Dornier Gmbh interactive grid generation system
Author
Brown, Robert L.
Published
[Moffett Field, Calif.?] : Research Institute for Advanced Computer Science, NASA Ames Research Center, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:181407
Format
Books / Microforms
59.
An intelligent advisor for the design manager
Author
Rogers, James L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:101558
Format
Books / Microforms
60.
A knowledge-based tool for multilevel decomposition of a complex design problem
Author
Rogers, James L.
Published
[Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; [Springfield, Va. : For sale by the National Technical Information Service] 1989.
Location
SML, Microform (Non-Circulating) >> NAS 1.60:2903
Format
Books / Microforms
61.
A knowledge-based tool for multilevel decomposition of a complex design problem
Author
Rogers, James L.
Published
Washington, DC : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; [Springfield, Va. : For sale by the National Technical Information Service], 1989.
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
62.
Common Data Format (CDF) to store images final report
Author
Shreve, Loy W.
Published
Huntsville, AL : Inter Systems, Inc., TAI Division, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:179366
Format
Books / Microforms
63.
A computer-aided approach to nonlinear control synthesis interim review
Author
Wie, Bong
Published
[Austin, Texas? : University of Texas at Austin, Dept. of Aerospace Engineering and Engineering Mechanics, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:179391
Format
Books / Microforms
64.
An experiment in software reliability additional analyses using data from automated replications
Author
Dunham, J. R. (Janet Rose), 1954-
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Center, distributor, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:178395
Format
Books / Microforms
65.
Hardware proofs using EHDM and the RSRE verification methodology
Author
Butler, Ricky W.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [St. Louis, Mo.] : US Army Aviation Systems Command, Aviation R&T Activity ; [Springfield, Va. : For sale by the National Technical Information Service, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:100669
Format
Books / Microforms
66.
Problems in characterizing barrier performance
Author
Jordan, Harry F.
Published
Boulder, Colo. : Computer Systems Design Group, Dept. of Electrical and Computer Engineering, University of Colorado, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187930
Format
Books / Microforms
67.
Space-borne computing for the year 2000 and beyond
Author
Iyer, Ravi K.
Published
Urbana-Champaign, [Ill.] : Coordinated Science Laboratory, College of Engineering, University of Illinois, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:184779
Format
Books / Microforms
68.
A technique for solving constraint satisfaction problems using Prolog's definite clause grammars
Author
Nachtsheim, Philip R.
Published
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:101031
Format
Books / Microforms
69.
Telescience testbed pilot program interim report
Author
Leiner, B. (Barry)
Published
[Moffett Field, Calif.] : Research Institute for Advanced Computer Science, NASA Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:183207
Format
Books / Microforms
70.
Applications of the hybrid automated reliability predictor
Published
[Washington, DC] : National Aeronautics and Space Administration, Scientific and Technical Information Division ; [Springfield, Va. : For sale by the National Technical Information Service], 1987.
Location
SML, Microform (Non-Circulating) >> NAS 1.60:2760
Format
Books / Microforms
71.
A comparison of five benchmarks
Author
Huss, Janice E.
Published
[Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va. : For sale by the National Technical Information Service, 1987]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:88956
Format
Books / Microforms
72.
Frontiers of massively parallel scientific computation
Published
[Washington, D.C.?] : National Aeronautics and Space Administration, Scientific and Technical Information Office, 1987.
Location
SML, Microform (Non-Circulating) >> NAS 1.55:2478
Format
Books / Microforms
73.
MACSYMA usage at Langley
Author
DeLoatch, Sandra J.
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : For sale by the National Technical Information Service, 1987]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:172518
Format
Books / Microforms
74.
A rigorous approach to self-checking programming
Author
Hua, Kien A.
Published
[Washington, DC : National Aeronautics and Space Administration, 1986]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:180657
Format
Books / Microforms
75.
Measurement of SIFT operating system overhead
Author
Palumbo, Daniel L.
Published
[Washington, D.C.?] : National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.
Location
SML, Microform (Non-Circulating) >> NAS 1.15:86322
Format
Books / Microforms
76.
The SIFT hardware/software systems. Volume II, Software listings
Author
Palumbo, Daniel L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1985]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:87575
Format
Books / Microforms
77.
A Competitive assessment of the United States software industry
Published
Washington, D.C. : Science and Electronic, Office of Computers and Business Equipment, Assistant Secretary for Trade Development : For sale by the Supt. of Docs., U.S. G.P.O., [1984]
Location
Library Shelving Facility (LSF) >> C 61.2:So 2/2
Format
Books
78.
Dian nao ruan ti kai fa ji shu
Title
電腦軟體開發技術　
Author
Sun, Guocai
孫國材
Published
Taibei Shi : Xie he tu shu chu ban you xian gong si, min guo 73 [1984]
Location
Library Shelving Facility (LSF) >> QA76.6 S86 1984
Format
Books
79.
Initialization program for local AFOS-ERA forecast verification software
Published
[Silver Spring, Md.? : National Oceanic and Atmospheric Administration, 1984- ]
Location
SML, Microform (Non-Circulating) >> C 55.13/5:84-3
Format
Books / Microforms
80.
Introduction to software packages
Published
Washington, DC : U.S. Dept. of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. G.P.O., 1984.
Location
SML, Microform (Non-Circulating) >> C 13.10:500-114
Format
Books / Microforms
81.
FINSYS-2 : subsystem TABLE-2 and OUTPUT-2
Author
Born, J. David
Published
Broomall, Pa. : U.S. Dept. of Agriculture, Forest Service, Northeastern Station, 1983.
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
82.
FINSYS-2 : subsystem TABLE-2 and OUTPUT-2
Author
Born, J. David
Published
Broomall, Pa. : U.S. Dept. of Agriculture, Forest Service, Northeastern Station, 1983.
Location
SML, Microform (Non-Circulating) >> A 13.88:NE-84
Format
Books / Microforms
83.
PDOC : program documentation system
Author
Magnuson, Robert A.
Published
Bethesda, Md. : Data Management Branch, Division of Computer Research and Technology, National Institutes of Health, 1983.
Location
SML, Microform (Non-Circulating) >> HE 20.3002:P 94/2
Format
Books / Microforms
84.
Quick introduction to WYLBUR
Published
Bethesda, Md. : Computer Center, Division of Computer Research and Technology, National Institutes of Health, [1983]
Location
Library Shelving Facility (LSF) >> HE 20.3008:W 97/2/intro.
Format
Books
85.
Conversion of ALEMBIC$ workbins to teletype format
Author
Blackburn, Alan P.
Published
[Silver Spring, Md.] : U.S. Dept. of Commerce, National Oceanic and Atmospheric Administration, National Weather Service, [1982]
Location
SML, Microform (Non-Circulating) >> C 55.13/2:NWS ERCP-no.5
Format
Books / Microforms
86.
WYLBUR : fundamentals
Published
Bethesda, Md. : Computer Center, Division of Computer Research & Technology, National Institutes of Health, 1980
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
87.
WYLBURx : general editing
Published
Bethesda, Md. : Computer Center, Division of Computer Research & Technology, National Institutes of Health, 1980.
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
88.
Argonne Code Center : compilation of program abstracts
Published
Argonne, Ill. : Argonne National Laboratory, Applied Mathematics Division, 1977.
Online
book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
89.
If you use a computer, you need COSMIC
Author
United States. National Aeronautics and Space Administration
Published
[Washington] : National Aeronautics and Space Administration : For sale by the Supt. of Docs., U.S. Government Printing Office, 1977
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
90.
If you use a computer, you need COSMIC
Author
United States. National Aeronautics and Space Administration
Published
[Washington] : National Aeronautics and Space Administration : for sale by the Supt. of Docs., U.S. Government Printing Office, 1977.
Location
Library Shelving Facility (LSF) >> NAS 1.2:C 73/3
Format
Books
91.
An automatic verifier for a class of sorting programs
Author
Mateti, Prabhaker
Published
Urbana : Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1976.
Online
Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science...
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
92.
WSP2 computer program : a water surface profile computer program for determining flood elevations and flood areas for certain flow rates
Author
United States. Soil Conservation Service
Published
[Washington] : U.S. Dept. of Agriculture, Soil Conservation Service, Engineering Division, 1976.
Location
Library Shelving Facility (LSF) >> A 57.51:61
Format
Books
93.
Data processing package
Author
McCullagh, M. J.
Published
[Nottingham, Computer Apllications] 1969.
Location
SML, Stacks, LC Classification >> QA76 A1 C62 5+ Oversize
Format
Books
94.
Multiple discriminant analysis
Author
Mather, Paul M.
Published
[Nottingham, Computer Applications] 1969.
Location
SML, Stacks, LC Classification >> QA76 A1 C62 6+ Oversize
Format
Books
95.
Sampling simulation computer programs
Author
Arvanitis, L. G.
Published
[Madison, Wis.] 1969.
Location
MARX Library >> QA76.5 A78+ Oversize
Format
Books
96.
Bubble scan I program
Author
Narasimhan, R.
Published
Urbana, Illinois : University of Illinois, 1964.
Online
Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science...
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
97.
An information-theoretical model applied to computer programs
Author
Cowell, Wayne R., 1926-
Published
Lemont, III. : Argonne National Laboratory, 1963.
Location
Library Shelving Facility (LSF) >> Y 3.AT 7:22/ANL-6722
Format
Books
98.
An information-theoretical model applied to computer programs
Author
Cowell, W. R.
Published
Lemont, III. : Argonne National Laboratory, 1963.
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
99.
Crystal geometry computer program
Author
Bush, Lawrence P.
Published
Lemont, III. : Argonne National Laboratory, 1962.
Location
Library Shelving Facility (LSF) >> Y 3.AT 7:22/ANL-6592
Format
Books
100.
Crystal geometry computer program
Author
Bush, Lawrence P.
Published
Lemont, III. : Argonne National Laboratory, 1962.
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online