| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA76.6 .B5794 2022 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) 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) |
| QA76.6 .W38 | Usborne Introduction to Machine Code for Beginners (London: Usborne Pub., c1983), by Lisa Watts and Mike Wharton, illust. by Naomi Reed and Graham Round (PDF at Usborne and Google) |
| QA76.6 .W56 2019 | Teaching Tech Together: How to Create and Deliver Lessons That Work and Build a Teaching Community Around Them (free online editions in English and Spanish; c2019), by Greg Wilson (illustrated HTML with commentary at teachtogether.tech) |
| QA76.62 .P49 | Implementing Functional Languages: A Tutorial (1992), by Simon L. Peyton Jones and David R. Lester (compressed formats at Microsoft) |
| QA76.62 .T46 1999 | Type Theory and Functional Programming (c1999), by Simon Thompson (PDF and Postscript with commentary in the UK) |
| QA76.62 V36 | Clojure Cookbook (open source Github version; originally published 2014), by Luke VanderHart and Ryan Neufeld (HTML with commentary at Github) |