Sign In
Sign Up
Tools and algorithms for the construction and analysis of systems
TACAS 2010 (2010 Paphos, Cyprus)
-
/
5
0 votes
System Analysis
System Design
Softwareentwicklung
Design Patterns
3.9
30 votes
The Cathedral and the Bazaar
4.3
16 votes
Clean Code
4.4
35 votes
Rogue protocol
4.2
66 votes
Don't Make Me Think
4.1
15 votes
Hackers
4.1
21 votes
Code Complete
4.2
22 votes
Accelerando
3.9
38 votes
All Systems Red
4.3
29 votes
Thinking in systems
4.4
22 votes
Artificial condition
4.2
59 votes
Masters of Doom
4.1
32 votes
In the Beginning...Was the Command Line
3.7
22 votes
The Difference Engine
3.3
22 votes
We Are Legion
4.2
15 votes
The moon is a harsh mistress
4.0
71 votes
The Innovators
3.9
18 votes
The Greatest Show on Earth
4.5
15 votes
The Mythical Man-Month
4.2
28 votes
Artificial intelligence
4.2
20 votes
Idoru
3.8
29 votes
Protector
4.1
15 votes
Structure and Interpretation of Computer Programs (SICP)
4.4
21 votes
Algorithms to Live By
4.0
37 votes
Next
3.3
21 votes
Neuromancer
4.0
70 votes
Gödel, Escher, Bach
4.2
59 votes
Microserfs
4.0
18 votes
Code
4.3
21 votes
Player Piano
3.8
27 votes
Consider Phlebas
3.6
92 votes
The Peripheral
4.1
35 votes
2001: A Space Odyssey
4.2
118 votes
Rendezvous with Rama
4.2
89 votes
Prey
3.6
38 votes
The Windup Girl
4.0
42 votes
The Hydrogen Sonata
4.0
27 votes
Do Androids Dream of Electric Sheep?
4.0
143 votes
Mona Lisa Overdrive
4.0
52 votes
Count Zero
4.0
52 votes
Surface Detail
4.1
30 votes
2061: Odyssey Three
3.6
22 votes
The Manager's Path
4.3
15 votes
The Soul of a New Machine
4.1
15 votes
The player of games
4.2
73 votes
The three stigmata of Palmer Eldritch
3.5
24 votes
Look to windward
4.0
30 votes
I, Robot
4.2
153 votes