Call number | Item |
Q | Science (Go to start of category) |
QA | Mathematics and Computer Science (Go to start of category) |
QA76.6 A255 | 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) |
QA76.6 .A255 2022 | 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) |
QA76.6 .A272 | Michael Abrash's Graphics Programming Black Book (c1997), by Michael Abrash (PDF files at gamedev.net) |
QA76.6 .A74 2011 | Matters Computational: Ideas, Algorithms, Source Code (prepublication version, 2011), by Jörg Arndt (PDF and other formats at jjj.de) |
QA76.6 .B377 2004 | Programming From the Ground Up, by Jonathan Bartlett, ed. by Dominick Bruno |
QA76.6 .B5794 2022 | Live Coding: A User's Manual (Cambrige, MA and London: MIT Press, c2022), by Alan F. Blackwell, Emma Cocker, Geoff Cox, Alex McLean, and Thor Magnusson (multiple formats with commentary at toplap.org) |
QA76.6 .B835 1987 | A Little Smalltalk (c1987), by Timothy Budd (PDF at unibe.ch) |
QA76.6 .C6274 2004 | Version Control With Subversion (electronic editions), by Ben Collins-Sussman, Brian W. Fitzpatrick, and C. Michael Pilato (HTML and PDF with commentary at red-bean.com) |
QA76.6 .G84 1989 | Guidelines for Formal Verification Systems (1989), by Barbara Mayer and Monica Mcgill Lu (HTML at fas.org) |
QA76.6 .H57 1985 | Communicating Sequential Processes, by C. A. R. Hoare (PDF with commentary at usingcsp.com) |
QA76.6 .H66 1993 | Larch: Languages and Tools for Formal Specification, ed. by John V. Guttag and James J. Horning (Postscript at MIT) |
QA76.6 .H697 2002 | 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) |
QA76.6 .H697 2014 | How to Design Programs (second edition, c2014), by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi (HTML at neu.edu) |
QA76.6 .J666 1999 | Partial Evaluation and Automatic Program Generation (c1999), by Neil D. Jones, Carsten K. Gomard, and Peter Sestoft (PDF and Postscript with commentary in Denmark) |
QA76.6 .M3574 1983 | Machine Language for Beginners: Machine Language Programming for BASIC Language Programmers (1983), by Richard Mansfield (illustrated HTML at atariarchives.org) |
QA76.6 .M3576 1984 | The Second Book of Machine Language (1984), by Richard Mansfield (illustrated HTML at atariarchives.org) |
QA76.6 .M364317 2003 | Embedded Software Development With eCos (2003), by Anthony J. Massa (PDF at pearsoncmg.com) |
QA76.6 .M52 | Category Theory for Programmers (free online edition), by Bartosz Milewski, ed. by Igal Tabacnik (illustrated HTML and PDF with commentary at bartoszmilewski.com and Github) |
QA76.6 .M873 2014 | The Busy Coder's Guide to Android Development (older editions, mostly published in or before 2014), by Mark L. Murphy (PDF files with commentary at commonsware.com) |
QA76.6 .N66 1990 | 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) |
QA76.6 .N687 1992 | Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp (c1992), by Peter Norvig (multiple formats with commentary at Github) |
QA76.6 .R47 | The Craft of Programming (Englewood Cliffs, NJ, et al.: Prentice-Hall International, c1981), by John C. Reynolds (PDF at CMU) |
QA76.6 .S726 2019 | Elements of Programming (authors' edition; 2019), by Alexander A. Stepanov and Paul McJones (PDF files with commentary at elementsofprogramming.com) |
QA76.6 .V573 2017 | Scientific Programming and Computer Architecture (Cambridge, MA and London: MIT Press, c2017), by Divakar Viswanath (illustrated HTML at github.io) |
QA76.6 .W376 | Watch What I Do: Programming by Demonstration, ed. by Allen Cypher (illustrated HTML at acypher.com) |