Call number | Item |
Q | Science (Go to start of category) |
QA | Mathematics and Computer Science (Go to start of category) |
QA76.9 .A73 K66 | An Architecture for Combinator Graph Reduction, by Philip Koopman (PDF files with commentary at CMU) |
QA76.9.A73 L48 1984 | Capability-Based Computer Systems (1984), by Henry M. Levy (PDF files at Washington) |
QA76.9.A96 C45 2016 | Certified Programming with Dependent Types (latest electronic edition), by Adam Chlipala (PDF and HTML with commentary at chlipala.net) |
QA76.9.A96 G35 1986 | Logic for Computer Science: Foundations of Automatic Theorem Proving (revised edition, 2003, with errata for the original edition and other papers), by Jean H. Gallier (PDF and Postscript files here at Penn) |
QA76.9 .A96 I47 | Implementing Mathematics with the Nuprl Proof Development System (1985), ed. by R. L. Constable (illustrated HTML at Cornell) |
QA76.9 .A96 N57 2018 | Concrete Semantics with Isabelle/HOL (2018), by Tobias Nipkow and Gerwin Klein (PDF with commentary at concrete-semantics.org) |
QA76.9 .B45 | Big Data and Society (2014-) (partial serial archives) |
QA76.9 .B45 R53 2018 | The Big Data Agenda: Data Ethics and Critical Data Studies (London: University of Westminster Press, 2018), by Annika Richterich |
QA76.9 .B56 J68 | The Journal of the British Blockchain Association (2018-) (full serial archives) |
QA76.9.C55 T478 2004 | Cross-Platform GUI Programming with wxWidgets, by Julian Smart and Kevin Hock, contrib. by Stefan Csomor (PDF at pearsoncmg.com) |
QA76.9.C55 T478 2004 | Samba-3 by Example: Practical Exercises to Successful Deployment (second edition, 2005), by John H. Terpstra (PDF at pearsoncmg.com) |
QA76.9 .C65 S385 2012 | The Nature of Code (c2012), by Daniel Shiffman, ed. by Shannon Fry, illust. by Zannah Marsh (illustrated HTML with commentary at natureofcode.com) |
QA76.9 .C66 A245 2008 | Blown to Bits: Your Life, Liberty, and Happiness After the Digital Explosion (2008), by Harold Abelson, Ken Ledeen, and Harry R. Lewis (PDF with commentary at bitsbook.com) |
QA76.9.C66 B52 | Citizens, Computers, and Connectivity: A Review of Trends (1999), by Tora K. Bikson and Constantijn W. A. Panis (PDF files at rand.org) |
QA76.9.C66 G465 | When Things Start to Think (c1999), by Neil A. Gershenfeld (HTML with commentary at kurzweilai.net) |
QA76.9 .C66 K45 1996 | Digital Creativity (London: Calouste Gulbenkian Foundation, 1996), by Owen Kelly (PDF with commentary at gulbenkian.org.uk) |
QA76.9 .C66 .M333 2010 | Text and Genre in Reconstruction: Effects of Digitalization on Ideas, Behaviours, Products and Institutions (Cambridge, UK: OpenBook, 2010), ed. by Willard McCarty (page images at Google) |
QA76.9 .C66 M3625 | Software Takes Command: Extending the Language of New Media (New York and London: Bloomsbury, c2013), by Lev Manovich (illustrated HTML with commentary at Bloomsbury Collections) |
QA76.9 .C66 R39 1996 | Moths to the Flame: The Seductions of Computer Technology, by Gregory J. E. Rawlins (HTML at MIT) |
QA76.9 .C66 R62 1997 | Trapped in the Net: The Unanticipated Consequences of Computerization, by Gene I. Rochlin (HTML at Princeton) |
QA76.9 .C66S67 2013 | Software and Mind: The Mechanistic Myth and its Consequences (Toronto: Andsor books, c2013), by Andrei Sorin (PDF with commentary at softwareandmind.com) |
QA76.9 .C66 T34 1995 | The Future Does Not Compute: Transcending the Machines in Our Midst (c1995), by Stephen L. Talbott (HTML with commentary at netfuture.com) |
QA76.9.D26 M35 1989 | INGRES: Tools for Building an Information Architecture (c1989), by Carl Malamud (page images at HathiTrust) |
QA76.9 .D3 A26 1995 | Foundations of Databases (ca. 1995), by S. Abiteboul, Richard Hull, and Victor Vianu (PDF with commentary at INRIA) |
QA76.9.D3 A6325 2010 | CouchDB: The Definitive Guide (2010; with translations and link to current documentation), by J. Chris Anderson (HTML at couchdb.org) |