Sign In
Sign Up
From logic design to logic programming
Dominique Snyers
1987
-
/
5
0 votes
Automatisches Beweisverfahren
Structure Logique
Automatic Theorem Proving
Artificial intelligence
4.2
20 votes
The Pragmatic Programmer
4.4
41 votes
Fermat's Last Theorem
3.9
17 votes
Algorithms to Live By
4.0
37 votes
Structure and Interpretation of Computer Programs (SICP)
4.4
21 votes
Code Complete
4.2
22 votes
Coders at Work
4.0
18 votes
"Surely You're Joking, Mr. Feynman"
4.2
98 votes
Masters of Doom
4.1
32 votes
Daemon
4.1
44 votes
The C Programming Language
4.3
36 votes
Microserfs
4.0
18 votes
Hackers & painters
4.0
16 votes
The Mythical Man-Month
4.2
28 votes
Hackers
4.1
21 votes
Eats, Shoots & Leaves
3.6
21 votes
The elegant universe
4.0
22 votes
How to solve it
4.0
15 votes
Blink
3.8
76 votes
Prey
3.6
38 votes
Nation
4.1
18 votes
An Abundance of Katherines
3.7
28 votes
I Shall Wear Midnight
4.4
18 votes
Gödel, Escher, Bach
4.2
59 votes
Red Dragon
4.2
30 votes
The power of positive thinking
4.2
73 votes
To Kill a Mockingbird
4.1
153 votes
How to Win Friends and Influence People
4.3
195 votes
The Count of Monte Cristo
4.3
122 votes
The Dragon Reborn: Book Three of 'The Wheel of Time' (Wheel of Time, 3)
4.2
73 votes
Strange Case of Dr Jekyll and Mr Hyde
3.9
77 votes
The Return of the King
4.3
83 votes
Elantris
4.2
80 votes
Xenocide: Volume Three of the Ender Saga (Ender Quintet Book 3)
3.8
81 votes
Red Storm Rising
3.8
102 votes
A Wizard of Earthsea
4.0
97 votes
Flickan som lekte med elden
4.0
90 votes
The Amber Spyglass
3.9
92 votes
The Eye of the World: Book One of The Wheel of Time (Wheel of Time, 1)
3.9
94 votes
Eat That Frog!
3.9
18 votes
Struwwelpeter
4.6
18 votes
Guilty
4.0
18 votes
Forever Peace
3.2
18 votes
To have and to hold
3.8
18 votes
Warriors: The New Prophecy #1: Midnight
4.0
18 votes
Sacred Stone (The Oregon Files #2)
3.5
18 votes
Halting State
3.5
18 votes
And to think that I saw it on Mulberry Street
4.2
18 votes