bookshelves

all (1912)

cover title author avg rating rating my rating date read date added Down_arrow
 
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
4.17
not set
Jun 19, 2014
 
Distributed Algorithms
0.00
not set
May 13, 2014
 
Advanced Topics in Computational Number Theory
4.50
not set
May 11, 2014
 
Mathematical Foundations of Computer Networking
0.00
not set
Mar 02, 2014
 
How Google Tests Software
3.75
Jan 26, 2014
Jan 26, 2014
 
Effective Java
4.42
Oct 30, 2013
Nov 04, 2013
 
Compilers: Principles, Techniques, and Tools
4.06
Jan 2000
Oct 19, 2013
 
ANSI Common Lisp
4.09
Jan 2000
Oct 13, 2013
 
The Algorithm Design Manual
4.32
Oct 09, 2013
Oct 09, 2013
 
Computer Approximations
3.00
Jan 2012
May 16, 2013
 
Embedded Computing: A VLIW Approach to Architecture, Compilers and Tools
3.67
not set
May 16, 2013
 
Kernel Adaptive Filtering: A Comprehensive Introduction
0.00
not set
Sep 17, 2012
 
The C++ Standard Library: A Tutorial and Reference
4.16
not set
Aug 09, 2012
 
Parallelism in Hardware and Software (Automatic Computation)
3.00
Jun 22, 2012
May 14, 2012
 
A Course in Computational Algebraic Number Theory
4.30
not set
May 04, 2012
 
Digraphs: Theory, Algorithms And Applications
5.00
not set
Oct 03, 2011
 
Handbook Of Weighted Automata (Monographs In Theoretical Computer Science. An Eatcs Series)
3.00
Jan 10, 2014
Oct 03, 2011
 
P, NP, and NP-Completeness: The Basics of Computational Complexity
4.00
not set
Oct 03, 2011
 
Combinatorics, Automata and Number Theory
4.00
not set
Oct 03, 2011
 
State-Space Search: Algorithms, Complexity, Extensions, and Applications
0.00
not set
Sep 13, 2011
 
Advanced Topics in Types and Programming Languages
3.94
not set
Aug 30, 2011
 
Program Flow Analysis: Theory & Application
3.00
not set
Aug 24, 2011
 
Computer Structures: Principles and Examples
3.00
not set
Jul 24, 2011
 
Inside Commodore DOS: The Complete Guide to the 1541 Disk Operating System
2.00
Jan 1989
Jun 28, 2011
 
The Elements of Computing Systems: Building a Modern Computer from First Principles
4.46
not set
Jun 26, 2011
 
The Nature of Computation
4.67
not set
Jun 19, 2011
 
Games, Puzzles, and Computation
4.00
not set
Jun 15, 2011
 
Putting Linguistics into Speech Recognition: The Regulus Grammar Compiler (Studies in Computational Linguistics (Stanford, Calif.).)
5.00
not set
Jun 13, 2011
 
Handbook of Floating-Point Arithmetic
0.00
not set
Jun 13, 2011
 
Computer Arithmetic: Algorithms and Hardware Designs
3.00
not set
Jun 13, 2011
Rss More books shelved as 'pimpin-aint-easy-but-computers-are' »
« previous 1 3 4