cover title author avg rating rating my rating date read date added
 
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
4.00
not set
Feb 01, 2016
 
Combinatorial Optimization: Algorithms and Complexity
3.81
not set
Aug 20, 2014
 
Handbook Of Weighted Automata (Monographs In Theoretical Computer Science. An Eatcs Series)
3.50
not set
Jan 26, 2014
 
The Art of Computer Programming, Volume 2: Seminumerical Algorithms
4.36
not set
May 21, 2013
 
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
4.12
not set
Jan 04, 2013
 
Mathematics for Computer Science
4.29
not set
Mar 22, 2012
 
Software Foundations
4.53
not set
Feb 02, 2012
 
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
4.25
not set
Jan 28, 2012
 
P, NP, and NP-Completeness: The Basics of Computational Complexity
4.00
not set
Oct 03, 2011
 
Introduction to Data Compression
3.62
not set
Mar 23, 2011
 
Handbook Of Data Compression
0.00
not set
Mar 23, 2011
 
Discrete Mathematics For Computing
3.92
not set
Mar 12, 2011
 
Basic Category Theory for Computer Scientists
3.55
not set
Mar 12, 2011
 
Advanced Programming Language Design
3.14
really liked it
Sep 2001
Mar 12, 2011
 
The Reasoned Schemer
4.30
not set
Jan 06, 2011
 
Elements of Programming
4.03
not set
Aug 15, 2010
 
An Introduction to Information Theory: Symbols, Signals and Noise
3.87
not set
Jul 31, 2010
 
Pattern Calculus: Computing with Functions and Structures
3.33
not set
Jul 20, 2010
 
Advanced Data Structures
4.00
not set
Jul 20, 2010
 
Advanced Topics in Types and Programming Languages
4.00
not set
May 15, 2010
 
Types and Programming Languages
4.21
not set
May 15, 2010
 
Paradigms of Artificial Intelligence Programming: Case Studies in Common LISP
4.33
not set
May 15, 2010
 
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
3.91
not set
May 15, 2010
 
Introduction to Automata Theory, Languages, and Computation
3.93
not set
May 15, 2010
 
Introduction to Algorithms
4.27
it was amazing
Aug 29, 2010
Jan 19, 2010
 
Structure and Interpretation of Computer Programs (MIT Electrical Engineering and Computer Science)
4.46
it was amazing
Jan 2003
Jan 19, 2010
Rss infinite More books shelved as 'cs' »