 |
|
- Austinat, Holger: Verteilte Algorithmen zur Koordinatorwahl in Netzwerken, Diplomarbeit Nr. 1727, 1999.
- Bächtle, Patrick: Varianten des NTRU-Kryptosystems, Diplomarbeit Nr. 3286, 2012.
- Baumann, Thomas: Quantorenalternierung und reguläre Sprachen, Diplomarbeit Nr. 2775, 2008.
- Binder, Wa: Entwicklung optimaler Algorithmen zur Berechnung von Kontext-Mischungen, Diplomarbeit Nr. 22, 2009.
- Boffo, Sandra: Entscheidbarkeits- und Abschlusseigenschaften von Automatenhalbgruppen, Diplomarbeit Nr. 21, 2017.
- Decker, Normann: Temporal Logic for Properties with Relative Frequency, Diplomarbeit Nr. 3125, 2011.
- Gaiser, Andreas: Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen, Diplomarbeit Nr. 2718, 2008.
- Gao, Sheng: Der Angriff auf Merkle-Hellman Kryptosystem, Diplomarbeit Nr. 3520, 2014.
- Giricz, Thomas: Semantische Methoden zur Kompression von Text, Diplomarbeit Nr. 1, 2009.
- Giricz, Thomas: Semantische Methoden zur Kompression von Text, Diplomarbeit Nr. 2, 2009.
- Gross, Jürgen: Eine Implementierung von Lubys Algorithmus für die Cray T3E, Diplomarbeit Nr. 1790, 1999.
- Hoffmann, Benjamin: Kryptographische Protokolle für Online-Auktionen, Diplomarbeit Nr. 21, 2006.
- Holz, Mike: Effiziente Heuristiken zur Berechnung kürzester Wege in Graphen mit negativen Kantengewichten, Diplomarbeit Nr. 12, 2009.
- Horsch, Martin Thomas: Spiele und temporallogische Fragmente über Spuren, Diplomarbeit Nr. 2391, 2006.
- Jahn, Franz G.: Minimierung von Automaten mit einer beschränkten Anzahl von Fehlern, Diplomarbeit Nr. 3337, 2012.
- Kausch, Jonathan: Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen, Diplomarbeit Nr. 3238, 2011.
- Klein, Kim-Manuel: Das Verhalten von Traversierenden Baumautomaten mit Marken, Diplomarbeit Nr. 3017, 2010.
- Kufleitner, Manfred: Wortgleichungen in hyperbolischen Gruppen, Diplomarbeit Nr. 1922, 2001.
- Lange, Sven: In-Situ-Sortierverfahren, Diplomarbeit Nr. 1552, 1997.
- Lauser, Alexander: Fragmente einer Intervall-Logik, Diplomarbeit Nr. 2823, 2009.
- Lewandowski, Stefan: Anwendungen für Separatortheoreme auf planaren Graphen, Diplomarbeit Nr. 1508, 1997.
- Löser, Moritz: Äquivalenzklassen-basiertes Testen, Diplomarbeit Nr. 26, 2008.
- Lüdenbach, Matthias: Implementierung und Vergleich FFT-basierter Multiplikationsalgorithmen, Diplomarbeit Nr. 2, 2006.
- Müller, Martin: Der polynomielle Abschluß von Sprachklassen über Spuren, Diplomarbeit Nr. 2328, 2005.
- Nardelli, Nicolas Xavier: Entwicklung eines Testkonzepts für parametrisierbare Simulationsmodelle mechanischer, hydraulischer und regelungstechnischer Systeme., Diplomarbeit Nr. 1856, 2000.
- Nonner, Tim: Teilwortprobleme auf komprimierten Wörtern, Diplomarbeit Nr. 8, 2005.
- Pflüger, Hermann: Untersuchung von Eindeutigen Büchi Automaten, Diplomarbeit Nr. 3182, 2011.
- Riegger, Philipp M.: Eine Variante der Burrows-Wheeler Transformation mit Permutationen, Diplomarbeit Nr. 3117, 2011.
- Seybold, Martin P.: Die Holonomie-Zerlegung von Automaten, Diplomarbeit Nr. 3332, 2012.
- Staiger, Stefan: Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen, Diplomarbeit Nr. 2330, 2005.
- Thoma, Daniel: Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking, Diplomarbeit Nr. 2799, 2008.
- Wächter, Jan: Das Wortproblem für Omega-Terme über Zweivariablenlogik, Diplomarbeit Nr. 3610, 2014.
- Walter, Tobias: Über die Billaudsche Vermutung, Diplomarbeit Nr. 3141, 2011.
- Weiß, Armin: Eine kombinatorische Charakterisierung kontextfreier Gruppen, Diplomarbeit Nr. 32, 2011.
|
|
Webmaster
)
| © Universität Stuttgart |
Impressum