Clear Search

Books+ Search Results

Subject: "Computer programming"
Location: Is
Is Is Not
Sterling Memorial Library

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Limit your search

-
Current results range from 1950 to 2023

1.
Hacker's delight
Author
Warren, Henry S.
Published
Upper Saddle River, NJ : Addison-Wesley, 2013.
Location
BASS, Lower Level >> QA76.6 .W375X 2013
SML, Stacks, LC Classification >> QA76.6 .W375X 2013
Format
Books
2.
Mastering regular expressions
Author
Friedl, Jeffrey E. F.
Published
Sebastopol, CA : O'Reilly, c2002.
Location
SML, Stacks, LC Classification >> QA76.73 P22 F75 2002 (LC)
Format
Books
3.
How computer programming works
Author
Appleman, Daniel
Published
Emeryville, CA : APress, 2000.
Location
SML, Stacks, LC Classification >> QA76.6. A654X 2000
Format
Books
4.
A programming environment for distributed complex computing an overview of the Framework for Interdisciplinary Design Optimization (FIDO) project : NASA Langley TOPS exhibit H120b
Author
Townsend, James C. (James Courtland), 1938-
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:109058
Format
Books / Microforms
5.
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
6.
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
7.
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
8.
Literate programming
Author
Knuth, Donald Ervin, 1938-
Published
Stanford, CA : Center for the Study of Language and Information, c1992.
Location
SML, Stacks, LC Classification >> QA76.6 K644X 1992
Format
Books
9.
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
10.
Technique to eliminate computational instability in multibody simulations employing the Lagrange multiplier
Author
Watts, G.
Published
[Washington, DC] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va. : National Technical Information Service, distributor] 1992.
Location
SML, Microform (Non-Circulating) >> NAS 1.60:3220
Format
Books / Microforms
11.
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
12.
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
13.
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
14.
Inflated speedups in parallel simulations via malloc ()
Author
Nicol, David M.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:182104
Format
Books / Microforms
15.
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
16.
More programming pearls : confessions of a coder
Author
Bentley, Jon Louis
Published
Reading, Mass. : Addison-Wesley Pub. Co., c1988.
Location
BASS, Lower Level >> QA76.6 B452 1988 (LC)
Request for delivery to any Yale Library >> QA76.6 B452 1988
SML, Stacks, LC Classification >> QA76.6 B452 1988
Format
Books
17.
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
18.
Traditional versus rule-based programming techniques application to the control of optional flight information
Author
Ricks, Wendell R.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : NTIS, distributor, 1987]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:89161
Format
Books / Microforms
19.
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
20.
Profiling under UNIX by patching
Author
Bishop, Matt
Published
[Moffett Field, Calif.?] : Research Institute for Advanced Computer Science, NASA Ames Research Center, [1986]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:89316
Format
Books / Microforms
21.
Programming pearls
Author
Bentley, Jon Louis
Published
Reading, Mass. : Addison-Wesley, c1986.
Location
Library Shelving Facility (LSF) >> QA76.6 B453 1986 (LC)
SML, Stacks, LC Classification >> QA76.6 B453X 1986
BASS, Lower Level >> QA76.6 B453X 1986
Format
Books
22.
The SIFT hardware/software systems. Volume I, A detailed description
Author
Palumbo, Daniel L.
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1985]
Location
SML, Microform (Non-Circulating) >> NAS 1.15:87574
Format
Books / Microforms
23.
Hackers : heroes of the computer revolution
Author
Levy, Steven
Published
Garden City, N.Y. : Anchor Press/Doubleday, 1984.
Location
SML, Stacks, LC Classification >> QA76.6 L469 1984
Format
Books
24.
Software development tools
Author
Houghton, Raymond C.
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-88
Format
Books / Microforms
25.
Writing efficient programs
Author
Bentley, Jon Louis
Published
Englewood Cliffs, N.J. : Prentice-Hall, c1982.
Location
SML, Stacks, LC Classification >> QA76.6 .B455 1982 (LC)
BASS, Lower Level >> QA76.6 B455 1982 (LC)
Format
Books
26.
Final report : a survey of software tools usage
Author
Hecht, Herbert
Published
Washington : U.S. Dept. of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. G.P.O, 1981.
Location
SML, Microform (Non-Circulating) >> C 13.10:500-82
Format
Books / Microforms
27.
Sypnosis of interviews from a survey of software tools usage
Author
Hecht, Herbert
Published
Washington, DC : The Bureau, [1981]
Location
SML, Microform (Non-Circulating) >> C 13.58:81-2388
Format
Books / Microforms
28.
Classics in software engineering
Published
New York : Yourdon Press, c1979.
Location
SML, Stacks, LC Classification >> QA76.6 C54 (LC)
Format
Books
29.
A discipline of programming
Author
Dijkstra, Edsger Wybe
Published
Englewood Cliffs, N.J. : Prentice-Hall, c1976.
Location
SML, Stacks, LC Classification >> QA76.6 D56 (LC)
Format
Books
30.
Computer software; programming systems for digital computers
Author
Flores, Ivan
Published
Englewood Cliffs, N.J., Prentice-Hall [1965]
Location
SML, Stacks, LC Classification >> QA76.5 F6
Library Shelving Facility (LSF) >> QA76.5 F6 (LC)
Format
Books
31.
Introduction to system programming; proceedings of a symposium
Author
Wegner, Peter
Published
London, New York, Published for the Automatic Programming Information Centre, Brighton College of Technology, England, by Academic Press, 1964.
Location
SML, Stacks, LC Classification >> QA76.5 W43
Library Shelving Facility (LSF) >> QA76.5 W43 (LC)
Library Shelving Facility (LSF) >> QA76.5 W45 1965 (LC)
Format
Books
32.
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
33.
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
34.
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
35.
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
36.
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
37.
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
38.
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
39.
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
40.
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
41.
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
42.
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
43.
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
44.
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
45.
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
46.
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
47.
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
48.
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
49.
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
50.
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
51.
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
52.
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
53.
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
54.
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
55.
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
56.
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
57.
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
58.
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
59.
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
60.
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
61.
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
62.
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
63.
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
64.
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
65.
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
66.
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
67.
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
68.
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
69.
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
70.
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
71.
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
72.
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
73.
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
74.
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
75.
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
76.
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
77.
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
78.
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
79.
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
80.
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
81.
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
82.
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
83.
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
84.
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
85.
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
86.
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
87.
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
88.
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
89.
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
90.
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
91.
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
92.
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
93.
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
94.
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
95.
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
96.
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
97.
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
98.
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
99.
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
100.
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