Tag QA76.9
Tagged Works
- Specifying Systems: The TLA Language and Tools for Hardware and Software Engineers by Leslie Lamport
- The CWEB System of Structured Documentation, Version 3.0 by Donald E. Knuth
- Practical Guide to Structured Systems Design (2nd Edition) by Meilir Page-Jones
- Weapons of Math Destruction: How Big Data Increases Inequality and Threatens Democracy by Cathy O'Neil
- CodeWatch : an interactive source-level debugger by Language Processors
- Information management directions : the information challenge by Elizabeth Fong
- Practical UML Statecharts in C/C : Event-Driven Programming for Embedded Systems by Miro Samek
- Finding and Fixing Vulnerabilities in Information Systems: The Vulnerability Assessment and Mitigation Methodology by Philip S. Antón
- An Approach to Combining UML and TLA+ in Software Specification by Carol Lisa Freinkel
- The Temporal Logic of Actions by Leslie Lamport
- Ingres: Tools for Building an Information Technology by Carl Malamud
- DB2: Design and Development Guide (3rd Edition) by Gabrielle Wiorkowski
- Protected mode software architecture by Tom Shanley
- A Taxonomy of UNIX System and Network Vulnerabilities by Matt Bishop
- A programmer's guide to file processing by Douglas L. Cashing
- Alpha Architecture Handbook by Digital Equipment Corporation
- Data base management systems: A guide to microcomputer software by David Kruglinski
- The Dlx Instruction Set Architecture Handbook by Philip M. Sailer
- A Practical Guide to Data Base Design by Rex Hogan
- Data Structures and Algorithms by Alfred V. Aho
Using the Tag
cirdan747 (39), cainmark (2)Related Series
Books Read in 2017
130 members
Aliases and Translations
Includes: QA76.9, qa76.9
Google Books Ngram Viewer
Data from Books Ngram Viewer








































