Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Abteilung | Mitarbeiter | Lehre | Forschung | Publikationen | Service | Institut | Informatik | Fakultät
Institut für Formale Methoden der Informatik

Abteilung TI | Veranschaulichung von TI-Konzepten

 englishicon
 
Beaver: Turingmaschinen anschaulich gemacht
Arrangeur: Animiertes Editieren von Graphen
  Spurenausgabe
Vermischen Sie die TI
  Geometrische Algorithmen und ihre Visualisierung
  Minimal Spannender Baum für planare Graphen
 
Letzte Änderung 20.04.2012 ( mailto Pro ) |  © Universität Stuttgart | Impressum