| Call number | Item |
| Q | Science (Go to start of category) |
| QA | Mathematics and Computer Science (Go to start of category) |
| QA76.9.I52 .V57 2018 | ![[Info]](https://onlinebooks.library.upenn.edu/info.gif) 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) |
| QA76.9.T48 M47 2003 | Text Processing in Python, by David Mertz (text with commentary at gnosis.cx) |
| QA76.9 .U83 | Weave: Journal of Library User Experience (2014-) (full serial archives) |
| QA76.9.U83 B53 2004 | C++ GUI programming with Qt 3 (c2004), by Jasmin Blanchette and Mark Summerfield (PDF at pearsoncmg.com) |
| QA76.9 .U83 O55 2014 | The CUTGroup: Civic User Testing Group as a New Model for UX Testing, Digital Skills Development, and Community Engagement in Civic Tech (Chicago: Smart Chicago Collaborative, 2014), by Daniel X. O'Neil (HTML with commentary at cutgroupbook.org) |
| QA76.9 .U83 S94 | KDE 2.0 Development, by David Sweet (HTML at kde.org) |
| QA76.9.V5 G67 2004 | Understanding the Linux Virtual Memory Manager (ca. 2004), by Mel Gorman (HTML and PDF at kernel.org) |
| QA76.9 .W43 W4154 2011 | Web Data Management (prepublication version, c2011), by S. Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, and Pierre Senellart (HTML and PDF with commentary at INRIA) |
| QA76.9 .W65 F574 | Digital Divas: Putting the Wow Into Computing for Girls (Clayton, Victoria: Monash University Publishing, c2016), by Julie Fisher, Catherine Lang, Annemieke Craig, and Helen Forgasz, contrib. by Amber McLeod |