Computer Science Year 3 (MCSL)

flag

All Votes Add Books To This List

1	Structure and Interpretation of Computer Programs by Harold Abelson 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
2	Introduction to the Theory of Computation by Michael Sipser 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
3	Learn You a Haskell for Great Good!: A Beginner's Guide by Miran Lipovača 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
4	The Little Schemer by Daniel P. Friedman 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
6	Convex Optimization by Stephen Boyd 4.48 avg rating — 345 ratings score: 445, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
7	The Reasoned Schemer by Daniel P. Friedman 4.26 avg rating — 226 ratings score: 443, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
8	Modern Operating Systems by Andrew S. Tanenbaum 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
9	Computer Systems: A Programmer's Perspective by Randal E. Bryant 4.46 avg rating — 1,115 ratings score: 422, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
10	Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis by Michael Mitzenmacher 4.23 avg rating — 92 ratings score: 413, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
11	Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft 4.06 avg rating — 668 ratings score: 405, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
12	Introduction to the Analysis of Algorithms, An by Robert Sedgewick 3.96 avg rating — 49 ratings score: 392, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	Algorithms for Optimization by Mykel J. Kochenderfer 4.68 avg rating — 34 ratings score: 375, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
14	Elements of Information Theory 2nd Edition (Wiley Series in Telecommunications and Signal Processing) by Thomas M. Cover 4.20 avg rating — 319 ratings score: 374, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
15	Numerical Methods in Matrix Computations by Åke Björck 4.40 avg rating — 5 ratings score: 353, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
17	Programming: Principles and Practice Using C++ (2nd Edition) by Bjarne Stroustrup 4.23 avg rating — 505 ratings score: 349, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
17	Compilers: Principles, Techniques, and Tools by Alfred V. Aho 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
19	Mathematical Foundations of Information Theory (Dover Books on Mathematics) by Aleksandr Yakovlevich Khinchin 3.92 avg rating — 24 ratings score: 348, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
20	Numerical Optimization (Springer Series in Operations Research and Financial Engineering) by Jorge Nocedal 4.34 avg rating — 134 ratings score: 326, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
21	Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3) by Gene H. Golub 4.26 avg rating — 149 ratings score: 325, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
21	Numerical Recipes: The Art of Scientific Computing by William H. Press 4.32 avg rating — 158 ratings score: 325, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
21	Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement by Luc Perkins 4.01 avg rating — 731 ratings score: 325, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
24	The Little Prover by Daniel P. Friedman 3.98 avg rating — 49 ratings score: 319, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
24	The Little Typer by Daniel P. Friedman 4.10 avg rating — 94 ratings score: 319, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
26	Randomized Algorithms by Rajeev Motwani 4.18 avg rating — 51 ratings score: 317, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
27	The Design and Analysis of Algorithms (Monographs in Computer Science) by Dexter C. Kozen 4.32 avg rating — 22 ratings score: 306, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
27	Analytic Combinatorics by Philippe Flajolet 4.42 avg rating — 33 ratings score: 306, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
30	Fundamentals of Matrix Computations by David S. Watkins 4.05 avg rating — 19 ratings score: 290, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
31	Security Engineering: A Guide to Building Dependable Distributed Systems by Ross J. Anderson 4.21 avg rating — 700 ratings score: 285, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
32	Computer Graphics: Principles and Practice by John F. Hughes 4.22 avg rating — 368 ratings score: 278, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
33	Convex Optimization Algorithms by Dmitri P. Bertsekas 4.33 avg rating — 9 ratings score: 277, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
34	Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala 4.28 avg rating — 29 ratings score: 276, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
35	Elements of Programming Interviews: The Insiders' Guide C++ by Adnan Aziz 4.28 avg rating — 498 ratings score: 273, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
36	The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Henk Barendregt 4.15 avg rating — 34 ratings score: 272, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
37	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth 3.96 avg rating — 74 ratings score: 271, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
37	Computational Geometry: Algorithms and Applications by Mark de Berg 4.17 avg rating — 168 ratings score: 271, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
39	Approximation Theory and Approximation Practice, Extended Edition by Lloyd N. Trefethen 4.73 avg rating — 11 ratings score: 270, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
40	Principles of Model Checking by Christel Baier 4.06 avg rating — 31 ratings score: 261, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
41	Mathematical Logic for Computer Science by Mordechai Ben-Ari 3.76 avg rating — 21 ratings score: 254, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
42	Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening 4.17 avg rating — 12 ratings score: 252, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
43	Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley 3.83 avg rating — 23 ratings score: 251, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
44	GQL Scope and Features by Neo4j Query Languages Standards and Research Team 3.50 avg rating — 2 ratings score: 250, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
44	Theorem Proving in Lean by Jeremy Avigad 4.62 avg rating — 8 ratings score: 250, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
44	Distributed Systems: Principles and Paradigms by Andrew S. Tanenbaum 3.99 avg rating — 476 ratings score: 250, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
47	Concrete Semantics by Tobias Nipkow 3.40 avg rating — 5 ratings score: 246, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
47	Coding and Information Theory (Graduate Texts in Mathematics, 134) by Steven Roman 3.94 avg rating — 18 ratings score: 246, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
49	Computational Geometry: An Introduction (Monographs in Computer Science) by Franco P. Preparata 4.10 avg rating — 20 ratings score: 238, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
50	Lambda Calculus with Types by Henk Barendregt 4.43 avg rating — 7 ratings score: 236, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
51	Coding and information theory by Richard Hamming 3.95 avg rating — 19 ratings score: 234, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
52	Introduction to Coding Theory (Graduate Texts in Mathematics, 86) by J.H. Van Lint 3.82 avg rating — 11 ratings score: 233, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
53	Entropy and Information Theory by Robert M. Gray 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
54	Modern Coding Theory by Tom Richardson 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
55	Elements of Information Theory by Thomas M. Cover 4.20 avg rating — 319 ratings score: 216, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
56	Compilers: Principles, Techniques, and Tools by Alfred V. Aho 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 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars