| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA76.585 .F67 2017 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) Cloud Computing for Science and Engineering (prepublication version, 2017), by Ian Foster and Dennis B. Gannon (HTML at cloud4scienceng.org) |
| QA76.585 .I27 2019 | Kubernetes Patterns: Reusable Elements for Designing Cloud-Native Applications (Sebastopol, CA et al.: O'Reilly Media, 2019), by Bilgin Ibryam and Roland Huss (PDF at redhat.com) |
| QA76.59 .F554 | Mobile Design and Development (electronic edition, originally published 2009), by Brian Fling (HTML with commentary at Wayback Machine) |
| QA76.6 .A1229 2010 | 97 Things Every Programmer Should Know (wiki version, ca. 2010), ed. by Kevlin Henney (HTML at oreilly.com) |
| 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 .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 phptr.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) |