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
NEXT
3.6
146 votes
Intelligence
3.3
203 votes
Humans
3.7
588 votes
Code 404
3.4
129 votes
Start-Up
4.1
298 votes
Ghost in the Shell: Stand Alone Complex
4.1
364 votes
Knight Rider
3.7
605 votes
Blade Runner: Black Lotus
3.6
200 votes
Mrs. Davis
3.4
119 votes
Welcome to the N.H.K.
4.3
126 votes
My Holo Love
4.3
837 votes
The Universe
4.0
165 votes
America's Next Top Model
2.6
123 votes
Bull
3.5
353 votes
Quantum Leap
3.6
130 votes
Almost Human
3.7
497 votes
Game Shakers
3.7
114 votes
Extant
3.2
312 votes
Andromeda
3.6
245 votes
Medabots
4.1
165 votes
Are You Human?
4.1
319 votes
MythBusters
-
0 votes
Caprica
3.5
358 votes
Terminator Zero
3.6
105 votes
Battlestar Galactica
4.1
2K votes
Chuck
3.9
990 votes
Vivy: Fluorite Eye's Song
4.0
138 votes
The IT Crowd
4.1
2K votes
K.C. Undercover
4.0
170 votes
Star Trek: Discovery
3.6
2K votes
Freakazoid!
3.9
160 votes
Mythic Quest
3.7
324 votes
Tom Clancy's Jack Ryan
3.9
2K votes
Halt and Catch Fire
4.0
467 votes
Silicon Valley
4.1
2K votes
Inside Bill's Brain: Decoding Bill Gates
3.7
109 votes
Chosen
3.1
102 votes
The Recruit
3.7
283 votes
The Equalizer
3.8
262 votes
The Newsroom
4.1
589 votes
Zootopia+
3.6
200 votes
Person of Interest
4.0
2K votes
I Am Not a Robot
4.2
727 votes
Westworld
4.0
6K votes
Alien Worlds
3.4
231 votes
Sex, Explained
3.3
2K votes
PLUTO
4.0
145 votes
Moonlighting
3.8
330 votes