Foundations

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

• Underground construction
• Building
• Architecture -- Details
• Structural engineering

• Soil mechanics
• Walls
• Earthwork

• Railroad tracks -- Foundations
• Arithmetic -- Foundations
• Geometry -- Foundations

• Foundation Engineering (New York et al.: McGraw-Hill, 1962), ed. by G. A. Leonards (page images at HathiTrust)

• An Analytical and Experimental Evaluation of Concrete Cross Tie and Fastener Loads (US Dept. of Transportation interim report; 1977), by R. H. Prause, H. D. Harrison, James C. Kennedy, and R. C. Arnlund (page images at HathiTrust)

• Theoretic Arithmetic, in Three Books (London: Printed for the author by A. J. Valpy, 1816), by Thomas Taylor (PDF at djm.cc)

• Optimization Algorithms on Matrix Manifolds (2008), by P.-A. Absil, R. Mahony, and R. Sepulchre (PDF files with commentary at Princeton)
• Probability and Algorithms, by National Research Council Committee on Applied and Theoretical Statistics (page images at NAP)

• Software Engineering: Report of a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968 (originally published 1969), ed. by Peter Naur and Brian Randell (PDF in the UK)
• Software Engineering Techniques: Report of a Conference Sponsored by the NATO Science Committee, Rome, Italy, 27th to 31st October 1969 (originally published 1970), ed. by J. N. Buxton and Brian Randell (PDF in the UK)

• Modal Logic and Process Algebra: A Bisimulation Perspective, ed. by A. Ponse, Maarten de Rijke, and Yde Venema (PDF at Stanford)

• Astronomical Data Analysis Software and Systems III, ed. by Dennis R. Crabtree, R. J. Hanisch, and Jeannette Barnes (HTML in Canada)

• Managing Microcomputers in Large Organizations, by National Research Council Board on Telecommunications and Computer Applications (page images with commentary at NAP)

• Frontiers of Supercomputing II: A National Reassessment (Berkeley: University of California Press, 1994), ed. by Karyn R. Ames and Alan Brenner (HTML at UC Press)

• Motion, Control, and Geometry: Proceedings of a Symposium, by National Research Council Commission on Physical Sciences, Mathematics, and Applications (page images at NAP)

• Motion, Control, and Geometry: Proceedings of a Symposium, by National Research Council Commission on Physical Sciences, Mathematics, and Applications (page images at NAP)

• Linguistic Databases, ed. by John A. Nerbonne (PDF at Stanford)

• Modal Logic and Process Algebra: A Bisimulation Perspective, ed. by A. Ponse, Maarten de Rijke, and Yde Venema (PDF at Stanford)

• Linguistic Databases, ed. by John A. Nerbonne (PDF at Stanford)

• Directions for Historical Linguistics: A Symposium (c1968), ed. by Winfred P. Lehmann and Yakov Malkiel (HTML at Texas)

• Situation Theory and its Applications (3 volumes; c1990-1993), ed. by Robin Cooper, Kuniaki Mukai, John Perry, Jon Barwise, Peter Aczel, Jean Mark Gawron, G. Plotkin, Syun Tutiya, David Israel, Yashuhiro Katagiri, and Stanley Peters (PDF files at Stanford)

• Linguistic Databases, ed. by John A. Nerbonne (PDF at Stanford)

• Development and the Information Age: Four Global Scenarios for the Future of Information and Communication Technology (1997), ed. by John Howkins and Robert Valantin (HTML at idrc.ca)

• The Search for Extraterrestrial Intelligence: SETI (1977), ed. by Philip Morrison, John Billingham, and John Wolfe (illustrated HTML at NASA)

• Development and the Information Age: Four Global Scenarios for the Future of Information and Communication Technology (1997), ed. by John Howkins and Robert Valantin (HTML at idrc.ca)

• Microbial Evolution and Co-Adaptation: A Tribute to the Life and Scientific Legacies of Joshua Lederberg (2009), by Institute of Medicine (U.S.) (HTML and page images at NAP)

• Algorithms and Complexity (first edition, 1994), by Herbert S. Wilf (PDF with commentary here at Penn)
• Algorithms and Data Structures (based on the 1985 edition; updated for Oberon in 2004), by Niklaus Wirth (PDF in Switzerland)
• Combinatorial Algorithms for Computers and Calculators (second edition, c1978), by Albert Nijenhuis and Herbert S. Wilf (PDF with commentary here at Penn)
• Data Structures and Algorithms With Object-Oriented Design Patterns in C++ (online version, with links to versions for other languages; c1999), by Bruno R. Preiss (frame-dependent HTML at brpreiss.com)
• Data Structures and Algorithms With Object-Oriented Design Patterns in Java (online version, with links to versions for other languages; c1999), by Bruno R. Preiss (frame-dependent HTML at brpreiss.com)
• Information, Randomness and Incompleteness (second edition, 1990), by Gregory J. Chaitin (Postscript at Maine)
• Lecture Notes on Bucket Algorithms (1986), by Luc Devroye (PDF in Canada)
• Selected works, by Bruno R. Preiss (frame-dependent HTML at brpreiss.com)

• Algorithmic Information Theory (based on the third printing, 1990), by Gregory J. Chaitin (PDF at Maine)
• Information-Theoretic Incompleteness, by Gregory J. Chaitin (Postscript at Maine)
• The Unknowable, by Gregory J. Chaitin (illustrated HTML at Maine)

• 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)

• Entropy and Information Theory (electronic edition, 2000), by Robert M. Gray (PDF at Stanford)
• Text Encoding Initiative Guidelines for Electronic Text Encoding and Interchange, by TEI Consortium (HTML at Virginia)

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

• Lecture Notes on Optimization (electronic edition of "Notes on Optimization", 1998), by Pravin Pratap Varaiya (PDF at Berkeley)

• Lectures on the Ikosahedron and the Solution of Equations of the Fifth Degree, by Felix Klein (frame- and JavaScript-dependent page images at Cornell)

• An Essay on the Foundations of Geometry (Cambridge: At the University Press, 1897), by Bertrand Russell (multiple formats at Google; US access only)
• The Foundations of Mathematics: A Contribution to the Philosophy of Geometry, by Paul Carus (frame- and JavaScript-dependent page images at Cornell)

More items available under narrower terms.