Call number | Item |
Q | Science (Go to start of category) |
QA | Mathematics and Computer Science (Go to start of category) |
QA76.9 D35 | Open Data Structures (multiple editions; c2013), by Pat Morin |
QA76.9 .D35 D48 1986 | Lecture Notes on Bucket Algorithms (1986), by Luc Devroye (PDF at devroye.org) |
QA76.9 .D35 O35 1996 | Purely Functional Data Structures (dissertation version, 1996), by Chris Okasaki (PDF at CMU) |
QA76.9.D35 W58 2004 | Algorithms and Data Structures (based on the 1985 edition; updated for Oberon in 2004), by Niklaus Wirth (PDF in Switzerland) |
QA76.9 .D37 B376 2009 | The Datacenter as a Computer: Designing Warehouse-Scale Machines (third edition; c2022), by Luiz André Barroso, Urs Hölzle, and Parthasarathy Ranganathan (PDF with commentary at springer.com) |
QA76.9 .D37 F68 2009 | The Fourth Paradigm: Data-Intensive Scientific Discovery (Redmond, WA: Microsoft Research, c2009), ed. by Anthony J. G. Hey, Stewart Tansley, and Kristin Michele Tolle (PDF files with commentary at Microsoft) |
QA76.9 .D5 C79 | Open Distributed Systems (1996), by Jon Crowcroft |
QA76.9 .D6 G851 1988 | A Guide to Understanding Design Documentation in Trusted Systems (version 1, 1988), by National Computer Security Center (U.S.) (HTML at fas.org) |
QA76.9 .F5 | 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 M49 2016 | Design for Real Life (c2016), by Eric A. Meyer and Sara Wachter-Boettcher (illustrated HTML with commentary at dfrlbook.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) |