Computer simulation

Here are entered works on computer-based simulation of systems and processes, involving the formulation of a mathematical model, its conversion into a computer program, and execution of experiments with the computerized model for the understanding, evaluation, or design modification of the system or process of interest.

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

• Electromechanical analogies
• Simulation methods
• Mathematical models

• Computer simulation -- Congresses
• Digital computer simulation
• Virtual reality
• Airplanes -- Piloting -- Computer simulation
• Atmospheric circulation -- Computer simulation
• Fighter plane combat -- Computer simulation
• Intellect -- Computer simulation
• Ocean circulation -- Computer simulation
• Plasma engineering -- Computer simulation
• Private flying -- Computer simulation
• Psychology -- Computer simulation
• Stunt flying -- Computer simulation
• United States -- Armed Forces -- Procurement -- Computer simulation
• United States -- Armed Forces -- Weapons systems -- Computer simulation
• War -- Computer simulation

• Computer modeling
• Computer models
• Modeling, Computer
• Models, Computer
• Simulation, Computer

• The Nature of Code (c2012), by Daniel Shiffman, ed. by Shannon Fry, illust. by Zannah Marsh (illustrated HTML with commentary at natureofcode.com)

• Database Needs for Modeling and Simulation of Plasma Processing, by National Research Council Board on Physics and Astronomy (HTML and page images at NAP)

• The Age of Intelligent Machines (c1992), by Ray Kurzweil (at kurzweilai.net)
• Applications of Robotics and Artificial Intelligence to Reduce Risk and Improve Effectiveness, by National Research Council Commission on Engineering and Technical Systems (HTML at archive.org)
• Are We Spiritual Machines? Ray Kurzweil vs. the Critics of Strong A.I. (c2002), ed. by Jay Wesley Richards, contrib. by Ray Kurzweil, John R. Searle, Michael J. Denton, William A. Dembski, Thomas S. Ray, and George F. Gilder (at kurzweilai.net)
• Artificial Intelligence and Responsive Optimization (second edition, 2003), by Mohammad Khosnevisan, Sukanto Bhattacharya, and Florentin Smarandache (PDF at UNM)
• Artificial Intelligence Through Prolog (1988), by Neil C. Rowe (HTML at nps.edu)
• The Boundaries of Humanity: Humans, Animals, Machines (Berkeley: University of California Press, 1991), ed. by James J. Sheehan and Morton Sosna (HTML at UC Press)
• The Computer Revolution in Philosophy: Philosophy, Science and Models of Mind (1978, with added notes and corrections), by Aaron Sloman (HTML and PDF with commentary in the UK)
• From Bricks to Brains: The Embodied Cognitive Science of LEGO Robots (Edmonton: AU Press, c2010), by Michael Robert William Dawson, Brian Dupuis, and Michael Wilson (PDF with commentary at AU Press)
• The Origin and Its Meaning, by Roger Ellman (PDF files at the-origin.org)
• When Things Start to Think (c1999), by Neil A. Gershenfeld (HTML with commentary at kurzweilai.net)

• Research in Learning Technology: The Journal of the Association for Learning Technology (including volumes originally published as the Association for Learning Technology Journal) (full serial archives)

• Accelerando (2005), by Charles Stross (multiple formats with commentary at antipope.org)
• Bolo! (included on a CD image), by David Weber, contrib. by Keith Laumer
  • zipped CD ISO at thefifthimperium.com; 151 MB
  • zipped CD files at thefifthimperium.com; 152 MB
• The Fourth "R", by George O. Smith (page images at durendal.org)
• Halo, by Tom Maddox (HTML at dthomasmaddox.com)
• Old Soldiers (included on a Baen CD image; c2005), by David Weber
  • zipped CD ISO at thefifthimperium.com; 183 MB
  • zipped CD files at thefifthimperium.com; 185 MB

• Journal of Artificial Intelligence Research (full serial archives)

• Journal of Machine Learning Research (full serial archives)

• Defending AI Research: A Collection of Essays and Reviews, by John McCarthy (PDF at Stanford)

• Adaptive Control: Stability, Convergence, and Robustness (c1994), by Shankar Sastry and Marc Bodson (PDF files with commentary at Utah)

• Implementing Mathematics with the Nuprl Proof Development System (prepublication version, 1985), ed. by R. L. Constable (illustrated HTML at Cornell)
• Logic for Computer Science: Foundations of Automatic Theorem Proving (revised edition, 2003, with errata for the original edition and other papers), by Jean H. Gallier (PDF and Postscript files here at Penn)

• Implementing Mathematics with the Nuprl Proof Development System (prepublication version, 1985), ed. by R. L. Constable (illustrated HTML at Cornell)

• The Elements of Statistical Learning: Data Mining, Inference, and Prediction (second edition, 2009), by Trevor Hastie, Robert Tibshirani, and J. H. Friedman (PDF with commentary at Stanford)

• What Does the Honeybee See? And How Do We Know? A Critique of Scientific Reason (2009), by G. Adrian Horridge (PDF with commentary at ANU E Press)

• Artificial Intelligence and Responsive Optimization (second edition, 2003), by Mohammad Khosnevisan, Sukanto Bhattacharya, and Florentin Smarandache (PDF at UNM)

• The Elements of Statistical Learning: Data Mining, Inference, and Prediction (second edition, 2009), by Trevor Hastie, Robert Tibshirani, and J. H. Friedman (PDF with commentary at Stanford)
• Machine Learning, Neural and Statistical Classification, ed. by Donald Michie, D. J. Spiegelhalter, and Charles C. Taylor (PDF and gzipped Postscript in the UK)

• Verbmobil: A Translation System for Face-to-Face Dialog, by Martin Kay, Jean Mark Gawron, and Peter Norvig (PDF at Stanford)

• Verbmobil: A Translation System for Face-to-Face Dialog, by Martin Kay, Jean Mark Gawron, and Peter Norvig (PDF at Stanford)

• An Introduction to Neural Networks (eighth edition, 1996), by Ben Kröse and Patrick van der Smagt (gzipped Postscript in the Netherlands)
• Machine Learning, Neural and Statistical Classification, ed. by Donald Michie, D. J. Spiegelhalter, and Charles C. Taylor (PDF and gzipped Postscript in the UK)

• Understanding the Linux Virtual Memory Manager (2004), by Mel Gorman (PDF at phptr.com)

• City of Bits: Space, Place, and the Infobahn (WWW edition (archived; reconstruction of original text in progress)), by William Mitchell (HTML at archive.org)
• Virtual Reality: Scientific and Technological Challenges, ed. by Nathaniel I. Durlach and Anne S. Mavor (page images at NAP)

• Airienteering with "13MIKE", by Fred J. Calfior and Douglas W. Miller (HTML at flightsimbooks.com)
• Flights of "13MIKE" for Versions 4.0 and 5.0: A Microsoft Flight Simulator Companion (1994), by Fred J. Calfior and Douglas W. Miller (illustrated HTML at flightsimbooks.com)
• IFR Flights of "13MIKE" for Versions 4.0 and 5.0: A Microsoft Flight Simulator Action Book (1994), by Fred J. Calfior and Douglas W. Miller (illustrated HTML at flightsimbooks.com)

• Four-Dimensional Model Assimilation of Data: A Strategy for the Earth System Sciences, by National Research Council Commission on Geosciences, Environment, and Resources (page images at NAP)

• Jet Fighter School: Air Combat Simulator Tactics and Maneuvers (1987), by Richard G. Sheffield (illustrated HTML at flightsimbooks.com)
• Jet Fighter School II: More Training for Computer Fighter Pilots (1988), by Richard G. Sheffield (illustrated HTML at flightsimbooks.com)

• The Structure of Intelligence: A New Mathematical Model of Mind (prepublication version), by Ben Goertzel (HTML at goertzel.org)

• Four-Dimensional Model Assimilation of Data: A Strategy for the Earth System Sciences, by National Research Council Commission on Geosciences, Environment, and Resources (page images at NAP)

• PC Pilot: The Complete Guide to Computer Aviation (1994), by Steve Smith (HTML at flightsimbooks.com)

• Jet Fighter School: Air Combat Simulator Tactics and Maneuvers (1987), by Richard G. Sheffield (illustrated HTML at flightsimbooks.com)
• Jet Fighter School II: More Training for Computer Fighter Pilots (1988), by Richard G. Sheffield (illustrated HTML at flightsimbooks.com)

• Modeling and Simulation in Manufacturing and Defense Acquisition: Pathways to Success, by National Research Council Board on Manufacturing and Engineering Design (page images at NAP)

• Modeling and Simulation in Manufacturing and Defense Acquisition: Pathways to Success, by National Research Council Board on Manufacturing and Engineering Design (page images at NAP)

More items available under narrower terms.