 |
|
- Bellon, Stefan; Thiele, Erik: Implementierung eines sicheren Systems zur Vorlesungsumfrage, Studienarbeit Nr. 1821, 2001.
- Decker, Normann: A Continuous Truth Domain for Runtime Verification, Studienarbeit Nr. 2270, 2010.
- Fritz, Eberhard: Zwei Simulationsmodelle für die Signalsteuerung von Straßenzügen, Studienarbeit Nr. 48, 1975.
- Gengenbach, Helmut: Interaktives graphisches Programm zur Generierung und Manipulation graphischer Objekte (graphischer Editor), Studienarbeit Nr. 277, 1982.
- Hartmann, Frederik: Untersuchung der Struktur großer Straßennetzwerke, Studienarbeit Nr. 2356, 2012.
- 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.
- Krumpe, Filip: Hierarchisierung und Darstellung von Geodaten, Studienarbeit Nr. 2432, 2014.
- Lange, Sven: Separatoren von planaren Graphen: Implementierung und Anwendung eines Algorithmus von Lipton und Tarjan, Studienarbeit Nr. 1610, 1997.
- Laun, Jürn-Jochen: Natürliche Beweise, Studienarbeit Nr. 2573, 2007.
- Lewandowski, Stefan: Heapsort-Varianten in Theorie und Praxis, Studienarbeit Nr. 1580, 1996.
- 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.
|
|
Webmaster
)
| © Universität Stuttgart |
Impressum