university
search
sitemap
contact
Universität Stuttgart
Departments
|
Computer Science
|
Faculty
Institute of Formal Methods in Computer Science
: Publications
Year 2024
Technical Reports, Doctoral Theses, Student Theses of the Institute
Bachelor Theses
Bachelor Theses
Bruns, David:
Optimal routing in public transportation networks using PHAST
, Bachelor Thesis No. 8, 2024.
Doderer, Marc:
Entwicklung eines Frameworks für die Lehre in der Theoretischen Informatik
, Bachelor Thesis No. 7, 2024.
Dürr, Friedrich:
Generierung von Minecraft Welten aus OpenStreetMap-Daten
, Bachelor Thesis No. 9, 2024.
Last Modified July 3, 2024(
Webmaster
) | © University of Stuttgart |
Legal notice