The Online Books Page

Constraint programming (Computer science)

See also what's at Wikipedia, your library, or elsewhere.

• Computer programming

• A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe (third edition, 2014), by Antoni Niederliński (PDF with commentary in Poland)

Items below (if any) are from related and broader terms.

• Elements of Programming (authors' edition; 2019), by Alexander A. Stepanov and Paul McJones (PDF files with commentary at elementsofprogramming.com)
• Scientific Programming and Computer Architecture (Cambridge, MA and London: MIT Press, c2017), by Divakar Viswanath (illustrated HTML at github.io)
• Programming and Programming Languages (2016), by Shriram Krishnamurthi (HTML at Brown)
• How to Design Programs (second edition, c2014), by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi (HTML at neu.edu)
• Think Python: How to Think Like a Computer Scientist (version 2, 2014), by Allen Downey (multiple formats at Green Tea Press)
• Learn to Program Using Python (c2011), by Cody Jackson (PDF in Sweden)
• 97 Things Every Programmer Should Know (wiki version, ca. 2010), ed. by Kevlin Henney (HTML at oreilly.com)
• How to Design Programs: An Introduction to Programming and Computing (electronic version, 2002), by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi (illustrated HTML with commentary at htdp.org)
• How to Think Like a Computer Scientist; Learning With Python (original edition (superseded by Think Python); c2002), by Allen Downey, Chris Meyers, and Jeffrey Elkner (multiple formats at Green Tea Press)
• Partial Evaluation and Automatic Program Generation (c1999), by Neil D. Jones, Carsten K. Gomard, and Peter Sestoft (PDF and Postscript with commentary in Denmark)
• Computer Science Logo Style (second edition, 3 volumes; c1997), by Brian Harvey
  • Volume 1 (Symbolic Computing): illustrated HTML and PDF at Berkeley
  • Volume 2 (Advanced Techniques): illustrated HTML and PDF at Berkeley
  • Volume 3 (Beyond Programming): illustrated HTML and PDF at Berkeley
• Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp (c1992), by Peter Norvig (multiple formats with commentary at Github)
• Automate the Boring Stuff with Python (second edition, 2020), by Al Sweigart (illustrated HTML with commentary at automatetheboringstuff.com)
• Programming in Martin-Löf's Type Theory: An Introduction (c1990), by Bengt Nordström, Kent Petersson, and Jan M. Smith (PDF and Postscript in Sweden)
• How to Code in Python 3 (New York: DigitalOcean, ca. 2018), by Lisa Tagliaferri (PDF at digitalocean.com)
• Think Julia: How to Think Like a Computer Scientist (online edition, c2018), by Ben Lauwens and Allen Downey (HTML with commentary at githun.io)
• The Coder's Apprentice: Learning Programming with Python 3 (2017), by Pieter Spronck (PDF with commentary at spronck.net)
• A Little Smalltalk (c1987), by Timothy Budd (PDF at unibe.ch)
• Python 101 (c2017), by Michael Driscoll (illustrated HTML with commentary at pythonlibrary.org)
• Learning J: An Introduction to the J Programming Language (revised 2015), by Roger Stokes (HTML at jsoftware.com)
• The Nature of Code (c2012), by Daniel Shiffman, ed. by Shannon Fry, illust. by Zannah Marsh (illustrated HTML with commentary at natureofcode.com)
• The Craft of Programming (Englewood Cliffs, NJ, et al.: Prentice-Hall International, c1981), by John C. Reynolds (PDF at CMU)
• Matters Computational: Ideas, Algorithms, Source Code (prepublication version, 2011), by Jörg Arndt (PDF and other formats at jjj.de)
• Introduction to Computer Science using Java (2018), by Bradley Kjell (illustrated HTML at programmedlessons.org)
• A FORTRAN Coloring Book (Cambridge, MA and London: MIT Press, c1978), by Roger Emanuel Kaufman (page images with commentary at GWU)
• COBOL: A Self-Instructional Manual (Englewood Cliffs, NJ: Prentice-Hall, c1963), by James A. Saxon (page images at HathiTrust)
• Communicating Sequential Processes, by C. A. R. Hoare (PDF with commentary at usingcsp.com)
• How to Think Like a Computer Scientist: C++ Version, by Allen Downey (multiple formats at Green Tea Press)
• How to Think Like a Computer Scientist: Think Java, by Allen Downey (multiple formats at Green Tea Press)
• Larch: Languages and Tools for Formal Specification, ed. by John V. Guttag and James J. Horning (Postscript at MIT)
• Structure and Interpretation of Computer Programs (second edition, 1996, with supporting materials), by Harold Abelson, Gerald Jay Sussman, and Julie Sussman, contrib. by Alan J. Perlis (HTML at MIT Press)
• Structure and Interpretation of Computer Programs: JavaScript Edition, by Harold Abelson and Gerald Jay Sussman, ed. by Martin Henz and Tobias Wrigstad, contrib. by Julie Sussman (illustrated HTML with commentary at sourceadacemy.org)
• Watch What I Do: Programming by Demonstration, ed. by Allen Cypher (illustrated HTML at acypher.com)
• Certified Programming with Dependent Types (latest electronic edition), by Adam Chlipala (PDF and HTML with commentary at chlipala.net)
• Études for Elixir, ed. by J. David Eisenberg (HTML and other files at Github)
• Programming From the Ground Up, by Jonathan Bartlett, ed. by Dominick Bruno
  • version 1.0: PDF at gnu.org
  • multiple versions with commentary at nongnu.org
• Scala Book (free online edition), by Alvin Alexander (multiple formats with commentary at alvinalexander.com)
• Technical report. ([s.n.], in the 1960s), by National Institutes of Health (U.S.). Division of Computer Research and Technology (page images at HathiTrust)
• Fundamental use of the Michigan Terminal System (Including simple MTS BASIC) ([Ann Arbor] : [Thomas J. Schriber], 1981., 1981), by Thomas J. Schriber (page images at HathiTrust)
• An introduction to FORTRAN and the programming of spatial data (Geography Graduate Student Association, University of Illinois at Urbana-Champaign, 1979), by J. Ronald Eyton and Curtis C. Roseman (page images at HathiTrust)
• Programming for digital computers. (McGraw-Hill, 1959), by Joachim Jeenel (page images at HathiTrust)
• Applications of logic to advanced digital computer programming ([Ann Arbor, 1957), by University of Michigan. College of Engineering and University of Michigan. Summer Session (page images at HathiTrust)
• The JRP statistical programs for high speed IBM digital computers (Ann Arbor, 1961), by Belus Krishnaiyengar Radhakrishnan, Nils B. Mattsson, University of Michigan. Office of Research Administration, and University of Michigan and Ypsilanti State Hospital Schizophrenia and Psychopharmacology Joint Research Project (page images at HathiTrust)
• List and index of some statistical programs available at the University of Michigan Computing Center. (University of Michigan, 1971), by University of Michigan Computing Center. Program Census Committee (page images at HathiTrust; US access only)
• Programming and coding for automatic digital computers (McGraw-Hill, 1961), by George W. Evans and C. L. Perry (page images at HathiTrust)
• Programming and coding digital computers. (Wiley, 1963), by Philip M. Sherman (page images at HathiTrust)
• Programming and coding the IBM 709-7090-7094 computers. (Wiley, 1963), by Philip M. Sherman (page images at HathiTrust)
• Michigan algorithm decoder [MAD] (University of Michigan Computer Center, 1965), by Bruce W. Arden, Robert M. Graham, Bernard A. Galler, and University of Michigan Computing Center (page images at HathiTrust; US access only)
• The Michigan algorithm decoder [(the MAD manual)] (University of Michigan Computer Center], 1966), by Bruce W. Arden, Elliott I. Organick, and University of Michigan Computing Center (page images at HathiTrust; US access only)
• Coding for the MIT-IBM 704 computer. (Technology Press, Massachusetts Institute of Technology, 1957), by Massachusetts Institute of Technology. Computation Center and Frank C. Helwig (page images at HathiTrust)
• A primer of programming for digital computers. (McGraw-Hill, 1959), by Marshal H. Wrubel (page images at HathiTrust)
• Intercom programming for the Bendix G-15 computer (W. C. Brown Co., 1961), by Linsley Wyant and John M. Howell (page images at HathiTrust)
• The Michigan algorithm decoder : [MAD] ([Ann Arbor, Mich., 1960), by Bruce W. Arden and University of Michigan Computing Center (page images at HathiTrust)
• Abstracts of statistical computer routines ([Cleveland], 1961), by Case Institute of Technology. Statistical Laboratory (page images at HathiTrust)
• Introduction to programming and debugging in MTS. (University of Michigan Computing Center, 1986), by Kalle Nemvalts (page images at HathiTrust; US access only)
• Programming and utilizing digital computers. (McGraw-Hill, 1962), by Robert Steven Ledley (page images at HathiTrust)
• Computer programming fundamentals (McGraw-Hill, 1961), by Herbert D. Leeds, Jack Spicer, and Gerald M. Weinberg (page images at HathiTrust)
• Standardized development of computer software (Jet Propulsion Laboratory, California Institute of Technology, 1976), by Robert C. Tausworthe and Jet Propulsion Laboratory (U.S.) (page images at HathiTrust; US access only)
• Digital computers in research, an introduction for behavioral and social scientists. (McGraw-Hill, 1963), by Bert F. Green (page images at HathiTrust)
• Smoothing, forecasting and prediction of discrete time series. (Prentice-Hall, 1963), by Robert Goodell Brown (page images at HathiTrust)
• Dynamic analysis of the upper extremity for planar motions ([Ann Arbor], 1961), by J Raymond Pearson (page images at HathiTrust)
• Technical documentation for FIXDIME 3. (Dept. of Commerce, Bureau of the Census, 1978), by United States Bureau of the Census (page images at HathiTrust)
• Support for the analytical tools for automotive fuel economy activities. Final report. (1980), by William E. Hatch (page images at HathiTrust)
• Requirements report - computer software system for a semi-automatic pipe handling system and fabrication facility. (1980) (page images at HathiTrust; US access only)
• Beam-line feasibility study (1981), by Raymond A. Price (page images at HathiTrust; US access only)
• Financial planning in transit: use of commercially available microcomputer software. Final report. (1983), by Thomas M. Dooley and David Spiller (page images at HathiTrust)
• Feasibility study of semi-automatic pipe handling system and fabrication facility. (1978) (page images at HathiTrust; US access only)
• Marine coatings performance for different ship areas. Volume II. (1979) (page images at HathiTrust; US access only)
• Computerized application of standards. Final report on task ES-8-22. (1985) (page images at HathiTrust; US access only)
• Quality defects measurement and control systems. Final report. (1987) (page images at HathiTrust; US access only)
• Computer-assisted methodology for the determination of the optimal number and location of tool sheds. Final report. (1986), by Scott C. Iverson (page images at HathiTrust; US access only)
• Guidelines for applying traffic microsimulation modeling software (Federal Highway Administration, Research, Development, and Technology :, 2004), by Richard G. Dowling, Vassilios Alexiadis, Alexander Skabardonis, Dowling Associates, and Development United States. Federal Highway Administration. Office of Research (page images at HathiTrust)
• Simulating mineral deposits using Monte Carlo techniques and mathematical models (U.S. Bureau of Mines, 1964), by Richard F. Hewlett (page images at HathiTrust)
• Some generalized probability distributions with special reference to the mineral industries (in five parts). 3, Computer programs of distribution moments (U.S. Dept. of the Interior, Bureau of Mines, 1965), by Robert M. Becker (page images at HathiTrust)
• Computer methods of fitting surfaces to assay and other data by regression analysis (U.S. Dept. of the Interior, Bureau of Mines, 1964), by Richard F. Link, George S. Koch, and George W. Gladfelter (page images at HathiTrust)
• Applied mathematics division summary report (Argonne National Laboratory, in the 20th century), by U.S. Atomic Energy Commission and Argonne National Laboratory. Applied Mathematics Division (page images at HathiTrust)
• Software tools : a building block approach (U.S. Dept. of Commerce, National Bureau of Standards :, 1977), by I. Trotter Hardy, Dennis W. Fife, Belkis Leong-Hong, United States. National Bureau of Standards, and Institute for Computer Sciences and Technology (page images at HathiTrust)
• Computer science & technology : Technical profile of seven data element dictionary/directory systems (U.S. Dept. of Commerce, National Bureau of Standards, Institute for Computer Sciences and Technology : for sale by the Supt. of Docs., U.S. Govt. Print. Off., 1977), by Belkis Leong-Hong, Beatrice A. Marron, and Institute for Computer Sciences and Technology (page images at HathiTrust)
• Introduction to the National Oceanographic Data Center (U.S. Naval Oceanographic Office, 1963), by National Oceanographic Data Center (U.S.) (page images at HathiTrust)
• A user's guide to BOMM; a system of programs for the analysis of time series [by] E.C. Bullard, F.E. Oglebay, W.H. Munk [and] G.R. Miller. (University of California, Institute of Geophysics and Planetary Physics, 1966), by Gaylord Riggs Miller, Walter H. Munk, F. E Oglebay, Edward Crisp Bullard, and University of California (System). Institute of Geophysics and Planetary Physics (page images at HathiTrust; US access only)
• On computer performance measurement programming : measuring indexing adroitness by isolating complex primes (Office of Information Processing Standards, Center for Computer Sciences and Technology; for sale by the Supt. of Docs., U.S. Govt. Print. Off., 1971), by George W. Reitwiesner and United States. National Bureau of Standards (page images at HathiTrust)
• Concepts in quality software design (U.S. Dept. of Commerce, National Bureau of Standards, 1974), by S. L. Stewart, Henry F. Ledgard, S. Rao Kosaraju, Institute for Computer Sciences and Technology. Systems and Software Division, and United States. National Bureau of Standards (page images at HathiTrust)
• Sophist I : an IBM 709/7090 code which calculates multigroup transfer coefficients for gaseous moderators (Lawrence Radiation Laboratory, 1961), by William H. Collins, Robert P. Freis, Richard N. Stuart, Eugene H. Canfield, and Lawrence Radiation Laboratory (page images at HathiTrust)
• SOPHIST-5 : an IBM 7090/7094 FORTRAN II code which calculates multigroup energy transfer matrices for anisotropic elastic scattering of neutrons (University of California Lawrence Radiation Laboratory, 1963), by Eugene Canfield, Lawrence Radiation Laboratory, and Lawrence Livermore Laboratory (page images at HathiTrust)
• NIH TSO terminal users guide : a preface to the OS/MVS TSO terminal user's guide (GC28-0645). (Computer Center Branch, Division of Computer Research and Technology, National Institutes of Health, 1983), by National Institutes of Health (U.S.). Division of Computer Research and Technology. Computer Center (page images at HathiTrust)
• Computer program for calculating veneer recovery volume and value (Pacific Northwest Forest and Range Experiment Station, U.S. Department of Agriculture, Forest Service, 1967), by Richard O. Woodfin, Mary Anne Mei, and Or.) Pacific Northwest Forest and Range Experiment Station (Portland (page images at HathiTrust; US access only)
• Random number generation on the BRL high speed computing machines. (Library of Congress, Publication Board Project, 1953), by M. L. Juncosa and United States Department of Commerce. Office of Technical Services (page images at HathiTrust)
• Proceedings : AESOP Conference, volume 18 : April 18-20, 1978, Amarillo, Texas. (U. S. Dept. of Energy, Directorate of Administration, Office of Computer Services and Telecommunications ;, 1978), by Operations Association for Energy Systems and United States. Department of Energy. Office of Computer Services and Telecommunications Management (page images at HathiTrust)
• A. I. Ch. E. computer program manual[s] (New York, 1959), by American Institute of Chemical Engineers (page images at HathiTrust)
• Omniform I: a general purpose machine program for the calculation of tables of functions given explicitly in terms of one variable ([U.S. National Bureau of Standards], 1962), by Joseph Hilsenrath and Gerald M. Galler (page images at HathiTrust)
• A FORTRAN program for determining an empirical expression for a quantity measured at combinations of several levels of each of two variables. (U.S. Dept. of Commerce, National Bureau of Standards ;, 1965), by Mary Nan Steel, John Mandel, Frank L. McCrackin, and United States. National Bureau of Standards (page images at HathiTrust)
• Ellipsometer measurements (U.S. Dept. of Commerce, National Bureau of Standards ;, 1969), by F. L. McCrackin, Institute for Materials Research (U.S.). Polymers Division, and United States. National Bureau of Standards (page images at HathiTrust)
• CODAP-1/reference manual. (Minneapolis, 1963), by Control Data Corporation (page images at HathiTrust)
• FACTOR FILE CONVERSION (Defense Technical Information Center, 1964), by Lipsner,Robert A., Retherford ,Sarah, Bastyczak ,John, and NATIONAL RESOURCE EVALUATION CENTER WASHINGTON D C. (page images at HathiTrust)
• Guidelines for documentation of computer programs and automated data systems. Category: software, subcategory: documentation. (U.S. National Bureau of Standards, 1976), by United States. National Bureau of Standards (page images at HathiTrust; US access only)
• Draft proposed American national standard minimum COBOL : X3J4 - November 1976 (Dept. of Commerce, National Bureau of Standards, [Office of ADP Standards], 1977), by American National Standards Institute. Technical Committee X3J4 and United States. National Bureau of Standards (page images at HathiTrust)
• A simulation technique for making management decisions in dairy farming : narrative, flow chart, and computer code description (U.S. Dept. of Agriculture, Economic Research Service, 1966), by Robert F. Hutton (page images at HathiTrust)
• Introduction to programming in BASIC (The Center, 1985), by Fred H. McGee and Naval Education and Training Program Development Center (page images at HathiTrust)
• ISOPAR, a new and improved sympolic optimizing assembly routine for the IBM 650 (U.S. Dept. of Commerce, Office of Technical Services, 1960), by Henry Herbert Howe (page images at HathiTrust)
• Introduction to software packages (U.S. Dept. of Commerce, National Bureau of Standards, 1984), by Sheila Frankel and United States. National Bureau of Standards (page images at HathiTrust)
• Special report writer : a flexible information management system : documentation and user's manual (National Aeronautics and Space Administration ;, 1976), by W. A. Greene and United States National Aeronautics and Space Administration (page images at HathiTrust)
• Computer science (National Science Foundation, Office of Planning and Resources Management, Division of Planning and Policy Analysis, Program Review Section, 1981), by National Science Foundation (U.S.). Division of Planning and Policy Analysis. Program Review Section and National Science Foundation (U.S.). Computer Science Section (page images at HathiTrust)
• Hand-printed input for on-line systems (National Aeronautics and Space Administration ;, 1969), by M. I. Bernstein, H. L. Howell, Electronics Research Center, System Development Corporation, and United States National Aeronautics and Space Administration (page images at HathiTrust)
• Numerical calculations of viscous compressible fluid flow around a stationary cylinder (National Aeronautics and Space Administration ;, 1970), by John G. Trulio, Leonard Walitt, George C. Marshall Space Flight Center, and inc Applied Theory (page images at HathiTrust)
• A user's manual for the automatic synthesis program : program C (National Aeronautics and Space Administration ;, 1966), by R. E. Kalman, T. S. Englar, Ames Research Center, Martin Marietta Corporation, and United States National Aeronautics and Space Administration (page images at HathiTrust)
• Algebraic, geometric, and stochastic aspects of genetic operators (National Aeronautics and Space Administration ;, 1972), by N. Y. Foo, Jack Bosworth, Langley Research Center, and University of Michigan (page images at HathiTrust)
• A digital computer program for the analysis and design of state variable feedback systems. (Prepared by the University of Arizona for National Aeronautics and Space Administration, 1967), by James L. Melsa, United States National Aeronautics and Space Administration, and University of Arizona (page images at HathiTrust; US access only)
• NASTRAN general purpose interface requirements document (National Aeronautics and Space Administration, Scientific and Technical Information Office ;, 1978), by W. Keith Brown and United States. National Aeronautics and Space Administration. Scientific and Technical Information Office (page images at HathiTrust)
• Some programming techniques for increasing program versatility and efficiency on CDC equipment (National Aeronautics ad Space Administration, Scientific and Technical Information Office ;, 1978), by Sherwood H. Tiffany, Jerry R. Newsom, and United States. National Aeronautics and Space Administration. Scientific and Technical Information Office (page images at HathiTrust)
• Segmentation, dynamic storage, and variable loading on CDC equipment (National Aeronautics and Space Administration, Scientific and Technical Information Branch ;, 1980), by Sherwood H. Tiffany, Langley Research Center, and Kentron International (page images at HathiTrust)
• Program analysis--a problem in man-computer communication (National Aeronautics and Space Administration; [for sale by the Clearinghouse for Federal Scientific and Technical Information, Springfield, Va.], 1970), by Joseph Harris Green (page images at HathiTrust; US access only)
• Data editing and processing computer program for untracentrifuge moving boundary Schlierer pattern calculations (Brookhaven National Laboratory [available from the Clearinghouse for Federal Scientific and Technical Information], 1966), by Rodes Trautman, Brookhaven National Laboratory, and U.S. Atomic Energy Commission (page images at HathiTrust)
• Brookhaven lecture series : talking to computers (Brookhaven National Laboratory, 1965), by John E. Denes, Brookhaven National Laboratory, and U.S. Atomic Energy Commission (page images at HathiTrust)
• Progress report on the system for computer-operated radiation evaluation / by D.R. Wood, W.L. Lord, and J.A. Bruckner. (Argonne National Laboratory, Special Materials and Services Division, 1967), by D. R. Wood, J. A. Bruckner, W. L. Lord, U.S. Atomic Energy Commission, and Argonne National Laboratory. Special Materials and Services Division (page images at HathiTrust)
• MDP, magnet design program (version 2.0) user's manual (Brookhaven National Laboratory, 1980), by Colin D. Stewart, United States. Department of Energy, and Brookhaven National Laboratory. Computational Assistance Division (page images at HathiTrust)
• Maniac II (Los Alamos Scientific Laboratory of the University of California, 1957), by Roger B. Lazarus, U.S. Atomic Energy Commission, and Los Alamos Scientific Laboratory (page images at HathiTrust)
• NET-1 network analysis program (Los Alamos Scientific Laboratory of the University of California, 1963), by Allan F. Malmberg, Fred L. Cornwell, Los Alamos Scientific Laboratory, and U.S. Atomic Energy Commission (page images at HathiTrust)
• NET-1 network analysis program : 7090/94 version (Los Alamos Scientific Laboratory of the University of California, 1964), by Allan F. Malmberg, Florian N. Hofer, Fred L. Cornwell, U.S. Atomic Energy Commission, and Los Alamos Scientific Laboratory (page images at HathiTrust)
• New Florencia : a case study for the 1970 censuses of population and housing. (U.S. Dept. of Commerce, Bureau of the Census, 1969), by United States Bureau of the Census and United States. Agency for International Development (page images at HathiTrust)
• The IVY system (Los Alamos Scientific Laboratory of the University of California, 1961), by Forrest W. Brinkley, U.S. Atomic Energy Commission, and Los Alamos Scientific Laboratory (page images at HathiTrust)
• RBU : a combined monte carlo reactor-burnup program for the IBM 709 (Technical Information Service, 1959), by E.J. Leshan, U.S. Atomic Energy Commission. Division of Reactor Development, and Advanced Technology Laboratories (page images at HathiTrust)
• A digital computer program for the EGCR temperature and neutron transient analysis : ETNATA (U.S. Atomic Energy Commission, Division of Technical Information ;, 1963), by Don C. Keeton, Tennessee Valley Authority, and U.S. Atomic Energy Commission (page images at HathiTrust)
• An analysis of scheduling algorithms in multiprocessor computing systems (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1975), by Nai-Fung Chen and University of Illinois at Urbana-Champaign. Dept. of Computer Science (page images at HathiTrust)
• A batch system with rapid overlay capabilities (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1973), by David Henry Mueller (page images at HathiTrust)
• Burst processing (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979), by W. J. Poppelbaum (page images at HathiTrust)
• Calculation of GFSR pseudorandom number binary starting matrix (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1973), by William H. Payne (page images at HathiTrust)
• A code for zero-one integer linear programming by implicit enumeration, a programming manual for ILLIP. (Dept. of Computer Science, University of Illinois, 1968), by Tso-kai Liu (page images at HathiTrust)
• Computational experience in all-integer, binary variable, integer programming problems using Gomory's all-integer algorithm (Urbana, 1968), by Charles Richmond Baugh, Saburo Muroga, and Toshihide Ibaraki (page images at HathiTrust)
• Computer program for designing optimal networks with MOS gates (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1972), by Teruaki Shinozaki (page images at HathiTrust)
• Construction of a fault-tolerant, real-time software system (Deptartment of Computer Science, University of Illinois at Urbana-Champaign, 1980), by A. Wei, Roy Harold Campbell, and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• Conversion of decision tables into decision trees. (University of Illinois at Urbana-Champaign, 1972), by Toshio Yasui (page images at HathiTrust)
• The correspondence between methods of digital division and multiplier recording procedures (Urbana, 1967), by James Evans Robertson (page images at HathiTrust)
• Design of the core storage unit / by S. R. Ray. (University of Illinois, Graduate College, Digital Computer Laboratory, 1959), by S. R. Ray (page images at HathiTrust; US access only)
• Elimination of rotational latency by dynamic disk allocation (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1972), by David E. Gold (page images at HathiTrust)
• EOL programming examples: a primer (Urbana, 1967), by Leon ukaszewicz and Jürg Nievergelt (page images at HathiTrust)
• The evolution of programs : program abstraction and instantiation (Department of Computer Science, University of Illinois at Urbana-Champaign, 1981), by Nachum Dershowitz and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• The execute statement : design, examples, and implementation algorithms (Deptartment of Computer Science, University of Illinois at Urbana-Champaign, 1980), by Martin S. McKendry and Roy Harold Campbell (page images at HathiTrust)
• A fast translation technique which partially optimizes the object code (Urbana, 1965), by C. William Gear (page images at HathiTrust)
• A generalized assembler. (Dept. of Computer Science, University of Illinois, 1969), by Christos Georgiou and U.S. Atomic Energy Commission (page images at HathiTrust)
• Heuristic algorithms for constructing near-optimal decision trees (Urbana, 1971), by Joan Manning Alster (page images at HathiTrust)
• Implementation of basic software for significant digit arithmetic. (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1972), by Steven See Sun Lai (page images at HathiTrust)
• An Implicit enumeration program for zero-one integer programming (Urbana, 1969), by Toshihide Ibaraki (page images at HathiTrust)
• Improving the performance of virtual memory computers (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1978), by Walid Abdul-Karim Abu-Sufah (page images at HathiTrust)
• An interactive table-driven parser system (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1975), by Michael Harry Tindall (page images at HathiTrust)
• A Language for describing digital computers (Urbana, 1966), by John Allan Wilber (page images at HathiTrust)
• Local information retrieval for the simulation and modeling system (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1970), by Harold Levin, U.S. Atomic Energy Commission, and University of Illinois at Urbana-Champaign. Dept. of Computer Science (page images at HathiTrust)
• A method for constructing compressed parsers for a parser generating system (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1977), by Richard Marion Schell (page images at HathiTrust)
• Model of partial switching in polycrystalline ferromagnetics (University of Illinois at Urbana-Champaign, 1963), by S. R. Ray and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• NUCLEOL as a formal system. (Dept. of Computer Science, University of Illinois, 1969), by Marek Pawel Irwin-Zarecki (page images at HathiTrust)
• NUCLEOL, a minimal list processor (Dept. of Computer Science, Universty of Illinois, 1969), by J Nievergelt (page images at HathiTrust)
• Numerical software, science or alchemy? (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1979), by C. William Gear (page images at HathiTrust)
• Prepaging and applications to structured array problems (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1974), by Kishor Shridharbhai Trivedi (page images at HathiTrust)
• Program behavior under VAX/VMS (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1983), by Walid Abdul-Karim Abu-Sufah, Roland L. Lee, and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• A programming language for the parallel processing of pictures (University of Illinois at Urbana-Champaign, 1963), by R. Narasimhan and University of Illinois at Urbana-Champaign. Department of Computer Science (page images at HathiTrust)
• A programming system for scanning digitized bubble-chamber negatives (University of Illinois, 1963), by R. Narasimhan, University of Illinois at Urbana-Champaign. Department of Computer Science, and University of Illinois at Urbana-Champaign. Graduate College. Digital Computer Laboratory (page images at HathiTrust)
• Program speedup through concurrent record processing (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1974), by Richard Ernest Strebendt (page images at HathiTrust)
• Representations of process parallelisms (Dept. of Computer Science, University of Illinois, 1969), by S. Wilkins (page images at HathiTrust)
• String processing on a parallel computer (Urbana, 1969), by Walter Lee Heimerdinger (page images at HathiTrust)
• A study of concrete computational complexity (Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1975), by Andrew Chi-Chih Yao and University of Illinois at Urbana-Champaign. Dept. of Computer Science (page images at HathiTrust)
• A study of methods for selection of quotient digits during digital division (Dept. of Computer Science, University of Illinois, 1970), by Daniel E Atkins (page images at HathiTrust)
• Syntax-directed error recovery for compilers (1976), by Jacques Emmett LaFrance (page images at HathiTrust)
• The translator generator system (Dept. of Computer Science, University of Illinois, 1967), by Allan Williams McInnes (page images at HathiTrust)
• The University of Illinois attached machine operating system: design criteria and program logic (Dept. of Computer Science, University of Illinois, 1969), by Richard A. Wells (page images at HathiTrust)
• User programming specifications for the PDP8/360 communications system (Dept. of Computer Science, University of Illinois, 1969), by Martin Joel Michel (page images at HathiTrust)
• An investigatory study into human problem solving capabilities as they relate to programmer efficiency (Management Information Systems Research Center, Graduate School of Business Administration, University of Minnesota, 1972), by Prescott F. Griffith, Robert M. Henry, and University of Minnesota. Management Information Systems Research Center (page images at HathiTrust; US access only)
• The O.S.U. PUFFT compiler reference supplement. (Computer Center, Ohio State University, 1967), by Ohio State University. Computer Center (page images at HathiTrust; US access only)
• Final report -- a survey of software tools usage (U.S. Dept. of Commerce, National Bureau of Standards :, 1981), by Herbert Hecht and United States. National Bureau of Standards (page images at HathiTrust)
• NASA-PERT "B" systems manual, June 1963. ([Washington, 1963), by United States National Aeronautics and Space Administration (page images at HathiTrust; US access only)
• Instruction manual for using WES time-sharing system for analysis of slope stability (the circular arc method) (Waterways Experiment Station, 1973), by James B. Cheek, Waterways Experiment Station (U.S.). Automatic Data Processing Center, and United States. Army. Corps of Engineers. Lower Mississippi Valley Division (page images at HathiTrust)
• Preliminary manual for QUIKOD : a programming system for the IBM 709/7090 data processing machines (Sandia Corporation ;, 1961), by L. E. West, U.S. Atomic Energy Commission, and Sandia Corporation (page images at HathiTrust)
• Systems of numerical notation (Sandia Corporation ;, 1958), by S. S. Harris and Sandia Corporation (page images at HathiTrust)
• Computer program for incentives (a description of a computer program that generates incentive contracting visibility tools), May 1970. (Dept. of Defense, for sale by the Sup. of Docs., U.S. Gov't. Print. Off.], 1970), by United States. Department of Defense. Program Office for Evaluating and Structuring Multiple Incentive Contracts (page images at HathiTrust)
• A computer research program for solving the reaction rate equations in the E ionospheric region (U.S. Air Force Cambridge Research Laboratories, Office of Aerospace Research, 1962), by Thomas J. Keneshea (page images at HathiTrust)
• Forecasting by econometric systems : forecasting by generalized regression methods : IBM 704 (8K) program IB 3 FES, IBM 704 (32K) program IB 4 FES, IBM 709, program IB 9 FES : prelim. write-up. (International Business Machines Corporation, Data Systems Division, Mathematics and Applications Dept., 1961), by Harry Eisenpress (page images at HathiTrust; US access only)
• Automatic machine methods of testing PERT networks for consistency (Naval Weapons Laboratory ;, 1961), by M. P. Jarnagin and Naval Weapons Laboratory (U.S.) (page images at HathiTrust)
• Using computer graphics in community renewal. (U. S. Govt. Print. Off., 1963), by Washington State University, Edgar M. Horwood, and United States. Urban Renewal Administration (page images at HathiTrust)
• Conversion, maintenance, and updating of magnetograph data files (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1968., 1968), by Helen L. Roehrig and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• SCRIPT : an executive program for a research computer (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1969., 1969), by Otis Philbrick and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Constructing solar flare events by computer (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1969., 1969), by Hans J. E. Fischer, Richard G. Hendl, and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• An experimental display processor for the DX-1 (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1970., 1970), by Edward N. Chase and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Improvement of the GEOS-1 North American tracking network from multiple short arc geodetic adjustments (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1970., 1970), by George Hadgigeorge and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• On the Universal Crystallographic Computation Program System, (II) the 5020 UNICS (L.G. Hanscom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1970., 1970), by Tosio Sakurai, Mitoyoko Fukuhara, Yasunari Watanabe, Hitoshi Iwasaki, Tetsuzo Ito, and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Computer programs for tethered-balloon system design and performance evaluation (Hanscom AFB, Massachusetts. : Air Force Geophysics Laboratory, Air Force Systems Command, United States Air Force, 1976., 1976), by John B. Wright and U.S. Air Force Geophysics Laboratory (page images at HathiTrust)
• A Study of the error of discretization in the Air Force global weather central boundary layer model (Hanscom AFB, Massachusetts : Air Force Geophysics Laboratories, Air Force Systems Command, United States Air Force, 1977., 1977), by Chien-Hsiung Yang and U.S. Air Force Geophysics Laboratory (page images at HathiTrust)
• PCM snap shot system for multi-spectral measurements program (Hanscom AFB, Massachusetts : Air Force Geophysics Laboratory, Air Force Systems Command, United States Air Force, 1981., 1981), by William B. Miller, Stephen O. Davis, Randall Burns, and U.S. Air Force Geophysics Laboratory (page images at HathiTrust)
• A digital processing and display system for the rotating beam ceilometer (AN/GMQ-13) (Hanscom AFB, Massachusetts : Air Force Geophysics Laboratory, Air Force Systems Command, United States Air Force, 1981., 1981), by James Weyman, Richard H. Lynch, and U.S. Air Force Geophysics Laboratory (page images at HathiTrust)
• Steady-state multi-ion disturbed D-region model (Hanscom AFB, Massachusetts : Air Force Geophysics Laboratory, Air Force Systems Command, United States Air Force, 1978., 1978), by William Swider, Carol I. Foley, and U.S. Air Force Geophysics Laboratory (page images at HathiTrust)
• Microprocessor controlled pulse amplitude modulation decommutator (Hanscom AFB, Massachusetts : Air Force Geophysics Laboratory, Air Force Systems Command, United States Air Force, 1980., 1980), by Kenneth R. Walker, Jack R. Griffin, and U.S. Air Force Geophysics Laboratory (page images at HathiTrust)
• Alphacode for Wegematic 1000 and Alvac III-E (Wright-Patterson Air Force Base, Ohio : Aeronautical Research Laboratories, Office of Aerospace Research, United States Air Force, 1963., 1963), by John Midtdal and Aerospace Research Laboratories (U.S.) (page images at HathiTrust)
• DPLS, a program to perform multivariate least squares curve fitting for models specified at execution (San Jose, California : General Electric Company, Atomic Power Equipment Department, 1963., 1963), by C. L. Peterson, U.S. Atomic Energy Commission, and General Electric Company. Atomic Power Equipment Department (page images at HathiTrust)
• BOUMAC : a macroprogramming system for scientific computation (Washington : U.S. Govt. Print Office, 1963., 1963), by John H. Devenney and John J. Sopka (page images at HathiTrust)
• Applied Mathematics Division summary report. : July 1, 1959 through June 30, 1960. (Argonne National Laboratory, Applied Mathematics Division, 1960), by Argonne National Laboratory (page images at HathiTrust)
• Applied Mathematics Division summary report. : July 1, 1962 through June 30, 1963 (Argonne National Laboratory, Applied Mathematics Division, 1963), by William F. Miller and Argonne National Laboratory (page images at HathiTrust)
• Applied Mathematics Division summary report. : July 1, 1963 through June 30, 1964 (Argonne National Laboratory, Applied Mathematics Division, 1964), by William F. Miller and Argonne National Laboratory (page images at HathiTrust)
• A hybrid-computer program for transient temperature calculations on TREAT fast reactor safety experiments (Argonne National Laboratory, Applied Mathemtics Division, 1967), by William P. Stephany, Charles Edward Dickerman, Lawrence W. Amiot, Lawrence T. Bryant, U.S. Atomic Energy Commission, and Argonne National Laboratory (page images at HathiTrust)
• A method of calculating transient temperatures in a multiregion, axisymmetric, cylindrical configuration, the ARGUS program, 1089/RE248, written in FORTRAN II (Argonne National Laboratory, Reactor Physics Division, 1963), by D. F. Schoeberle, L. B. Miller, J. Heestand, and Argonne National Laboratory (page images at HathiTrust)
• Applied Mathematics Division summary report. : July 1, 1961 through June 30, 1962 (Argonne National Laboratory, Applied Mathematics Division, 1962), by William F. Miller and Argonne National Laboratory (page images at HathiTrust)
• Applied Mathematics Division summary report. : July 1, 1960 through June 30, 1961 (Argonne National Laboratory, Applied Mathematics Division, 1961), by William F. Miller and Argonne National Laboratory (page images at HathiTrust)
• Applied Mathematics Division summary report. : November, 1956 through June, 1958 (Argonne National Laboratory, Applied Mathematics Division, 1958), by W. F. Miller and Argonne National Laboratory (page images at HathiTrust)
• Applied Mathematics Division summary report. : July 1, 1958 through June 30, 1959. (Argonne National Laboratory, Applied Mathematics Division, 1959), by Argonne National Laboratory (page images at HathiTrust)
• Standardized development of computer software (National Aeronautics and Space Administration], 1976), by Robert C. Tausworthe, Jet Propulsion Laboratory (U.S.), and United States National Aeronautics and Space Administration (page images at HathiTrust)
• WATCHR III : a program analyzing and debugging system for the CDC 6600 user's manual (New York, New York: , New York University, Courant Institute of Mathematical Sciences, AEC Computing and Applied Mathematics Center 1966., 1966), by E. Draughon, Courant Institute of Mathematical Sciences. Computer Science Department, and U.S. Atomic Energy Commission. New York Operations Office (page images at HathiTrust)
• GERED - a code for equation-of-state calculations at moderate pressures (Livermore, California : University of California, Lawrence Radiation Laboratory, 1968., 1968), by F. J. Rogers, U.S. Atomic Energy Commission, and Lawrence Radiation Laboratory (page images at HathiTrust)
• WAZER, a one-dimensional, two-temperature hydrodynamic code (Livermore, California : University of California, Lawrence Radiation Laboratory, 1969., 1969), by R. E. Kidder, William S. Barnes, U.S. Atomic Energy Commission, and Lawrence Radiation Laboratory (page images at HathiTrust)
• Inverse-method and method-of-characteristics flow-field programs (Albuquerque, New Mexico : Sandia Laboratory, 1967., 1967), by J. B. Moreno, U.S. Atomic Energy Commission, and Sandia Corporation (page images at HathiTrust)
• Trainee guide for Data Systems Technician School, Class A. (Washington, 1965), by United States Bureau of Naval Personnel (page images at HathiTrust)
• Computation of geometrical properties for a variable thickness arch dam. (Denver, Colo., 1962), by United States. Bureau of Reclamation. Automatic Data Processing Branch (page images at HathiTrust; US access only)
• Analytical procedures used to obtain and evaluate the eddy viscosity and mixing length extracted from incompressible turbulent boundary layer data (Silver Spring, Maryland : Naval Ordnance Laboratory, 1974., 1974), by W. J. Glowacki and Md.) Naval Ordnance Laboratory (White Oak (page images at HathiTrust)
• A Program for computing steady inviscid three-dimensional supersonic flow on reentry vehicles : volume I : analysis and programming (Silver Spring, Maryland : Naval Surface Weapons Center, White Oak Laboratory, 1977., 1977), by J. M. Solomon, A. B Wardlaw, J. B. Bell, R. E. Ferguson, M. Ciment, and Naval Surface Weapons Center. White Oak Laboratory (page images at HathiTrust)
• A machine program for theorem-proving (New York, New York : New York University, Institute of Mathematical Sciences, 1961., 1961), by Martin Davis, Donald W. Loveland, George Logemann, United States. Air Force. Office of Scientific Research, and New York University. Institute of Mathematical Sciences (page images at HathiTrust)
• Time-optimal digital control of zero-power nuclear reactors (Argonne, Ill. : Argonne National Laboratory, 1968., 1968), by T. J. Marciniak and Argonne National Laboratory (page images at HathiTrust)
• A program for the solution of a class of geometric-analogy intelligence-test questions (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1964., 1964), by Thomas G. Evans and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• DEBUG - An extension to current online debugging techniques (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1965., 1965), by Thomas G. Evans, D. Lucille Darley, and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Some LISP routines for manipulating automata (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1966., 1966), by Thomas V. Griffiths and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Householder eigensystem program (L. G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1971., 1971), by Donald A. Stremsky and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• Development of weapon delivery models and analysis programs. Volume I, System modeling and performance optimization (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Systems Command, United States Air Force, 1972., 1972), by A. Ferit Konar, Honeywell Inc. Systems and Research Division, Air Force Flight Dynamics Laboratory (U.S.), and Armament Delivery Analysis Programming System (ADAPS) (page images at HathiTrust)
• A new approach to design networks having a prescribed driving-point impedance in Brune fashion (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1970., 1970), by Kurt H. Haase and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• The Electronic properties information center (Wright-Patterson Air Force Base, Ohio : Air Force Materials Laboratory, Research and Technology Division, Air Force Systems Command, United States Air Force, 1965., 1965), by H. Thayne Johnson, Donald L. Grigsby, Air Force Materials Laboratory (U.S.), United States. Air Force. Systems Command, and Hughes Aircraft Company (page images at HathiTrust)
• Design of an encoder, converter, and display device (Wright-Patterson Air Force Base, Ohio : Air Force Avionics Laboratory, Research and Technology Division, Air Force Systems Command, United States Air Force, 1963., 1963), by Sander Rubin, American Machine and Foundry Company, Air Force Avionics Laboratory, Wright-Patterson Air Force Base (Ohio), and United States. Air Force. Systems Command. Aeronautical Systems Division (page images at HathiTrust)
• Modular computer programs for image-processing and manipulation (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1969., 1969), by Glen D. Wilson and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• MAGIC : n automated general purpose system for structural analysis. Volume 1, Engineer's manual (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Systems Command, United States Air Force, 1969., 1969), by Robert H. Mallett, Stephen Jordan, Air Force Flight Dynamics Laboratory (U.S.), and Bell Aerospace Textron (page images at HathiTrust)
• Developments in structural analysis and synthesis by function minimization (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Systems Command, United States Air Force, 1971., 1971), by Lucien A. Schmit, Air Force Flight Dynamics Laboratory (U.S.), and Case Western Reserve University (page images at HathiTrust)
• SYSTRAN (Systems Analysis Translator): a digital computer program. Supplement one (Aerospace Medical Research Laboratories, 1966), by E. B. Weis, D. J. Lajeunesse, and Aerospace Medical Research Laboratories (U.S.) (page images at HathiTrust)
• Development of weapon delivery models and analysis programs. Volume II, Documentation of the Armament Delivery Analysis Programming System (ADAPS) (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Systems Command, United States Air Force, 1972., 1972), by A. Ferit Konar, Michael D. Ward, Honeywell Inc. Systems and Research Division, Air Force Flight Dynamics Laboratory (U.S.), and Armament Delivery Analysis Programming System (ADAPS) (page images at HathiTrust)
• Development of weapon delivery models and analysis programs. Volume III, Testing and demonstration of the Armament Delivery Analysis Programming System (ADAPS) (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Systems Command, United States Air Force, 1972., 1972), by A. Ferit Konar, Michael D. Ward, Honeywell Inc. Systems and Research Division, Air Force Flight Dynamics Laboratory (U.S.), and Armament Delivery Analysis Programming System (ADAPS) (page images at HathiTrust)
• An automated procedure for the optimization of practical aerospace structures. Volume 2, Programmer's manual (Air Force Flight Dynamicsl Laboratory, Air Force Systems Command, United States Air Force, 1971), by Walter J. Dwyer, Patricia L. Sabatelli, Robert K. Emerton, Air Force Flight Dynamics Laboratory (U.S.), United States. Air Force. Systems Command, and Grumman Aerospace Corporation (page images at HathiTrust)
• An algorithm for drawing circles with digital hardware (L.G. Hansom Field, Bedford, Massachusetts : Air Force Cambridge Research Laboratories, Office of Aerospace Research, United States Air Force, 1971., 1971), by Charles H. Radoy and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• MAGIC : an automated general purpose system for structural analysis. Volume 2, User's manual (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Systems Command, United States Air Force, 1969., 1969), by Stephen Jordan, Air Force Flight Dynamics Laboratory (U.S.), Bell Aerospace Textron, Robert H. Mallett, and Gene E. Maddux (page images at HathiTrust)
• Collapse analysis for shells of general shape. Volume 2. User's manual for the STAG-A computer code (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Systems Command, United States Air Force, 1973., 1973), by Bo O. Almroth, H. T. Petersen, F. Zele, E. Meller, F. A. Brogan, Air Force Flight Dynamics Laboratory (U.S.), and Lockheed Palo Alto Research Laboratory (page images at HathiTrust)
• Automated method for the large deflection and instability analysis of three-dimensional truss and frame assemblies (Air Force Flight Dynamics Laboratory, Research and Technology Division, Air Force Systems Command, United States Air Force, 1966), by R. H. Mallett, L. Berke, Case Institute of Technology, and Air Force Flight Dynamics Laboratory (U.S.) (page images at HathiTrust)
• FORMAT : Fortran matrix abstraction technique. Volume V. Engineering user and technical report (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Wright Aeronautical Laboratories, Air Force Systems Command, United States Air Force, 1968., 1968), by John Pickard, Air Force Flight Dynamics Laboratory (U.S.), Air Force Wright Aeronautical Laboratories, and Douglas Aircraft Company. Aircraft Division (page images at HathiTrust)
• Interactive graphics program for computing three-degree-of-freedom store separation trajectories at speeds up to the critical speed (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Flight Control Division, Control Criteria Branch, Air Force Systems Command, United States Air Force, 1972., 1972), by Calvin L. Dyer, Air Force Flight Dynamics Laboratory (U.S.), and Air Force Wright Aeronautical Laboratories (page images at HathiTrust)
• Image Analysis Facility : an interactive digital computer system (L.G. Hanscom Field, Massachusetts : Air Force Cambridge Research Laboratories, Air Force System Command, United States Air Force, 1972., 1972), by Arthur P. Ginsburg, John C. Mott-Smith, Floyd H. Cook, and Air Force Cambridge Research Laboratories (U.S.) (page images at HathiTrust)
• FORMAT : Fortran matrix abstraction technique. Volume 5, Supplement II. Engineering user and technical report-extended (Wright-Patterson Air Force Base, Ohio : Air Force Flight Dynamics Laboratory, Air Force Wright Aeronautical Laboratories, Air Force Systems Command, United States Air Force, 1973., 1973), by John Pickard, Air Force Flight Dynamics Laboratory (U.S.), Air Force Wright Aeronautical Laboratories, and Douglas Aircraft Company (page images at HathiTrust)
• Reference manual, 704 FORTRAN programming system. (White Plains, N.Y.], 1961), by International Business Machines Corporation (page images at HathiTrust; US access only)
• Programmer's manual for CalComp plotting (U.S. Dept. of Health, Education, and Welfare, Public Health Service, National Institutes of Health, Division of Computer Research and Technology, 1969), by Saul A. Zaveler (page images at HathiTrust)
• MURA production programmes for IBM 704. ([Madison, Wis.] : [Midwestern Universities Research Assocation], [1957?], 1957), by Midwestern Universities Research Association (page images at HathiTrust; US access only)
• Computer software and service. (U.S. Dept. of Commerce, International Trade Administration, 1985), by Anita L. Shrestha, Andrew Bihun, and United States. International Trade Administration (page images at HathiTrust)

More items available under broader and related terms at left.