Discover new books on Goodreads
Meet your next favorite book
Computer Science Year 3 (MCSL)
MCSL reading lists by Henry
(Mathematics · Computer Science · Statistical Science · Machine Learning)
Mathematics Year 1 (MCSL)
https://www.goodreads.com/list/show/1...
Computer Science Year 1 (MCSL)
https://www.goodreads.com/list/show/1...
Statistical Science Year 1 (MCSL)
https://www.goodreads.com/list/show/1...
Machine Learning Year 1 (MCSL)
https://www.goodreads.com/list/show/1...
Mathematics Year 2 (MCSL)
https://www.goodreads.com/list/show/1...
Computer Science Year 2 (MCSL)
https://www.goodreads.com/list/show/1...
Statistical Science Year 2 (MCSL)
https://www.goodreads.com/list/show/1...
Machine Learning Year 2 (MCSL)
https://www.goodreads.com/list/show/1...
Mathematics Year 3 (MCSL)
https://www.goodreads.com/list/show/1...
Computer Science Year 3 (MCSL)
https://www.goodreads.com/list/show/1...
Statistical Science Year 3 (MCSL)
https://www.goodreads.com/list/show/1...
Machine Learning Year 3 (MCSL)
https://www.goodreads.com/list/show/1...
Mathematics Year 4 (MCSL)
https://www.goodreads.com/list/show/1...
Computer Science Year 4 (MCSL)
https://www.goodreads.com/list/show/1...
Statistical Science Year 4 (MCSL)
https://www.goodreads.com/list/show/1...
Machine Learning Year 4 (MCSL)
https://www.goodreads.com/list/show/1...
(Mathematics · Computer Science · Statistical Science · Machine Learning)
Mathematics Year 1 (MCSL)
https://www.goodreads.com/list/show/1...
Computer Science Year 1 (MCSL)
https://www.goodreads.com/list/show/1...
Statistical Science Year 1 (MCSL)
https://www.goodreads.com/list/show/1...
Machine Learning Year 1 (MCSL)
https://www.goodreads.com/list/show/1...
Mathematics Year 2 (MCSL)
https://www.goodreads.com/list/show/1...
Computer Science Year 2 (MCSL)
https://www.goodreads.com/list/show/1...
Statistical Science Year 2 (MCSL)
https://www.goodreads.com/list/show/1...
Machine Learning Year 2 (MCSL)
https://www.goodreads.com/list/show/1...
Mathematics Year 3 (MCSL)
https://www.goodreads.com/list/show/1...
Computer Science Year 3 (MCSL)
https://www.goodreads.com/list/show/1...
Statistical Science Year 3 (MCSL)
https://www.goodreads.com/list/show/1...
Machine Learning Year 3 (MCSL)
https://www.goodreads.com/list/show/1...
Mathematics Year 4 (MCSL)
https://www.goodreads.com/list/show/1...
Computer Science Year 4 (MCSL)
https://www.goodreads.com/list/show/1...
Statistical Science Year 4 (MCSL)
https://www.goodreads.com/list/show/1...
Machine Learning Year 4 (MCSL)
https://www.goodreads.com/list/show/1...
Score
A book’s total score is based on multiple factors, including the number of people who have voted for it and how highly those voters ranked the book.
1 |
Structure and Interpretation of Computer Programs
by
4.47 avg rating — 4,829 ratings
score: 885,
and
9 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
2 |
Introduction to the Theory of Computation
by
4.24 avg rating — 2,094 ratings
score: 609,
and
7 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
3 |
Learn You a Haskell for Great Good!: A Beginner's Guide
by
4.31 avg rating — 2,370 ratings
score: 487,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
4 |
The Little Schemer
by
4.29 avg rating — 1,978 ratings
score: 476,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
5 |
Functional Programming in Scala
by
Rúnar Bjarnason (Goodreads Author)
4.42 avg rating — 748 ratings
score: 463,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
6 |
Convex Optimization
by
4.48 avg rating — 345 ratings
score: 445,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
7 |
The Reasoned Schemer
by
4.26 avg rating — 226 ratings
score: 443,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
8 |
Modern Operating Systems
by
4.15 avg rating — 2,180 ratings
score: 440,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
9 |
Computer Systems: A Programmer's Perspective
by
4.46 avg rating — 1,114 ratings
score: 422,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
10 |
Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis
by
4.23 avg rating — 92 ratings
score: 413,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
11 |
Introduction to Automata Theory, Languages, and Computation
by
4.06 avg rating — 668 ratings
score: 405,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
12 |
Introduction to the Analysis of Algorithms, An
by
3.96 avg rating — 49 ratings
score: 392,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
13 |
Algorithms for Optimization
by
4.68 avg rating — 34 ratings
score: 375,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
14 |
Elements of Information Theory 2nd Edition (Wiley Series in Telecommunications and Signal Processing)
by
4.20 avg rating — 320 ratings
score: 374,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
15 |
Numerical Methods in Matrix Computations
by
4.40 avg rating — 5 ratings
score: 353,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
16 |
An Introduction to Functional Programming Through Lambda Calculus
by
Greg Michaelson (Goodreads Author)
4.13 avg rating — 224 ratings
score: 352,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
17 |
Programming: Principles and Practice Using C++ (2nd Edition)
by
4.23 avg rating — 505 ratings
score: 349,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
17 |
Compilers: Principles, Techniques, and Tools
by
4.10 avg rating — 3,007 ratings
score: 349,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
19 |
Mathematical Foundations of Information Theory (Dover Books on Mathematics)
by
3.92 avg rating — 24 ratings
score: 348,
and
5 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
20 |
Numerical Optimization (Springer Series in Operations Research and Financial Engineering)
by
4.34 avg rating — 134 ratings
score: 326,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
21 |
Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3)
by
4.26 avg rating — 149 ratings
score: 325,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
21 |
Numerical Recipes: The Art of Scientific Computing
by
4.32 avg rating — 158 ratings
score: 325,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
21 |
Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement
by
4.01 avg rating — 731 ratings
score: 325,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
24 |
The Little Prover
by
3.98 avg rating — 49 ratings
score: 319,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
24 |
The Little Typer
by
4.10 avg rating — 94 ratings
score: 319,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
26 |
Randomized Algorithms
by
4.18 avg rating — 51 ratings
score: 317,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
27 |
The Design and Analysis of Algorithms (Monographs in Computer Science)
by
4.32 avg rating — 22 ratings
score: 306,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
27 |
Analytic Combinatorics
by
4.42 avg rating — 33 ratings
score: 306,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
29 |
Readings in Database Systems
by
Peter Bailis (editor)
4.62 avg rating — 45 ratings
score: 291,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
30 |
Fundamentals of Matrix Computations
by
4.05 avg rating — 19 ratings
score: 290,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
31 |
Security Engineering: A Guide to Building Dependable Distributed Systems
by
4.21 avg rating — 700 ratings
score: 285,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
32 |
Computer Graphics: Principles and Practice
by
4.22 avg rating — 368 ratings
score: 278,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
33 |
Convex Optimization Algorithms
by
4.33 avg rating — 9 ratings
score: 277,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
34 |
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
by
4.28 avg rating — 29 ratings
score: 276,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
35 |
Elements of Programming Interviews: The Insiders' Guide C++
by
4.28 avg rating — 498 ratings
score: 273,
and
3 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
36 |
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
by
4.15 avg rating — 34 ratings
score: 272,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
37 |
Logic in Computer Science: Modelling and Reasoning About Systems
by
3.96 avg rating — 74 ratings
score: 271,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
37 |
Computational Geometry: Algorithms and Applications
by
4.17 avg rating — 168 ratings
score: 271,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
39 |
Approximation Theory and Approximation Practice, Extended Edition
by
4.73 avg rating — 11 ratings
score: 270,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
40 |
Principles of Model Checking
by
4.06 avg rating — 31 ratings
score: 261,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
41 |
Mathematical Logic for Computer Science
by
3.76 avg rating — 21 ratings
score: 254,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
42 |
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
by
4.17 avg rating — 12 ratings
score: 252,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
43 |
Lambda-Calculus and Combinators: An Introduction
by
3.83 avg rating — 23 ratings
score: 251,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
44 |
GQL Scope and Features
by
3.50 avg rating — 2 ratings
score: 250,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
44 |
Theorem Proving in Lean
by
4.62 avg rating — 8 ratings
score: 250,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
44 |
Distributed Systems: Principles and Paradigms
by
3.99 avg rating — 477 ratings
score: 250,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
47 |
Concrete Semantics
by
3.40 avg rating — 5 ratings
score: 246,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
47 |
Coding and Information Theory (Graduate Texts in Mathematics, 134)
by
3.94 avg rating — 18 ratings
score: 246,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
49 |
Computational Geometry: An Introduction (Monographs in Computer Science)
by
4.10 avg rating — 20 ratings
score: 238,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
50 |
Lambda Calculus with Types
by
4.43 avg rating — 7 ratings
score: 236,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
51 |
Coding and information theory
by
3.95 avg rating — 19 ratings
score: 234,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
52 |
Introduction to Coding Theory (Graduate Texts in Mathematics, 86)
by
3.82 avg rating — 11 ratings
score: 233,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
53 |
Entropy and Information Theory
by
really liked it 4.00 avg rating — 7 ratings
score: 232,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
54 |
Modern Coding Theory
by
really liked it 4.00 avg rating — 3 ratings
score: 226,
and
4 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
55 |
Elements of Information Theory
by
4.20 avg rating — 320 ratings
score: 216,
and
3 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
|
56 |
Compilers: Principles, Techniques, and Tools
by
4.10 avg rating — 3,007 ratings
score: 150,
and
2 people voted
![]() |
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
Anyone can add books to this list.
How to Vote
To vote on existing books from the list, beside each book there is a link vote for this book clicking it will add that book to your votes.
To vote on books not in the list or books you couldn't find in the list, you can click on the tab add books to this list and then choose from your books, or simply search.