 |
|
- Abdelaziz, Amir: Separierbarkeit über endlichen Wörtern bei einer Quantorenalternierung, Diplomarbeit Nr. 2, 2015.
- Bächtle, Patrick: Varianten des NTRU-Kryptosystems, Diplomarbeit Nr. 3286, 2012.
- Bauknecht, Uwe: Zweidimensionale Packungsprobleme mit industriellen Anwendungen, Diplomarbeit Nr. 25, 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.
- Bischoff, Bastian: Wortbegrenzung unter Involution, Diplomarbeit Nr. 3095, 2010.
- Boffo, Sandra: Entscheidbarkeits- und Abschlusseigenschaften von Automatenhalbgruppen, Diplomarbeit Nr. 21, 2017.
- Bühler, Stefan: Onboard-Routenplanung auf dem Smartphone, Diplomarbeit Nr. 16, 2013.
- Bufe, Marc: Nachbarschaftsbegriffe und ihre Operatoren bei der evolutionären Lösung von Unterordnungsproblemen, Diplomarbeit Nr. 15, 2007.
- Debatin, Michael: SAT solving modulo nichtlinearer Theorien, Diplomarbeit Nr. 2, 2010.
- Decker, Normann: Temporal Logic for Properties with Relative Frequency, Diplomarbeit Nr. 3125, 2011.
- Erkilic, Arif: Experimenteller Vergleich verschiedener Dijkstra-Varianten im Rahmen der k-kürzeste-Wege-Suche, Diplomarbeit Nr. 2825, 2009.
- Fesser, Martin: Entwicklung von Spielstrategien mittels evolutionärer Algorithmen am Beispiel von Kalaha, Diplomarbeit Nr. 2184, 2004.
- Futter, Hannes: Neue Ansätze zur Verbesserung von Schwarmalgorithmen und Evolutionsstrategien, Diplomarbeit Nr. 2606, 2007.
- 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.
- Gocke, Norman: Optimale Partitionierung von markierten Graphen mit Hilfe genetischer Algortihmen, Diplomarbeit Nr. 2055, 2003.
- Güpner, Juan Roldan: Komplexitätsanalyse der C-Funktion, Diplomarbeit Nr. 1195, 1995.
- Häcker, Claudius: Automatische Korrektheitsprüfung von Formeln und Programmen, Diplomarbeit Nr. 2065, 2003.
- Häcker, Claudius: Evaluation und Visualisierung Kürzester-Wege-Algorithmen auf Zufallsgraphen, Diplomarbeit Nr. 2187, 2004.
- Hantschel, Ralf: Über das Wachstum von Boyer-Moore-Automaten, Diplomarbeit Nr. 2557, 2007.
- Hartmann, Frederik: Routenplanung mit Nebenbedingungen, Diplomarbeit Nr. 4, 2014.
- Heidenreich, Sebastian: Widerstandsermittlung für die Verkehrsprognoserechnung im ÖPNV, Diplomarbeit Nr. 2368, 2005.
- Hermes, Lars: Heuristiken zur Reihenfolgeoptimierung in industriellen Fertigungsprozessen, Diplomarbeit Nr. 1797, 2000.
- Hildinger, Markus: Abdeckung von Verschnittresten unter Konnektivitätsbedingungen, Diplomarbeit Nr. 3706, 2015.
- Hoffmann, Benjamin: Kryptographische Protokolle für Online-Auktionen, Diplomarbeit Nr. 21, 2006.
- Hoffmann, Jürgen: Entwicklung eines Programmsystems zur Wegsuche in Verkehrsnetzen des öffentlichen und Individualverkehrs unter besonderer Berücksichtigung des P+R-Verkehrs, Diplomarbeit Nr. 1094, 1994.
- 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.
- Jakovljevic, Miroslav: Experimentelle Untersuchung zur Eignung von k-kürzeste-Wege-Algorithmen bei der Suche nach echten Alternativrouten, Diplomarbeit Nr. 2826, 2009.
- Jung, Till-Moritz: Darstellungs- und Lösungsmethoden für die optimale Steuerung technischer Prozesse am Beispiel der Motorregelungen, Diplomarbeit Nr. 2506, 2006.
- Kaistra, Martin: Query-Optimierung für OSCAR, Diplomarbeit Nr. 22, 2017.
- Kara, Ferdi: Kürzeste Wege im Wikipedia-Linkgraph, Diplomarbeit Nr. 3410, 2013.
- Kausch, Jonathan: Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen, Diplomarbeit Nr. 3238, 2011.
- Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diplomarbeit Nr. 2284, 2005.
- Klarmann, Jürgen: Evaluation de Performances d'Architectures Informatiques, Diplomarbeit Nr. 14, 1994.
- Klein, Kim-Manuel: Das Verhalten von Traversierenden Baumautomaten mit Marken, Diplomarbeit Nr. 3017, 2010.
- Koch, Matthias: Strukturerkennung und Übersetzung zwischen COBOL und C, Diplomarbeit Nr. 1363, 1996.
- Komarek, Peter: Strategien für die Elternselektion in evolutionären Algorithmen, Diplomarbeit Nr. 2560, 2007.
- Krumpe, Filip: Offline Speicherung und Darstellung von Geodaten auf Mobilgeräten, Diplomarbeit Nr. 3624, 2014.
- Lang, Markus: Entwicklung evolutionärer Algorithmen zur Verbesserung von Strategien - am Beispiel des Wettstreits "Krieg der Sterne", Diplomarbeit Nr. 1851, 2000.
- Lauser, Alexander: Fragmente einer Intervall-Logik, Diplomarbeit Nr. 2823, 2009.
- Löser, Moritz: Äquivalenzklassen-basiertes Testen, Diplomarbeit Nr. 26, 2008.
- Lubecki, Arkadius: Parameterbestimmung für genetische Algorithmen mit multiparent Crossover, Diplomarbeit Nr. 2421, 2006.
- Ludwig, Michael: Der Algorithmus von Howgrave-Graham und Joux zur Lösung von Rucksackproblemen, Diplomarbeit Nr. 26, 2012.
- Lüdenbach, Matthias: Implementierung und Vergleich FFT-basierter Multiplikationsalgorithmen, Diplomarbeit Nr. 2, 2006.
- Mack, Marcus: Untersuchung von effizienten Algorithmen zur Bestimmung der k-kürzesten Wege innerhalb von ÖPNV-Verkehrsnetzen, Diplomarbeit Nr. 1374, 1996.
- Mendel, Thomas: Radar-based Object Type Classification, Diplomarbeit Nr. 8, 2013.
- Menne, Christian Frank: Personaleinsatzplanung im Bereich modernster Fertigung, Diplomarbeit Nr. 30, 2009.
- Mößner, Bernhard: Hierarchien sternfreier Spursprachen und Logikhierarchien, Diplomarbeit Nr. 15, 1995.
- Müller, Martin: Der polynomielle Abschluß von Sprachklassen über Spuren, Diplomarbeit Nr. 2328, 2005.
- Müller, Mike: Über Wortgleichungen, Diplomarbeit Nr. 31, 2011.
- 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.
- Ruopp, Manuel: Contraction Hierarchies für komplexe Kostenmaße, Diplomarbeit Nr. 3232, 2012.
- Sadikovic, Jasna: Optimiale Eigenbewegungsschätzung anhand adaptiver Sensordatenfusion optischer und kinematischer Sensoren, Diplomarbeit Nr. 2496, 2006.
- Schmidt, Thomas R.: Verteilte evolutionäre Verfahren, Diplomarbeit Nr. 14, 1997.
- Schwarz, Axel: Verkehrssimulation, Diplomarbeit Nr. 15, 1997.
- Seybold, Martin P.: Die Holonomie-Zerlegung von Automaten, Diplomarbeit Nr. 3332, 2012.
- Siantidis, Zissis: Entwurf und Implementierung eines Lernsystems für gestreute Speicherung, Diplomarbeit Nr. 2154, 2004.
- Sieweck, Philipp: SAT Solving mit GPU Unterstützung, Diplomarbeit Nr. 3289, 2012.
- Simec, Dean: Messung und Analyse der Permutationen von hoher Unrodnung, Diplomarbeit Nr. 2578, 2007.
- Sommer, Ralf: Automatisierte Formalisierung von Anforderungen an eingebettete Systeme im Automobilbau, Diplomarbeit Nr. 43, 2011.
- 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.
- Thomaß, Bertram: SAT solving modulo nichtlinearer Theorien, Diplomarbeit Nr. 3094, 2010.
- Tsotniashvili, Timur: Übersetzung von imperativen Programmen mit Zeigermanipulation in Graphtransformations-Regeln, Diplomarbeit Nr. 26, 2006.
- 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.
- Wörner, Joachim: Optimierung der Rückhollogistik beim Recycling von Elektronik-Schrott, Diplomarbeit Nr. 1646, 1998.
- Wu, Yun: Entwicklung eines Algorithmus zur Auswahl relevanter Objekte zur Kollisionswarnung für die Spurprädiktion, Diplomarbeit Nr. 17, 2005.
- Xu, Xiaocong: Analyse der Crossover-Operatoren mit mehreren Eltern in genetischen Algorithmen, Diplomarbeit Nr. 18, 2005.
- Zaychenko, Petro: Die Rekonstruktion nichtlinearer dynamischer Systeme mithilfe genetischer Programmierung., Diplomarbeit Nr. 2567, 2007.
|
|
Webmaster
)
| © Universität Stuttgart |
Impressum