Henne's votes on the list Theoretical Computer Science (MMath)

Listopia > Henne's votes on the list Theoretical Computer Science (MMath) (56 Books)

1	Introduction to Algorithms by Thomas H. Cormen 4.35 avg rating — 9,305 ratings Henne added it to to-read See Review	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	Structure and Interpretation of Computer Programs by Harold Abelson 4.47 avg rating — 4,850 ratings Henne added it to to-read See Review	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	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,104 ratings Henne added it to to-read See Review	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	Artificial Intelligence: A Modern Approach (Pearson Series in Artifical Intelligence) by Stuart Russell 4.20 avg rating — 4,445 ratings Henne added it to to-read See Review	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	Concrete Mathematics: A Foundation for Computer Science by Ronald Graham 4.34 avg rating — 1,864 ratings Henne added it to to-read See Review	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	Types and Programming Languages by Benjamin C. Pierce 4.27 avg rating — 591 ratings Henne added it to to-read See Review	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	Pattern Recognition and Machine Learning by Christopher M. Bishop 4.32 avg rating — 1,897 ratings Henne added it to to-read See Review	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	The Nature of Computation by Cristopher Moore 4.59 avg rating — 111 ratings Henne added it to to-read See Review	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	Quantum Computing Since Democritus by Scott Aaronson 4.15 avg rating — 1,065 ratings Henne added it to to-read See Review	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	An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson (Goodreads Author) 4.13 avg rating — 225 ratings Henne added it to to-read See Review	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	The Hundred-Page Machine Learning Book by Andriy Burkov (Goodreads Author) 4.25 avg rating — 1,421 ratings Henne added it to to-read See Review	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	Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis by Michael Mitzenmacher 4.23 avg rating — 92 ratings Henne added it to to-read See Review	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	Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft 4.06 avg rating — 668 ratings Henne added it to to-read See Review	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	Reinforcement Learning: An Introduction by Richard S. Sutton 4.54 avg rating — 817 ratings Henne added it to to-read See Review	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	Machine Learning: A Probabilistic Perspective by Kevin P. Murphy 4.34 avg rating — 520 ratings Henne added it to to-read See Review	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	Quantum Computation and Quantum Information: 10th Anniversary Edition by Michael A. Nielsen 4.40 avg rating — 539 ratings Henne added it to to-read See Review	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	Information Theory, Inference, and Learning Algorithms by David J.C. MacKay 4.52 avg rating — 487 ratings Henne added it to to-read See Review	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
18	Convex Optimization by Stephen Boyd 4.48 avg rating — 349 ratings Henne added it to to-read See Review	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	Computational Geometry: Algorithms and Applications by Mark de Berg 4.17 avg rating — 169 ratings Henne added it to to-read See Review	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	Computability and Logic by George S. Boolos 4.13 avg rating — 167 ratings Henne added it to to-read See Review	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	Basic Category Theory for Computer Scientists by Benjamin C. Pierce 3.58 avg rating — 139 ratings Henne added it to to-read See Review	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
22	Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3) by Gene H. Golub 4.26 avg rating — 151 ratings Henne added it to to-read See Review	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
23	Coding the Matrix: Linear Algebra through Computer Science Applications by Philip N. Klein (Goodreads Author) 4.15 avg rating — 137 ratings Henne added it to to-read See Review	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	Computational Complexity: A Modern Approach by Sanjeev Arora 4.32 avg rating — 137 ratings Henne added it to to-read See Review	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
25	Numerical Optimization (Springer Series in Operations Research and Financial Engineering) by Jorge Nocedal 4.33 avg rating — 137 ratings Henne added it to to-read See Review	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	Numerical Linear Algebra by Lloyd N. Trefethen 4.28 avg rating — 152 ratings Henne added it to to-read See Review	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	Gaussian Processes for Machine Learning by Carl Edward Rasmussen 4.17 avg rating — 109 ratings Henne added it to to-read See Review	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
28	Mathematics for Computer Science by Eric Lehman 3.85 avg rating — 95 ratings Henne added it to to-read See Review	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	Foundations of Machine Learning by Mehryar Mohri 4.21 avg rating — 94 ratings Henne added it to to-read See Review	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	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth 3.96 avg rating — 74 ratings Henne added it to to-read See Review	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	Algorithmic Game Theory by Noam Nisan (Editor) 4.20 avg rating — 79 ratings Henne added it to to-read See Review	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	Approximation Algorithms by Vijay V. Vazirani 4.20 avg rating — 56 ratings Henne added it to to-read See Review	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	Mathematics for Machine Learning by Marc Peter Deisenroth 4.33 avg rating — 243 ratings Henne rated it 4 stars See Review	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	Practical Foundations for Programming Languages by Robert Harper 3.87 avg rating — 62 ratings Henne added it to to-read See Review	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	Automata and Computability by Dexter C. Kozen 4.21 avg rating — 47 ratings Henne added it to to-read See Review	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	An Invitation to Applied Category Theory: Seven Sketches in Compositionality by Brendan Fong 4.42 avg rating — 57 ratings Henne added it to to-read See Review	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	Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala 4.28 avg rating — 29 ratings Henne added it to to-read See Review	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
38	Analytic Combinatorics by Philippe Flajolet 4.42 avg rating — 33 ratings Henne added it to to-read See Review	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	The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Henk Barendregt 4.14 avg rating — 35 ratings Henne added it to to-read See Review	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	Kernel Methods for Pattern Analysis by John Shawe-Taylor really liked it 4.00 avg rating — 29 ratings Henne added it to to-read See Review	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	Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot 4.11 avg rating — 28 ratings Henne added it to to-read See Review	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	Dynamic Programming And Optimal Control, Vol. 1 by Dimitri P. Bertsekas 4.36 avg rating — 33 ratings Henne added it to to-read See Review	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	Decision Making Under Uncertainty: Theory and Application (MIT Lincoln Laboratory Series) by Mykel J. Kochenderfer 4.39 avg rating — 28 ratings Henne added it to to-read See Review	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	Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares by Stephen Boyd 4.20 avg rating — 49 ratings Henne rated it 4 stars See Review	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
45	Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley 3.83 avg rating — 23 ratings Henne added it to to-read See Review	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
46	Dynamic Programming (Dover Books on Computer Science) by Richard E. Bellman 4.26 avg rating — 31 ratings Henne added it to to-read See Review	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	A First Course in the Numerical Analysis of Differential Equations (Cambridge Texts in Applied Mathematics, Series Number 15) by Arieh Iserles really liked it 4.00 avg rating — 24 ratings Henne added it to to-read See Review	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
48	Mathematical Logic for Computer Science by Mordechai Ben-Ari 3.76 avg rating — 21 ratings Henne added it to to-read See Review	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	Linear Algebra and Learning from Data by Gilbert Strang 4.39 avg rating — 44 ratings Henne added it to to-read See Review	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	Dynamic Programming and Optimal Control by Dimitri P. Bertsekas 3.96 avg rating — 27 ratings Henne added it to to-read See Review	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	Dynamic Programming and Optimal Control, Vol. 2 by Dimitri P. Bertsekas 4.19 avg rating — 21 ratings Henne added it to to-read See Review	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	Computability: Turing, Gödel, Church, and Beyond by B. Jack Copeland (editor) really liked it 4.00 avg rating — 21 ratings Henne added it to to-read See Review	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	Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series) by Stasys Jukna 4.53 avg rating — 17 ratings Henne added it to to-read See Review	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	Matrix Algebra: Theory, Computations, and Applications in Statistics by James E. Gentle really liked it 4.00 avg rating — 15 ratings Henne added it to to-read See Review	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	Foundations of Data Science by Avrim Blum 4.24 avg rating — 25 ratings Henne added it to to-read See Review	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	Computational Geometry: An Introduction (Monographs in Computer Science) by Franco P. Preparata 4.10 avg rating — 21 ratings Henne added it to to-read See Review	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