university
search
contact
legal notice
University of Stuttgart
Division
|
Staff
|
Teachings
|
Research
|
Publications
|
Service
|
Institute
|
Computer Science
|
Faculty
Institute of Formal Methods in Computer Science
Theoretical Computer Science Visualized
Beaver
: Turing machines visualized
Arrangeur
: Animated construction of graphs
Plotting traces
Shuffle
the Department of Theoretical Computer Science
Geometrische Algorithmen und ihre Visualisierung
(in german only)