 |
|
- Afzal, Muhammad: Design and Implementation of a Fault Tolerant VHDL Switch with Reconfigurable Routing Tables, Masterarbeit Nr. 3589, 2014.
- Bühler, Andreas: Das Ordnungsproblem für Automatengruppen und verwandte Fragestellungen, Masterarbeit Nr. 67, 2019.
- Fleischer, Lukas: Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen, Masterarbeit Nr. 48, 2015.
- Gaißert, Marcial: Iterierte Substitutionen bei regulären Baumsprachen, Masterarbeit Nr. 69, 2022.
- Hanke, Carlos: Charakterisierung strukturell einfacher Quantorenalternierungen, Masterarbeit Nr. 38, 2018.
- Heindl, Amelie: Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen Wörtern, Masterarbeit Nr. 45, 2023.
- Hilbig, Aaron: Analysing timing behavior of component-based software systems, Masterarbeit Nr. 32, 2023.
- Megally, Mirna: Information Extraction from Social Media for Route Planning, Masterarbeit Nr. 3413, 2012.
- Naghibi, Youssof: Paritätsspiele in quasipolynomieller Zeit, Masterarbeit Nr. 106, 2018.
- Reiß, Philipp: Ein formaler Ansatz für die Berechnung von Speicherzugriffszeiten in Echtzeit Mehrkernsystemen mit geteilten Ressourcen, Masterarbeit Nr. 27, 2021.
- Roggenbuck, Kay: Simulation and analysis of complex dynamics in a low-dimensional model of a vibration-machine, Masterarbeit Nr. 62, 2021.
- Stober, Florian: The power word problem in graph groups, Masterarbeit Nr. 48, 2021.
- Traub, Johannes: Program Analysis and Probabilistic SAT-solving, Masterarbeit Nr. 3120, 2010.
- Welker, Janette: Dreifärbungen für planare Graphen mit wenigen Dreiecken, Masterarbeit Nr. 113, 2023.
|
|
Webmaster
)
| © Universität Stuttgart |
Impressum