2020 • 13 Readers • 364 pages • 4.3
#2 of 2 in Software Architecture for Developers
2014 • 65 Readers • 445 pages • 4.3
Free at Last
1987 • 1 Reader
2012 • 29 Readers • 304 pages • 3
2013 • 12 Readers • 777 pages • 5
2013 • 8 Readers • 194 pages • 4.7
1788 • 127 Readers • 692 pages • 4.3
2018 • 31 Readers • 320 pages • 4.5
2005 • 386 Readers • 578 pages • 4.2
Data and Reality
1978 • 5 Readers • 4
2016 • 532 Readers • 352 pages • 3.5
#1 of 5 in Zones of Thought
1992 • 708 Readers • 624 pages • 4
#1 of 1 in The Martian
Mechanizing Proof
2004 • 1 Reader
1966 • 25 Readers • 964 pages • 5
Japan's Financial Crisis
2006 • 1 Reader
1992 • 1 Reader
Building a Career in Software
5 Basic Bioethics
2015 • 1 Reader
1964 • 21 Readers • 228 pages • 3.8
Crystal Eternity
3 Readers
2015 • 6 Readers • 4.5
2018 • 7 Readers • 200 pages • 3
11 Readers • 4.5
2021 • 18 Readers • 4.5
1979 • 56 Readers • 294 pages • 4.3
Reasoning About Program Transformations
2002 • 1 Reader
Algebraic Semantics of Imperative Programs
1996 • 1 Reader
2012 • 1 Reader • 388 pages
Model Checking
1999 • 1 Reader
2015 • 37 Readers • 4.1
The Joy of Debugging
1 Reader
2018 • 5 Readers • 234 pages • 4
2011 • 1 Reader
Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search