Programming Theory Books

Showing 1-29 of 29
Clean Code: A Handbook of Agile Software Craftsmanship Clean Code: A Handbook of Agile Software Craftsmanship (Paperback)
by (shelved 2 times as programming-theory)
avg rating 4.36 — 23,184 ratings — published 2007
Rate this book
Clear rating
Test-Driven Development: By Example Test-Driven Development: By Example (Paperback)
by (shelved 2 times as programming-theory)
avg rating 4.10 — 4,385 ratings — published 2002
Rate this book
Clear rating
The Programmer's Brain The Programmer's Brain (Paperback)
by (shelved 1 time as programming-theory)
avg rating 3.86 — 400 ratings — published
Rate this book
Clear rating
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 3.84 — 1,050 ratings — published 1997
Rate this book
Clear rating
Joel on Software Joel on Software (Paperback)
by (shelved 1 time as programming-theory)
avg rating 4.13 — 3,377 ratings — published 2004
Rate this book
Clear rating
Domain-Driven Design Distilled Domain-Driven Design Distilled (Paperback)
by (shelved 1 time as programming-theory)
avg rating 3.82 — 1,307 ratings — published
Rate this book
Clear rating
Reactive Messaging Patterns With the Actor Model: Applications and Integration in Scala and Akka Reactive Messaging Patterns With the Actor Model: Applications and Integration in Scala and Akka (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 3.62 — 105 ratings — published 2014
Rate this book
Clear rating
Clean Architecture Clean Architecture (Paperback)
by (shelved 1 time as programming-theory)
avg rating 4.22 — 6,950 ratings — published 2017
Rate this book
Clear rating
Implementing Domain-Driven Design Implementing Domain-Driven Design (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 4.05 — 1,283 ratings — published 2013
Rate this book
Clear rating
The Clean Coder: A Code of Conduct for Professional Programmers The Clean Coder: A Code of Conduct for Professional Programmers (Paperback)
by (shelved 1 time as programming-theory)
avg rating 4.26 — 9,206 ratings — published 2011
Rate this book
Clear rating
Domain-Specific Languages (Addison-Wesley Signature Series (Fowler)) Domain-Specific Languages (Addison-Wesley Signature Series (Fowler))
by (shelved 1 time as programming-theory)
avg rating 3.87 — 330 ratings — published 2010
Rate this book
Clear rating
UML for Java¿ Programmers UML for Java¿ Programmers (Paperback)
by (shelved 1 time as programming-theory)
avg rating 3.63 — 49 ratings — published 2003
Rate this book
Clear rating
Implementation Patterns Implementation Patterns (Paperback)
by (shelved 1 time as programming-theory)
avg rating 3.61 — 529 ratings — published 2006
Rate this book
Clear rating
UML Distilled: A Brief Guide to the Standard Object Modeling Language UML Distilled: A Brief Guide to the Standard Object Modeling Language (Paperback)
by (shelved 1 time as programming-theory)
avg rating 3.80 — 1,514 ratings — published 1997
Rate this book
Clear rating
Patterns of Enterprise Application Architecture Patterns of Enterprise Application Architecture (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 4.12 — 3,870 ratings — published 2002
Rate this book
Clear rating
Extreme Programming Explained: Embrace Change (The XP Series) Extreme Programming Explained: Embrace Change (The XP Series)
by (shelved 1 time as programming-theory)
avg rating 4.12 — 4,070 ratings — published 1999
Rate this book
Clear rating
Refactoring: Improving the Design of Existing Code Refactoring: Improving the Design of Existing Code (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 4.24 — 8,791 ratings — published 1999
Rate this book
Clear rating
Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352) Proof, Computation and Agency: Logic at the Crossroads (Synthese Library, 352)
by (shelved 1 time as programming-theory)
avg rating 4.00 — 1 rating — published 2010
Rate this book
Clear rating
Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering Agent Technology from a Formal Perspective. NASA Monographs in Systems and Software Engineering (ebook)
by (shelved 1 time as programming-theory)
avg rating 0.0 — 0 ratings — published 2006
Rate this book
Clear rating
Logic at the Crossroads (set): Proof, Computation and Agency Games, Norms and Reasons Logic at the Crossroads (set): Proof, Computation and Agency Games, Norms and Reasons
by (shelved 1 time as programming-theory)
avg rating 0.0 — 0 ratings — published 2011
Rate this book
Clear rating
Software Abstractions: Logic, Language, And Analysis Software Abstractions: Logic, Language, And Analysis (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 3.87 — 54 ratings — published 2006
Rate this book
Clear rating
Modern Information Retrieval Modern Information Retrieval (Paperback)
by (shelved 1 time as programming-theory)
avg rating 3.80 — 132 ratings — published 1999
Rate this book
Clear rating
Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 4.09 — 90 ratings — published 1997
Rate this book
Clear rating
Language, Proof and Logic Language, Proof and Logic (Paperback)
by (shelved 1 time as programming-theory)
avg rating 3.49 — 169 ratings — published 1999
Rate this book
Clear rating
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
by (shelved 1 time as programming-theory)
avg rating 3.00 — 1 rating — published 2000
Rate this book
Clear rating
Interactive Theorem Proving and Program Development Interactive Theorem Proving and Program Development (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 4.11 — 28 ratings — published 2004
Rate this book
Clear rating
Concepts, Techniques, and Models of Computer Programming Concepts, Techniques, and Models of Computer Programming (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 4.10 — 244 ratings — published 2004
Rate this book
Clear rating
Design Patterns: Elements of Reusable Object-Oriented Software Design Patterns: Elements of Reusable Object-Oriented Software (Hardcover)
by (shelved 1 time as programming-theory)
avg rating 4.20 — 11,877 ratings — published 1994
Rate this book
Clear rating
Code Complete: A Practical Handbook of Software Construction Code Complete: A Practical Handbook of Software Construction (Paperback)
by (shelved 1 time as programming-theory)
avg rating 4.30 — 9,456 ratings — published 1993
Rate this book
Clear rating

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »