| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA76.9 .A25 C6663 1990 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) Computers at Risk: Safe Computing in the Information Age (1991), by National Research Council Computer Science and Telecommunications Board (page images with commentary at NAP) |
| QA76.9 .A25 C73 1998 | Cracking DES: Secrets of Encryption Research, Wiretap Politics and Chip Design (1998), by Electronic Frontier Foundation (HTML at cryptome.org and other sites) |
| QA76.9 .A25 C87 2014 | UNIX System Security: A Guide for Users and System Administrators (originally published 1992; free electronic edition 2014), by David A. Curry (multiple formats with commentary at bitsinthewind.com) |
| QA76.9.A25 D44 1987 | Defending Secrets, Sharing Data: New Locks and Keys for Electronic Information (1987), by United States Congress Office of Technology Assessment (PDF files at Princeton) |
| QA76.9 .A25 D46 1982 | Cryptography and Data Security (Reading, MA et al.: Addison-Wesley, c1982), by Dorothy Elizabeth Robling Denning (PDF at npos.edu) |
| QA76.9 .A25 E5425 2007 | Engaging Privacy and Information Technology in a Digital Age (2007), ed. by James Waldo, Herbert Lin, and Lynette I. Millett (HTML and page images with commentary at NAP) |
| QA76.9 .A25 G54 | 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) |