|
Notes on the Analytical Engine
|
work on computing
|
|
Computational Complexity: A Conceptual Perspective
|
—
|
|
Introduction to Property Testing
|
—
|
|
P, NP, and NP-Completeness: The Basics of Complexity Theory
|
—
|
|
Modern Cryptography, Probabilistic Proofs and Pseudorandomness
|
—
|
|
On Computable Numbers with an Application to the Entscheidungsproblem
surface form:
On Computable Numbers, with an Application to the Entscheidungsproblem
|
computer science foundational work
|
|
First Draft of a Report on the EDVAC
|
computer science document
|
|
Great Principles of Computing
|
—
|
|
The Science of Computing
|
—
|
|
The C Programming Language
|
—
|
|
Algorithms + Data Structures = Programs
|
computer science textbook
|
|
Compiler Construction
|
—
|
|
"Unix Text Processing"
surface form:
Unix Text Processing
|
—
|
|
Dragon Book
|
—
|
|
Operating Systems: Design and Implementation
|
—
|
|
The Clean Coder
|
software engineering book
|
|
DDD (book)
surface form:
Domain-Driven Design: Tackling Complexity in the Heart of Software
|
software engineering book
|
|
Communication Nets: Stochastic Message Flow and Delay
|
queueing theory book
|
|
"Computer Architecture: A Quantitative Approach"
surface form:
Computer Architecture: A Quantitative Approach
|
—
|
|
"Computer Organization and Design"
surface form:
Computer Organization and Design
|
—
|
|
Pro Git
|
software development book
|
|
Fundamentals of Interactive Computer Graphics
|
computer graphics textbook
|
|
Computer Architecture: Concepts and Evolution
|
—
|
|
The Unix Programming Environment
|
—
|
|
No Silver Bullet: Essence and Accidents of Software Engineering
|
computer science essay
|
|
Michael Feathers
surface form:
Working Effectively with Legacy Code
|
software engineering book
|
|
Julie Sussman
surface form:
Structure and Interpretation of Computer Programs
|
computer science textbook
|
|
Structured Computer Organization
|
—
|
|
Distributed Systems
|
—
|
|
Programming Perl
|
Perl book
|
|
Mathematical Theory of Computation
|
theoretical computer science textbook
|
|
The Calculus of Computation
|
—
|
|
Verification of Concurrent Programs
|
—
|
|
Program Verification: Approaches and Tools
|
—
|
|
Computer Graphics: Principles and Practice
|
computer graphics textbook
|
|
"Introduction to Automata Theory, Languages, and Computation"
surface form:
Introduction to Automata Theory, Languages, and Computation
|
—
|
|
The Art of Computer Programming
|
—
|
|
Structure and Interpretation of Computer Programs
|
computer science textbook
|
|
Design Patterns: Elements of Reusable Object-Oriented Software
|
software engineering book
|
|
Introduction to Algorithms
|
—
|
|
Concrete Mathematics
|
computer science textbook
|
|
Compilers: Principles, Techniques, and Tools
|
computer science textbook
|
|
Modern Operating Systems
|
computer science textbook
|
|
Refactoring: Improving the Design of Existing Code
|
software engineering book
|
|
Clean Code: A Handbook of Agile Software Craftsmanship
|
software engineering book
|
|
Domain-Driven Design: Tackling Complexity in the Heart of Software
|
software engineering book
|
|
The Mythical Man-Month
|
software engineering book
|
|
Introduction to the Theory of Computation
|
—
|
|
Computer Networks
|
computer networking book
|
|
Database System Concepts
|
—
|