The Online Books Page

Computer science -- Mathematics

Here are entered works on those mathematical topics essential to the study of electronic data processing and computer science. Works on the use of electronic data processing and computers in mathematics are entered under Mathematics -- Data processing.

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

• Computer science
• Mathematics
• Electronic data processing
• Science -- Mathematics

• Computer science -- Mathematics -- Periodicals

• Computer mathematics
• Electronic data processing -- Mathematics

• Mathematics for Computer Science (online edition, last revised 2017), by Eric Lehman, Frank Thomson Leighton, and Albert R. Meyer (PDF at MIT)
• Introduction to the Theory of Computation (2016), by Anil Maheshwari and Michiel Smid (PDF with commentary at cglab.ca)
• Applied Discrete Structures (version 2.0, 2013), by Alan Doerr and Kenneth Levasseur (PDF with commentary at uml.edu)
• Building Blocks for Theoretical Computer Science (latest version at this listing is 1.3, 2013), by Margaret M. Fleck (PDF with commentary at Illinois)
• Category Theory for Computing Science (revised reprint from Theory and Applications of Categories, 2013), by Michael Barr and Charles Wells (PDF in Canada)
• Concrete Math Companion (c2002), by Kenneth E. Iverson (PDF at jsoftware.com)
• The Limits of Mathematics, by Gregory J. Chaitin (illustrated HTML at Maine)

• Discrete Mathematics and Theoretical Computer Science (1997-) (partial serial archives)
• LMS Journal of Computation and Mathematics (1998-) (full serial archives)
• The Australasian Journal of Combinatorics (1990-) (full serial archives)
• The Electronic Journal of Combinatorics (full serial archives)

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

• Introduction to Computing: Explorations in Language, Logic, and Machines (2011), by David Evans (PDF and HTML with commentary at computingbook.org)
• Models of Computation: Exploring the Power of Computing (Creative Commons edition; 2008), by John E. Savage (PDF with commentary at Brown)
• Concrete Abstractions: An Introduction to Computer Science Using Scheme (c1999), by Max Hailperin, Barbara Kaiser, and Karl Knight (PDF files with commentary at gustavus.edu)
• Foundations of Computer Science (C edition, ca. 1994), by Alfred V. Aho and Jeffrey D. Ullman (PDF files with commentary at Stanford)
• Elements of Robotics (Cham: Springer Open, c2018), by M. Ben-Ari and Francesco Mondada (PDF and EPub with commentary at EPFL and Springer)
• Introduction to Computer Science using Java (2018), by Bradley Kjell (illustrated HTML at programmedlessons.org)
• Simply Scheme: Introducing Computer Science (second edition, c1999), by Brian Harvey and Matthew Wright (illustrated HTML and PDF at Berkeley)
• Computing the Future: A Broader Agenda for Computer Science and Engineering, by National Research Council Computer Science and Telecommunications Board (Postscript and page images at NAP)

• Using History to Teach Computer Science and Related Disciplines (c2004), ed. by Atsushi Akera and William Aspray (PDF at cra.org)

• Intertwingled: The Work and Influence of Ted Nelson (Cham et al.: SpringerOpen, c2015), ed. by Doug Dechow and Daniele Carlo Struppa (PDF and Epub with commentary at springer.com)

• RAND and the Information Evolution: A History in Essays and Vignettes (2008), by Willis H. Ware (PDF with commentary at rand.org)

• Theses on the Metaphors of Digital-Textual History (Stanford, CA: Stanford University Press, c2024), by Martin Paul Eve (PDF with commentary in the UK)

• The Big Data Agenda: Data Ethics and Critical Data Studies (London: University of Westminster Press, 2018), by Annika Richterich
  • multiple formats with commentary at University of Westminster Press
  • HTML at Project MUSE

• Logical Methods in Computer Science (2005-) (full serial archives)
• PeerJ Computer Science (2015-) (full serial archives)
• Journal of the ACM (partial serial archives)
• Communications of the ACM (full serial archives)
• Informatica Economica (Bucharest: INFOREC Association, 1997-) (partial serial archives)
• Theory of Computing (2005-) (full serial archives)
• Journal of the Brazilian Computer Society (partial serial archives)

• Funding a Revolution: Government Support for Computing Research (1999), by National Research Council Computer Science and Telecommunications Board (HTML at NAP)

• CS Unplugged: An Enrichment and Extension Programme for Primary-aged Students (revised edition, 2015), by Timothy C. Bell, I. H. Witten, M. R. Fellows, Robyn Adams, Jane McKenzie, and Sam Jarman, illust. by Matt Powell (PDF with commentary at csunplugged.org)

• A Person-Centered Guide to Demystifying Technology (Urbana, IL: Windsor and Downs Press, c2020), by Martin Wolske (illustrated HTML and Epub with commentary at Illinois)

• Academic Careers for Experimental Computer Scientists and Engineers (1994), by National Research Council Committee on Academic Careers for Experimental Computer Scientists (HTML with commentary at NAP)

• Essential Speech and Language Technology for Dutch: Results by the STEVIN Programme (c2013), ed. by Peter Spyns and Jan Odijk (multiple formats with commentary at SpringerLink)
• The Open Handbook of Linguistic Data Management (Cambridge, MA and London: MIT Press, c2021), ed. by Andrea L. Berez-Kroeker, Bradley James McDonnell, Eve Koller, and Lauren B. Collister (PDF files with commentary at MIT Press)
• Strategic Research Agenda for Multilingual Europe 2020 (presented by META-NET; c2013), ed. by Georg Rehm and Hans Uszkoreit (PDF files with commentary at SpringerLink)
• Computational Linguistics: Models, Resources, Applications (c2004), by Igor A. Bolshakov and Alexander Gelbukh (PDF and illustrated HTML with commentary at gelbukh.com)
• Natural Language Processing With Python (electronic Creative Commons edition, updated for Python 3), by Steven Bird, Ewan Klein, and Edward Loper (illustrated HTML with commentary at nltk.org)
• Speech Understanding Research (final technical report; Menlo Park, CA: Stanford Research Institute, 1976), ed. by Donald E. Walker (PDF at dtic.mil)

• Transactions of the Association for Computational Linguistics (partial serial archives)

• Validating RDF Data (c2018), by Jose Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, and Dimitris Kontokostas (illustrated HTML with commentary at validatingrdf.com)
• Practical Semantic Web and Linked Data Applications: Common Lisp Edition (c2010), by Mark Watson (PDF at Github)
• Practical Semantic Web and Linked Data Applications: Java, Scala, Clojure, and JRuby Edition (c2010), by Mark Watson (PDF at Github)

• Practical Semantic Web and Linked Data Applications: Common Lisp Edition (c2010), by Mark Watson (PDF at Github)
• Practical Semantic Web and Linked Data Applications: Java, Scala, Clojure, and JRuby Edition (c2010), by Mark Watson (PDF at Github)
• An Introduction to Ontology Engineering (c2020), by C. Maria Keet (PDF in South Africa)
• Linked Data Patterns: A Pattern Catalogue for Modelling, Publishing, And consuming Linked Data (2012), by Leigh Dodds and Ian Davis (multiple formats at dataincubator.org)
• Linked Data: Evolving the Web into a Global Data Space (free electronic edition, c2011), by Tom Heath and Christian Bizer (illustrated HTML with commentary at linkeddatabook.com)
• Validating RDF Data (c2018), by Jose Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, and Dimitris Kontokostas (illustrated HTML with commentary at validatingrdf.com)
• Introduction to Information Retrieval (prepublication version; 2008), by Christopher D. Manning, Prabhakar Raghavan, and Hinrich Schütze (HTML and PDF with commentary at Stanford)

More items available under broader and related terms at left.