| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA76.9.A25 I87 1995 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) Issue Update on Information Security and Privacy in Network Environments (Washington: GPO, 1995), by United States Congress Office of Technology Assessment |
| QA76.9 .A25 L97 2018 | The Huawei and Snowden Questions: Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? (Cham et al.: Springer Open, c2018), by Olav Lysne (PDF and Epub with commentary at SpringerLink) |
| QA76.9 .A25 M463 | Handbook of Applied Cryptography, by Alfred J. Menezes, Paul C. Van Oorschot, and Scott A. Vanstone (PDF and Postscript files with commentary at Waterloo) |
| QA76.9.A25 M47 | A Guide to Understanding Configuration Management in Trusted Systems (version 1, 1988), by James N. Menendez (HTML at fas.org) |
| QA76.9 .A25 S9317 | Cracking Codes with Python, by Al Sweigart (illustrated HTML with commentary at inventwithpython.com) |
| QA76.9 .A25 U55 | China's Censorship of the Internet and Social Media, the Human Toll and Trade Impact: Hearing Before the Congressional-Executive Commission on China, One Hundred Twelfth Congress, First Session, November 17, 2011 (Washington: GPO, 2012), by United States Congressional-Executive Commission on China (page images at HathiTrust) |
| QA76.9.A73 C65 | Computer Structures: Principles and Examples (1982), ed. by Daniel P. Siewiorek, C. Gordon Bell, and Allen Newell (illustrated HTML at Microsoft) |
| QA76.9.A73 D68 1998 | High Performance Computing (electronic edition, 2009), by Charles R. Severance and Kevin Dowd (multiple formats at archive.org) |
| 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 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) |