| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA76.9 .F5 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) Maximum RPM: Taking the Red Hat Package Manager to the Limit, by Edward C. Bailey (HTML at rpm.org) |
| QA76.9 .F5 G49 1999 | Practical File System Design With the Be File System (San Francisco: Morgan Kaufmann, c1999), by Dominic Giampaolo (PDF at nobius.org) |
| QA76.9 .H85 E52 | The Encyclopedia of Human-Computer Interaction (second edition), by Interaction Design Foundation (illustrated HTML with commentary at interaction-design.org) |
| QA76.9 .H85 J46 1994 | Fragmentation: The Condition, the Cause, the Cure, by Craig Jensen (HTML at condusiv.com) |
| QA76.9 .H85 N67 1990 | The Psychology of Menu Selection: Designing Cognitive Control at the Human/Computer Interface, by Kent L. Norman (HTML at UMD) |
| QA76.9 .H85 V6 1995 | Virtual Reality: Scientific and Technological Challenges (1995), ed. by Nathaniel I. Durlach and Anne S. Mavor (page images with commentary at NAP) |
| QA76.9 .I52 | Hands-On Data Visualization: Interactive Storytelling From Spreadsheets to Code (open-access web edition; 2021), by Jack Dougherty and Ilya Ilyankou (illustrated HTML an handsondataviz.org) |
| QA76.9 .I52 D27 | Data Visualization in Society (Amsterdam: Amsterdam University Press, c2020), ed. by Martin Engebretsen and Helen Kennedy (PDF files with commentary at aup.nl and JSTOR) |
| QA76.9.I52 .V57 2018 | Viral Networks: Connecting Digital Humanities and Medical History (Blacksburg, VA: VT Publishing, 2018), ed. by E. Thomas Ewing and Katherine Randall (multiple formats with commentary at VT Publishing) |
| QA76.9 .L63 N53 2002 | Isabelle/HOL: A Proof Assistant for Higher-Order Logic (2018), by Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel (PDF in Germany) |
| QA76.9 .M35 | LMS Journal of Computation and Mathematics (1998-) (full serial archives) |
| QA76.9 .M35 B37 2013 | Category Theory for Computing Science (revised reprint from Theory and Applications of Categories, 2013), by Michael Barr and Charles Wells (PDF in Canada) |
| QA76.9 .M35 C48 | The Limits of Mathematics, by Gregory J. Chaitin (illustrated HTML at Maine) |
| QA76.9 .M35 D572 | Discrete Mathematics and Theoretical Computer Science (1997-) (partial serial archives) |
| QA76.9 .M35 D64 2013 | Applied Discrete Structures (version 2.0, 2013), by Alan Doerr and Kenneth Levasseur (PDF with commentary at uml.edu) |
| QA76.9 .M45 N63 2000 | Small Memory Software: Patterns for Systems with Limited Memory (free online edition, with supplementary material; c2004), by James Noble and Charles Weir (PDF files with commentary at smallmemory.com) |
| QA76.9 .M65 G66 2019 | Good Data (Theory on Demand #29; Amsterdam: Institute for Network Cultures, 2019), ed. by Angela Daly, S. Kate Devitt, and Monique Mann (multiple formats with commentary at networkcultures.org) |
| QA76.9 .N37 W56 2011 | Natural Computing and Beyond (proceedings of tsunami-disrupted Winter School Hakodate 2011, and 6th International Workshop on Natural Computing; c2013), ed. by Yasuhiro Suzuki and Toshiyuki Nakagaki (PDF files with commentary at SpringerLink) |
| QA76.9 N38 E87 2013 | Essential Speech and Language Technology for Dutch: Results by the STEVIN Programme (c2013), ed. by Peter Spyns and Jan Odijk (multiple formats with commentary at SpringerLink) |
| QA76.9 .Q36 | Data Journeys in the Sciences (Cham: Springer Open, c2020), ed. by Sabina Leonelli and Niccolò Tempini (multiple formats at Springer Link) |
| QA76.9 .S88 H3677 1998 | Modeling Reactive Systems with Statecharts: The STATEMATE Approach (New York et al.: McGraw Hill, c1998), by David Harel and Michal Politi (PDF files with commentary in Israel) |
| QA76.9 .S88 L35 2003 | Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (Boston et al.: Addison-Wesley, c2003), by Leslie Lamport (PDF with commentary at awurewebsites.net) |
| QA76.9 .T48 B88 2014 | What is the Text Encoding Initiative? How to Add Intelligent Markup to Digital Resources (Marseille: OpenEdition Press, 2014), by Lou Burnard (HTML with commentary at openedition.org) |
| QA76.9 .T48 C76 1997 | Text Algorithms (electronic edition, 1997), by Maxime Crochemore and Wojciech Rytter (PDF in France) |
| QA76.9.T48 M26 2008 | Introduction to Information Retrieval (prepublication version; 2008), by Christopher D. Manning, Prabhakar Raghavan, and Hinrich Schütze (HTML and PDF with commentary at Stanford) |