 |
|
- Bahrdt, Daniel: Effiziente Textsuche in OpenStreetMap-Daten auf mobilen Geräten, Studienarbeit Nr. 2335, 2011.
- Bischoff, Bastian: Algebraische Hilfsmittel für die Aneinanderreihung von Nebenläufigen Systemen, Studienarbeit Nr. 2257, 2010.
- Decker, Normann: A Continuous Truth Domain for Runtime Verification, Studienarbeit Nr. 2270, 2010.
- Gaiser, Andreas: Vergleich von Algorithmen für den Leerheitstest von Büchiautomaten, Studienarbeit Nr. 2096, 2007.
- Hartmann, Frederik: Untersuchung der Struktur großer Straßennetzwerke, Studienarbeit Nr. 2356, 2012.
- Hildinger, Markus: Algorithmen zur Optimierung von Packungsproblemen, Studienarbeit Nr. 2455, 2014.
- Hoffmann, Benjamin: Faktorisierung grosser Zahlen mit dem Quadratischen Sieb, Studienarbeit Nr. 2007, 2005.
- Kausch, Jonathan: Einfache Logikfragmente mit Nachfolgerrelation über unendlichen Wörtern, Studienarbeit Nr. 2297, 2011.
- Kiefer, Stefan: Die Menge der Virtuellen Verbindungen im Spiel Hex ist PSPACE-vollständig, Studienarbeit Nr. 1887, 2003.
- Komarek, Peter: Veränderung der Nachfrage bei Infrastrukturinvestitionen im ÖPNV durch Änderung der Verkehrswiderstände, Studienarbeit Nr. 2061, 2006.
- Krumpe, Filip: Hierarchisierung und Darstellung von Geodaten, Studienarbeit Nr. 2432, 2014.
- Laun, Jürn-Jochen: Natürliche Beweise, Studienarbeit Nr. 2573, 2007.
- Müller, Sebastian: Deterministische endliche Automaten und Zwei-Variablen-Logik erster Stufe, Studienarbeit Nr. 2425, 2013.
- Oberfell, Joerg: Faktorisierung mit elliptischen Kurven, Studienarbeit Nr. 2008, 2005.
- Rathgeber, Moritz: Gewisse Eigenschaften deterministischer Automaten und ihre Komplexität, Studienarbeit Nr. 2457, 2014.
- Seybold, Martin P.: Logik erster Stufe ohne Quantorenalternierung über endlichen Wörtern, Studienarbeit Nr. 2298, 2011.
- Wächter, Jan; Philipp: Kaskadenzerlegung spezieller Automatenklassen, Studienarbeit Nr. 2417, 2013.
- Walter, Tobias: Deterministische Intervall-Logik mit Faktor-Modalitäten, Studienarbeit Nr. 2295, 2011.
- Weiß, Armin: Implementation of Parallel CRR Division on GPUs, Studienarbeit Nr. 2282, 2010.
|
|
Webmaster
)
| © Universität Stuttgart |
Impressum