uni
suche
sitemap
kontakt
Universität Stuttgart
Abteilungen
|
Informatik
|
Fakultät
Institut für Formale Methoden der Informatik
: Veröffentlichungen
Jahrgang 2024
Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts
Masterarbeiten
Bachelorarbeiten
Masterarbeiten
Durner, Robin:
Stochastic strategies for public transport journeys based on realtime delay predictions
, Masterarbeit Nr. 33, 2024.
Kruse, David:
Barrier resilience problems
, Masterarbeit Nr. 18, 2024.
Bachelorarbeiten
Bruns, David:
Optimal routing in public transportation networks using PHAST
, Bachelorarbeit Nr. 8, 2024.
Doderer, Marc:
Entwicklung eines Frameworks für die Lehre in der Theoretischen Informatik
, Bachelorarbeit Nr. 7, 2024.
Dürr, Friedrich:
Generierung von Minecraft Welten aus OpenStreetMap-Daten
, Bachelorarbeit Nr. 9, 2024.
Letzte Änderung 9. Oktober 2024(
Webmaster
) | © Universität Stuttgart |
Impressum