Sign In
Sign Up
Formal methods and stochastic models for performance evaluation
-
/
5
0 votes
Formal Methods (Computer Science)
Computer Systems
Evaluation
Universal Soldier: The Return
3.0
2K votes
Another Earth
3.4
2K votes
Stealth
2.7
2K votes
TRON: Legacy
3.2
8K votes
The Zero Theorem
3.0
2K votes
Summer Wars
3.7
913 votes
Idiocracy
3.2
3K votes
Ad Astra
3.1
7K votes
2010
3.3
913 votes
Freaks
3.4
2K votes
Prospect
3.1
812 votes
Anon
3.0
2K votes
IO
2.5
2K votes
Judge Dredd
2.9
3K votes
District 9
3.7
10K votes
JUNG_E
3.1
589 votes
The Wandering Earth II
3.6
549 votes
Oxygen
3.3
2K votes
Transcendence
3.0
6K votes
Tron
3.3
3K votes
Downsizing
2.7
4K votes
Divergent
3.5
13K votes
Choose or Die
2.6
774 votes
Johnny Mnemonic
2.9
2K votes
WarGames
3.5
2K votes
Jurassic World Dominion
3.3
6K votes
RoboCop
3.7
6K votes
Time Lapse
3.3
2K votes
Her
3.9
15K votes
THX 1138
3.2
930 votes
Mars Attacks!
3.2
6K votes
S1m0ne
3.0
888 votes
Ghost in the Shell
4.0
4K votes
The Matrix Resurrections
3.2
6K votes
2001: A Space Odyssey
4.0
12K votes
The Thirteenth Floor
3.5
2K votes
The Fly
3.5
525 votes
Cloud Atlas
3.4
7K votes
Absolutely Anything
3.0
2K votes
Battle: Los Angeles
2.9
4K votes
The Animatrix
3.6
2K votes
Melancholia
3.6
4K votes
Splice
2.9
3K votes
Tetsuo: The Iron Man
3.5
576 votes
Dredd
3.4
5K votes
Automata
2.9
2K votes
The Giver
3.3
5K votes
I Origins
3.8
4K votes