Clear Search

Books+ Search Results

Subject: "Computers"
Format: Is
Is Is Not
Microforms
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 (27)
101.
Using the MC-II handheld computer while running first or second order leveling surveys
Author
Yamashita, Kenneth M.
Published
Menlo Park, Calif. : U.S. Dept. of the Interior, U.S. Geological Survey ; [Denver, Colo. : Books and Open-File Reports Section, distributor], [1992]
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
102.
XDETECT version 2.01 technical reference
Author
Rogers, John A.
Published
Menlo Park, Calif. : U.S. Dept. of the Interior, U.S. Geological Survey ; [Denver, Colo. : Books and Open-File Reports Section, distributor], 1992.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
103.
Mechanical verification of a schematic Byzantine clock synchronization algorithm
Author
Shankar, N. (Natarajan)
Published
[Washington, D.C.?] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va. : For sale by the National Technical Information Service], 1991.
Location
SML, Microform (Non-Circulating) >> NAS 1.26:4386
Format
Books / Microforms
104.
Performance bounds on parallel self-initiating discrete-event
Author
Nicol, David M.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:182010
Format
Books / Microforms
105.
Software reliability through fault-avoidance and fault-tolerance report #3 (3/1/90-8/31/90) on NAG-1-983
Author
Vouk, Mladen A.
Published
Raleigh, N.C. : Dept. of Computer Science, North Carolina State University ; Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:187646
Format
Books / Microforms
106.
Validation environment for AIPS/ALS implementation and results
Published
[Washington, D.C.] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; [Springfield, Va. : For sale by the National Technical Information Service, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:4340
Format
Books / Microforms
107.
Preparing software summary forms on a text processor
Author
Sawatzky, Don L.
Published
[Denver, CO] : U.S. Dept. of the Interior, Geological Survey : [Books and Open-File Reports Section, distributor], 1989.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
108.
An efficient sparse matrix multiplication scheme for the CYBER 205 computer
Author
Lambiotte, Jules J.
Published
[Washington, DC] : National Aeronautics and Space Administration, Scientific and Technical Information Division ; [Springfield, Va. : For sale by the National Technical Information Service], 1988.
Location
SML, Microform (Non-Circulating) >> NAS 1.15:4028
Format
Books / Microforms
109.
Final report on Object Oriented Programming Systems (OOPS) and frame representations an investigation of programming paradigms
Author
Auty, David
Published
Clear Lake, Tex. : Research Institute for Computing and Information Systems, University of Houston, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:186084
Format
Books / Microforms
110.
WXR
Author
Opitz, Harold
Published
[Garden City, N.Y.] : U.S. Dept. of Commerce, National Oceanic and Atmospheric Administration, National Weather Service, [1984]
Location
SML, Microform (Non-Circulating) >> C 55.13/3:NWS ERCP-No.24
Format
Books / Microforms
111.
Inversion of plane-wave electromagnetic data for layered earth models using a graphical user interface
Author
Anderson, Walter L. (Walter Leonard), 1922-
Published
[Reston, Va.?] : U.S. Dept. of the Interior, U.S. Geological Survey ; [Denver, Colo. : Books and Open-File Reports Section, distributor], 1992.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
112.
Modeling interface motion of combustion (MIMOC) : a computer code for two-dimensional, unsteady turbulent combustion
Author
Ghoniem, Ahmed F.
Published
Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; [Springfield, Va. : For sale by the National Technical Information Service], 1983.
Location
SML, Microform (Non-Circulating) >> NAS 1.60:2132
Format
Books / Microforms
113.
Planning for software validation, verification, and testing
Published
Washington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. G.P.O., 1982.
Location
SML, Microform (Non-Circulating) >> C 13.10:500-98
Format
Books / Microforms
114.
Procedure and computer program to calculate machine contribution to sawmill recovery
Published
Madison, Wis. : U.S. Dept. of Agriculture, Forest Service, Forest Products Laboratory, 1981.
Location
SML, Microform (Non-Circulating) >> A 13.78:FPL-383
Format
Books / Microforms
115.
Proceedings, Scientific Computer Information Exchange Meeting, September 12-13, 1979, Livermore, California : theme, impact of advanced systems on scientific computations
Author
Scientific Computer Information Exchange Meeting (1979 : Livermore, Calif.)
Published
[Washington, D.C.?] : The Office : Springfield, Va. : Available from National Technical Information Service, [1979?]
Location
SML, Microform (Non-Circulating) >> E 1.10:790902
Format
Books / Microforms
116.
Computer science
Published
[Washington, D.C.?] : National Science Foundation, [1977]
Location
SML, Microform (Non-Circulating) >> NS 1.37:1/5
Format
Books / Microforms
117.
S-Check, by example
Author
Snelick, Robert
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1997]
Location
SML, Microform (Non-Circulating) >> C 13.58:6022
Format
Books / Microforms
118.
DIMCALC, a BASIC program for computing absolutes and baselines from DIM-magnetometer observations
Author
Pankratz, Leroy W.
Published
[Reston, Va.] : U.S. Dept. of Interior, U.S. Geological Survey ; [Denver, Colo. : Open-File Reports Section, distributor], 1994.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
119.
KEY analysis system
Author
Massé, Robert P.
Published
Golden, Colo. : U.S. Dept. of the Interior, U.S. Geological Survey, National Earthquake Information Center ; [Denver, Colo. : Books and Open File Reports Section, distributor], 1994.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
120.
Interactive inversion of transient electromagnetic data for central-induction loop over layered earth models
Author
Anderson, Walter L. (Walter Leonard), 1922-
Published
[Denver, Colo.] : U.S. Dept. of the Interior, Geological Survey : [Books and Open-File Reports Section, distributor], 1993.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
121.
LinAir:a multi-element discrete vortex Weissinger aerodynamic prediction method
Author
Durston, Donald 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:108786
Format
Books / Microforms
122.
Transient Ejector Analysis (TEA) code user's guide
Author
Drummond, Colin 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:106310
Format
Books / Microforms
123.
An analysis of file migration in a unix supercomputing environment
Author
Miller, Ethan L.
Published
Berkeley, CA ; Computer Science Division (EECS), University of California, Berkeley : [Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:192908
Format
Books / Microforms
124.
Geophysics Advisor Expert System
Author
Olhoeft, G. R.
Published
[Denver, CO] : U.S. Dept. of the Interior, U.S. Geological Survey : [Books and Open-File Reports Section, distributor 1992]
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
125.
Moving formal methods into practice verifying the FTPP scoreboard, phase 1 results
Author
Srivas, Mandayam
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.? : National Technical Information Service [distributor], 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189607
Format
Books / Microforms
126.
PLOTSEGY V1.0 a DOS graphics program to display SEG-Y disk-image seismic data
Author
Zihlman, F. N.
Published
Denver, CO : Department of the Interior, U.S. Geological Survey : Books and Open-File Reports Section, distributor, 1992.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
127.
A C language implementation of the SRO (Murdock) detector / analyzer
Author
Murdock, James N.
Published
Albuquerque, N.M. : U.S. Dept. of the Interior, Geological Survey ; [Denver, Colo. : Books and Open-File Reports Section, distributor], [1991]
Location
MARX Library MICRO - ask at Info Desk >> Fiche I 19.76:87-158
Format
Books / Microforms
128.
Computer programs for analyzing digital seismic data
Author
Mueller, C. S.
Published
[Menlo Park, CA] : U.S. Geological Survey ; [Denver, Colo. : U.S. Geological Survey, 1991]
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
129.
PAN AIR-a computer program for predicting subsonic or supersonic linear potential flows about arbitrary configurations using a higher order panel method. Volume I, Theory document (Version 3.0)
Author
Epton, Michael A.
Published
[Moffett Field, Calif.] : NASA Ames Research Center ; [Springfield, Va.? : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:3251 (REVISION 1)
Format
Books / Microforms
130.
PAN AIR-a computer program for predicting subsonic or supersonic linear potential flows about arbitrary configurations using a higher order panel method. Volume IV, Maintenance document (Version 3.0)
Published
[Moffett Field, Calif.] : NASA Ames Research Center ; [Springfield, Va.? : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:3254
Format
Books / Microforms
131.
PAN AIR-a computer program for predicting subsonic or supersonic linear potential flows about arbitrary configurations using a higher order panel method. Volume II, User's manual (Version 3.0)
Published
[Moffett Field, Calif.] : NASA Ames Research Center ; [Springfield, Va.? : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:3252 (REVISION II)
Format
Books / Microforms
132.
PROBDIST probability distributions for modeling and simulation in the absence of data
Author
Crovelli, Robert A.
Published
[Denver, Colo.] : U.S. Geological Survey ; Books and Open-File Reports Section [distributor, 1990]
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
133.
BING a BASIC computer program for modeling unsteady flow of Bingham viscoplastic material
Author
Savage, William Z.
Published
[Denver, Colo.] : U.S. Geological Survey : [Books and Open-File Report Section, distributor], 1989.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
134.
The copyright protection of computer programs
Author
Glas, Geert Valere Beni
Published
[1989]
Location
Law Library >> Fiche S122 005-00058.
Format
Archives or Manuscripts / Microforms
135.
Design for validation an approach to systems validation
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:181835
Format
Books / Microforms
136.
ISOEDIT a program for interactive editing of seismic reflection velocity models
Author
Zihlman, F. N.
Published
[Denver, CO] : Dept. of the Interior, U.S. Geological Survey : [Books and Open-File Reports Section, distributor], 1989.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
137.
Parallel implementation and evaluation of motion estimation system algorithms on a distributed memory multiprocessor using knowledge based mappings
Published
Urbana, IL : Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, [1989]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:185984
Format
Books / Microforms
138.
Program VSAERO theory document a computer program for calculating nonlinear aerodynamic characteristics of arbitrary configurations
Author
Maskew, Brian
Published
[Washington, DC] : National Aeronautics and Space Administration, Scientific and Technical Information Office, 1987.
Location
SML, Microform (Non-Circulating) >> NAS 1.26:4023
Format
Books / Microforms
139.
REFS2DB a PC program to reformat publication-format bibliographies for dBASE or PARADOX
Author
Gerlitz, Carol N.
Published
Denver, Colo. : U.S. Dept. of the Interior, Geological Survey : [Books and Open-File Reports Section, distributor], 1989.
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
140.
The NASA Marshall Engineering Thermosphere Model
Author
Hickey, Michael Philip
Published
Marshall Space Flight Center, Ala. : NASA, George C. Marshall Space Flight Center, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:179359
Format
Books / Microforms
141.
Theoretical studies of solar lasers and converters progress report
Author
Heinbockel, J. H.
Published
Norfolk, Va. : Dept. of Mathematical Sciences, College of Sciences, Old Dominion University, [1988]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:184589
Format
Books / Microforms
142.
A computer code to process and plot laser altimetry data interactively on a microcomputer
Author
Safren, H. G.
Published
Greenbelt, Md. : National Aeronautics and Space Administration, Goddard Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor] 1987.
Location
SML, Microform (Non-Circulating) >> NAS 1.15:100687
Format
Books / Microforms
143.
Development of confidence limits by pivotal functions for estimating software reliability
Author
Dotson, Kelly J.
Published
[Washington, D.C.] : National Aeronautics and Space Administration, Scientific and Technical Information Office ; [Springfield, Va. : For sale by the National Technical Information Service], 1987.
Location
SML, Microform (Non-Circulating) >> NAS 1.60:2709
Format
Books / Microforms
144.
Optimum filters and smoothers design for carrier phase and frequency tracking
Author
Kumar, R.
Published
Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology ; [Springfield, Va. : National Technical Information Service, distributor, 1987]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:182654
Format
Books / Microforms
145.
Validation of the SURE program, phase 1
Author
Dotson, Kelly J.
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:89123
Format
Books / Microforms
146.
User's manual for MAPGEN (UNIX version) a method of transforming digital cartographic data to a map
Author
Evenden, Gerald Ian
Published
[Denver, Colo.?] : U.S. Dept. of the Interior, U.S. Geological Survey : [Books and Open-File Reports Section, distributor, 1986?]
Location
MARX Library - ask at Info Desk
Format
Books / Microforms
147.
Verification and performance tests of HYCAR program
Author
Bhatia, Veena
Published
Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1985]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:86660
Format
Books / Microforms
148.
Climatological summary programs F6 and CLIMAT
Author
Schwein, Thomas F.
Published
[Washington, D.C.] : U.S. Dept. of Commerce, National Oceanic and Atmospheric Administration, National Weather Service, [1984]
Location
SML, Microform (Non-Circulating) >> C 55.13/3:NWS CRCP-no.14
Format
Books / Microforms
149.
L-O-S-T : logging optimization selection technique
Author
Koger, Jerry L.
Published
New Orleans, La. : U.S. Dept. of Agriculture, Forest Service, Southern Forest Experiment Station, 1984.
Location
SML, Microform (Non-Circulating) >> A 13.78:SO-203
Format
Books / Microforms
150.
STABCAR--a program for finding characteristic roots of systems having transcendental stability matrices
Published
Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; [Springfield, Va. : For sale by the National Technical Information Service], 1984.
Location
SML, Microform (Non-Circulating) >> NAS 1.60:2165
Format
Books / Microforms