Free at Last
1987 • 1 Reader
2014 • 65 Readers • 445 pages • 4.3
2012 • 29 Readers • 304 pages • 3
2013 • 12 Readers • 777 pages • 5
2018 • 31 Readers • 320 pages • 4.5
2013 • 8 Readers • 194 pages • 4.7
1788 • 127 Readers • 692 pages • 4.3
2005 • 386 Readers • 578 pages • 4.2
Data and Reality
1978 • 5 Readers • 4
2016 • 531 Readers • 352 pages • 3.5
#1 of 5 in Zones of Thought
1992 • 708 Readers • 624 pages • 4
Mechanizing Proof
2004 • 1 Reader
1966 • 25 Readers • 964 pages • 5
1992 • 1 Reader
Japan's Financial Crisis
2006 • 1 Reader
5 Basic Bioethics
2015 • 1 Reader
Crystal Eternity
3 Readers
1964 • 21 Readers • 228 pages • 3.8
2018 • 7 Readers • 200 pages • 3
2015 • 6 Readers • 4.5
11 Readers • 4.5
2021 • 18 Readers • 4.5
1979 • 56 Readers • 294 pages • 4.3
Reasoning About Program Transformations
2002 • 1 Reader
2012 • 1 Reader • 388 pages
Algebraic Semantics of Imperative Programs
1996 • 1 Reader
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
2017 • 69 Readers • 312 pages • 3.8
2017 • 33 Readers • 384 pages • 3.1
2021 • 10 Readers • 449 pages
Ockham's Razors
2010 • 12 Readers • 376 pages • 4
2014 • 11 Readers • 473 pages • 4
2018 • 7 Readers • 424 pages • 4
Community
Follow Along
We're an Open Book
Home
Library
Explore
Trending
Search