 |
|
- Bellon, Stefan; Thiele, Erik: Implementierung eines sicheren Systems zur Vorlesungsumfrage, Student Thesis No. 1821, 2001.
- Decker, Normann: A Continuous Truth Domain for Runtime Verification, Student Thesis No. 2270, 2010.
- Fritz, Eberhard: Zwei Simulationsmodelle für die Signalsteuerung von Straßenzügen, Student Thesis No. 48, 1975.
- Gengenbach, Helmut: Interaktives graphisches Programm zur Generierung und Manipulation graphischer Objekte (graphischer Editor), Student Thesis No. 277, 1982.
- Hartmann, Frederik: Untersuchung der Struktur großer Straßennetzwerke, Student Thesis No. 2356, 2012.
- Hoffmann, Benjamin: Faktorisierung grosser Zahlen mit dem Quadratischen Sieb, Student Thesis No. 2007, 2005.
- Kausch, Jonathan: Einfache Logikfragmente mit Nachfolgerrelation über unendlichen Wörtern, Student Thesis No. 2297, 2011.
- Kiefer, Stefan: Die Menge der Virtuellen Verbindungen im Spiel Hex ist PSPACE-vollständig, Student Thesis No. 1887, 2003.
- Krumpe, Filip: Hierarchisierung und Darstellung von Geodaten, Student Thesis No. 2432, 2014.
- Lange, Sven: Separatoren von planaren Graphen: Implementierung und Anwendung eines Algorithmus von Lipton und Tarjan, Student Thesis No. 1610, 1997.
- Laun, Jürn-Jochen: Natürliche Beweise, Student Thesis No. 2573, 2007.
- Lewandowski, Stefan: Heapsort-Varianten in Theorie und Praxis, Student Thesis No. 1580, 1996.
- Müller, Sebastian: Deterministische endliche Automaten und Zwei-Variablen-Logik erster Stufe, Student Thesis No. 2425, 2013.
- Oberfell, Joerg: Faktorisierung mit elliptischen Kurven, Student Thesis No. 2008, 2005.
- Rathgeber, Moritz: Gewisse Eigenschaften deterministischer Automaten und ihre Komplexität, Student Thesis No. 2457, 2014.
- Seybold, Martin P.: Logik erster Stufe ohne Quantorenalternierung über endlichen Wörtern, Student Thesis No. 2298, 2011.
- Wächter, Jan; Philipp: Kaskadenzerlegung spezieller Automatenklassen, Student Thesis No. 2417, 2013.
- Walter, Tobias: Deterministische Intervall-Logik mit Faktor-Modalitäten, Student Thesis No. 2295, 2011.
|
|
Webmaster
)
| © University of Stuttgart |
Legal notice