Bild mit Unilogo
homeicon university sucheicon search kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
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)