Henne's votes on the list Computer Science Year 3 (MCSL)

Listopia > Henne's votes on the list Computer Science Year 3 (MCSL) (54 Books)

1	Structure and Interpretation of Computer Programs by Harold Abelson 4.47 avg rating — 4,853 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	Functional Programming in Scala by Rúnar Bjarnason (Goodreads Author) 4.42 avg rating — 753 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	Learn You a Haskell for Great Good!: A Beginner's Guide by Miran Lipovača 4.31 avg rating — 2,374 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	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
5	The Little Schemer by Daniel P. Friedman 4.28 avg rating — 1,983 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	The Reasoned Schemer by Daniel P. Friedman 4.25 avg rating — 228 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	The Little Prover by Daniel P. Friedman 3.98 avg rating — 49 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 Little Typer by Daniel P. Friedman 4.07 avg rating — 96 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	Elements of Programming Interviews: The Insiders' Guide C++ by Adnan Aziz 4.28 avg rating — 497 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	Programming: Principles and Practice Using C++ (2nd Edition) by Bjarne Stroustrup 4.23 avg rating — 510 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	Algorithms for Optimization by Mykel J. Kochenderfer 4.68 avg rating — 34 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	Convex Optimization by Stephen Boyd 4.48 avg rating — 354 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	Convex Optimization Algorithms by Dmitri P. Bertsekas 4.33 avg rating — 9 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	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
15	Randomized Algorithms by Rajeev Motwani 4.18 avg rating — 51 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	Introduction to the Analysis of Algorithms, An by Robert Sedgewick 3.96 avg rating — 49 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	The Design and Analysis of Algorithms (Monographs in Computer Science) by Dexter C. Kozen 4.32 avg rating — 22 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	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
19	Approximation Theory and Approximation Practice, Extended Edition by Lloyd N. Trefethen 4.73 avg rating — 11 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	Numerical Methods in Matrix Computations by Åke Björck 4.40 avg rating — 5 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	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
22	Fundamentals of Matrix Computations (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts) by David S. Watkins 4.05 avg rating — 19 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	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
24	Numerical Recipes: The Art of Scientific Computing by William H. Press 4.32 avg rating — 157 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	Computer Systems: A Programmer's Perspective by Randal E. Bryant 4.46 avg rating — 1,135 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	Modern Operating Systems by Andrew S. Tanenbaum 4.15 avg rating — 2,189 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
27	Readings in Database Systems by Peter Bailis (editor) 4.62 avg rating — 45 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	Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement by Luc Perkins 4.01 avg rating — 737 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	GQL Scope and Features by Neo4j Query Languages Standards and Research Team 3.50 avg rating — 2 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	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
32	Principles of Model Checking by Christel Baier 4.06 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
33	Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening 4.17 avg rating — 12 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
34	Theorem Proving in Lean by Jeremy Avigad 4.56 avg rating — 9 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	Concrete Semantics by Tobias Nipkow 3.40 avg rating — 5 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	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
37	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,103 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	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
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	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
41	Lambda Calculus with Types by Henk Barendregt 4.43 avg rating — 7 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	Elements of Information Theory by Thomas M. Cover 4.21 avg rating — 327 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	Entropy and Information Theory by Robert M. Gray really liked it 4.00 avg rating — 7 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	Mathematical Foundations of Information Theory (Dover Books on Mathematics) by Aleksandr Yakovlevich Khinchin 3.92 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
45	Introduction to Coding Theory (Graduate Texts in Mathematics, 86) by J.H. Van Lint 3.82 avg rating — 11 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	Modern Coding Theory by Tom Richardson really liked it 4.00 avg rating — 3 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	Coding and information theory by Richard Hamming 3.95 avg rating — 19 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	Coding and Information Theory (Graduate Texts in Mathematics, 134) by Steven Roman 3.94 avg rating — 18 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	Distributed Systems: Principles and Paradigms by Andrew S. Tanenbaum 3.98 avg rating — 479 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	Compilers: Principles, Techniques, and Tools by Alfred V. Aho 4.10 avg rating — 3,024 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	Security Engineering: A Guide to Building Dependable Distributed Systems by Ross J. Anderson 4.21 avg rating — 702 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	Computer Graphics: Principles and Practice by John F. Hughes 4.22 avg rating — 368 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	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
54	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