uni
suche
sitemap
kontakt
Universität Stuttgart
Abteilungen
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
: Veröffentlichungen
Jahrgang 2017
Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts
Diplomarbeiten (Archiv)
Masterarbeiten
Bachelorarbeiten
Diplomarbeiten (Archiv)
Boffo, Sandra:
Entscheidbarkeits- und Abschlusseigenschaften von Automatenhalbgruppen
, Diplomarbeit Nr. 21, 2017.
Kaistra, Martin:
Query-Optimierung für OSCAR
, Diplomarbeit Nr. 22, 2017.
Masterarbeiten
Haag, Christoph:
Landmarkenbasierte Zerlegung von Routen
, Masterarbeit Nr. 81, 2017.
Haas, Stephan:
Autonome Lokalisation auf unscharfen Schätzungen mit geometrischem Map-Matching
, Masterarbeit Nr. 82, 2017.
Bachelorarbeiten
Berberich, Jan:
Effiziente Approximation Mittlerer Rankings mit Geometrischer Suche
, Bachelorarbeit Nr. 95, 2017.
Kopf, Benjamin:
Organisation schwach strukturierter Textdokumente
, Bachelorarbeit Nr. 97, 2017.
Letzte Änderung 28. November 2024(
Webmaster
) | © Universität Stuttgart |
Impressum