Computer Science Year 3 (MCSL)

1.
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs 4.47 avg rating β€” 4,821 ratings
2.
Introduction to the Theory of Computation
Introduction to the Theory of Computation 4.24 avg rating β€” 2,091 ratings
3.
Learn You a Haskell for Great Good!: A Beginner's Guide
Learn You a Haskell for Great Good!: A Beginner's Guide 4.30 avg rating β€” 2,368 ratings
4.
The Little Schemer
The Little Schemer 4.29 avg rating β€” 1,978 ratings
5.
Functional Programming in Scala
Functional Programming in Scala 4.42 avg rating β€” 748 ratings
6.
Convex Optimization
Convex Optimization 4.48 avg rating β€” 343 ratings
7.
The Reasoned Schemer
The Reasoned Schemer 4.26 avg rating β€” 227 ratings
8.
Modern Operating Systems
Modern Operating Systems 4.15 avg rating β€” 2,179 ratings
9.
Computer Systems: A Programmer's Perspective
Computer Systems: A Programmer's Perspective 4.46 avg rating β€” 1,104 ratings
10.
Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis
Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis 4.24 avg rating β€” 91 ratings
11.
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation 4.05 avg rating β€” 667 ratings
12.
Introduction to the Analysis of Algorithms, An
Introduction to the Analysis of Algorithms, An 3.96 avg rating β€” 49 ratings
13.
Algorithms for Optimization
Algorithms for Optimization 4.70 avg rating β€” 33 ratings
14.
Elements of Information Theory 2nd Edition (Wiley Series in Telecommunications and Signal Processing)
Elements of Information Theory 2nd Edition (Wiley Series in Telecommunications and Signal Processing) 4.20 avg rating β€” 317 ratings
15.
Numerical Methods in Matrix Computations
Numerical Methods in Matrix Computations 4.40 avg rating β€” 5 ratings
16.
An Introduction to Functional Programming Through Lambda Calculus
An Introduction to Functional Programming Through Lambda Calculus 4.13 avg rating β€” 224 ratings
17.
Programming: Principles and Practice Using C++ (2nd Edition)
Programming: Principles and Practice Using C++ (2nd Edition) 4.23 avg rating β€” 505 ratings
17.
Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools 4.10 avg rating β€” 3,005 ratings
19.
Mathematical Foundations of Information Theory (Dover Books on Mathematics)
Mathematical Foundations of Information Theory (Dover Books on Mathematics) 3.92 avg rating β€” 24 ratings
20.
Numerical Optimization (Springer Series in Operations Research and Financial Engineering)
Numerical Optimization (Springer Series in Operations Research and Financial Engineering) 4.34 avg rating β€” 133 ratings
21.
Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3)
Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3) 4.26 avg rating β€” 148 ratings
21.
Numerical Recipes: The Art of Scientific Computing
Numerical Recipes: The Art of Scientific Computing 4.32 avg rating β€” 158 ratings
21.
Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement
Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement 4.01 avg rating β€” 731 ratings
24.
The Little Prover
The Little Prover really liked it 4.00 avg rating β€” 50 ratings
24.
The Little Typer
The Little Typer 4.10 avg rating β€” 94 ratings
26.
Randomized Algorithms
Randomized Algorithms 4.18 avg rating β€” 51 ratings
27.
The Design and Analysis of Algorithms (Monographs in Computer Science)
The Design and Analysis of Algorithms (Monographs in Computer Science) 4.32 avg rating β€” 22 ratings
27.
Analytic Combinatorics
Analytic Combinatorics 4.42 avg rating β€” 33 ratings
29.
Readings in Database Systems
Readings in Database Systems 4.62 avg rating β€” 45 ratings
30.
Fundamentals of Matrix Computations
Fundamentals of Matrix Computations really liked it 4.00 avg rating β€” 18 ratings
31.
Security Engineering: A Guide to Building Dependable Distributed Systems
Security Engineering: A Guide to Building Dependable Distributed Systems 4.21 avg rating β€” 696 ratings
32.
Computer Graphics: Principles and Practice
Computer Graphics: Principles and Practice 4.22 avg rating β€” 367 ratings
33.
Convex Optimization Algorithms
Convex Optimization Algorithms 4.33 avg rating β€” 9 ratings
34.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant 4.28 avg rating β€” 29 ratings
35.
Elements of Programming Interviews: The Insiders' Guide C++
Elements of Programming Interviews: The Insiders' Guide C++ 4.28 avg rating β€” 498 ratings
36.
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition 4.15 avg rating β€” 34 ratings
37.
Logic in Computer Science: Modelling and Reasoning About Systems
Logic in Computer Science: Modelling and Reasoning About Systems 3.96 avg rating β€” 73 ratings
37.
Computational Geometry: Algorithms and Applications
Computational Geometry: Algorithms and Applications 4.17 avg rating β€” 167 ratings
39.
Approximation Theory and Approximation Practice, Extended Edition
Approximation Theory and Approximation Practice, Extended Edition 4.67 avg rating β€” 9 ratings
40.
Principles of Model Checking
Principles of Model Checking 4.06 avg rating β€” 31 ratings
41.
Mathematical Logic for Computer Science
Mathematical Logic for Computer Science 3.76 avg rating β€” 21 ratings
42.
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) 4.17 avg rating β€” 12 ratings
43.
Lambda-Calculus and Combinators: An Introduction
Lambda-Calculus and Combinators: An Introduction 3.83 avg rating β€” 23 ratings
44.
GQL Scope and Features
GQL Scope and Features 3.50 avg rating β€” 2 ratings
44.
Theorem Proving in Lean
Theorem Proving in Lean 4.62 avg rating β€” 8 ratings
44.
Distributed Systems: Principles and Paradigms
Distributed Systems: Principles and Paradigms 3.99 avg rating β€” 472 ratings
47.
Concrete Semantics
Concrete Semantics 3.40 avg rating β€” 5 ratings
47.
Coding and Information Theory (Graduate Texts in Mathematics, 134)
Coding and Information Theory (Graduate Texts in Mathematics, 134) 3.94 avg rating β€” 18 ratings
49.
Computational Geometry: An Introduction (Monographs in Computer Science)
Computational Geometry: An Introduction (Monographs in Computer Science) 4.10 avg rating β€” 20 ratings
50.
Lambda Calculus with Types
Lambda Calculus with Types 4.43 avg rating β€” 7 ratings
51.
Coding and information theory
Coding and information theory 3.95 avg rating β€” 19 ratings
52.
Introduction to Coding Theory (Graduate Texts in Mathematics, 86)
Introduction to Coding Theory (Graduate Texts in Mathematics, 86) 3.82 avg rating β€” 11 ratings
53.
Entropy and Information Theory
Entropy and Information Theory 4.40 avg rating β€” 5 ratings
54.
Modern Coding Theory
Modern Coding Theory really liked it 4.00 avg rating β€” 3 ratings
55.
Elements of Information Theory
Elements of Information Theory 4.20 avg rating β€” 317 ratings
56.
Compilers: Principles, Techniques, and Tools
Compilers: Principles, Techniques, and Tools 4.10 avg rating β€” 3,005 ratings