| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA76.9 .A25 G54 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) A Guide to Understanding Trusted Facility Management, by Virgil D. Gligor (HTML at fas.org) |
| QA76.9 .A25 G85 1988 | A Guide to Understanding Audit in Trusted Systems (version 2, 1988), by National Computer Security Center (U.S.) (HTML at fas.org) |
| QA76.9 .A25 G852 1988 | A Guide to Understanding Trusted Distribution in Trusted Systems (version 1, 1988), by National Computer Security Center (U.S.) (HTML at fas.org) |
| QA76.9 .A25 H376 2013 | Managing Risk and Information Security: Protect to Enable (c2013), by Malcolm Harkins (multiple formats with commentary at SpringerLink) |
| QA76.9.A25 H6985 2004 | Open Source Security Tools: Practical Applications for Security, by Tony Howlett (PDF at phptr.com) |
| QA76.9.A25 H83 2013 | Hacking the Xbox: An Introduction to Reverse Engineering (unlimited edition, 2013), by Andrew Huang (PDF with commentary at No Starch Press) |
| QA76.9 .A25 I5853 2007 | Introduction to the New Mainframe: Security (Poughkeepsie, NY: IBM International Technical Support Organization, 2007), by Rica Weller, Ross Clements, Ken Dugdale, Per Fremstad, Helmut Hellner, Olegario Hernandez, William C. Johnston, Patrick Kappeler, Linda Kochersberger, Abey Tedla, Jeff Thompson, and Ashwin Venkatraman (multiple formats at ibm.com) |
| QA76.9.A25 I87 1995 | 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 phptr.com) |
| QA76.9.C55 T478 2004 | Samba-3 by Example: Practical Exercises to Successful Deployment (second edition, 2005), by John H. Terpstra (PDF at phptr.com) |