Institute of Formal Methods in Computer Science | Publications : Year 2000

Universität Stuttgart

|

Computer Science

|

Institute of Formal Methods in Computer Science : Publications

Year 2000

Technical Reports, Doctoral Theses, Student Theses of the Institute

Dissertations
Diploma Theses (archive)

Dissertations

Hagenah, Christian: Gleichungen mit regulären Randbedingungen über freien Gruppen, Doctoral Thesis, 2000.

Diploma Theses (archive)

Hermes, Lars: Heuristiken zur Reihenfolgeoptimierung in industriellen Fertigungsprozessen, Diploma Thesis No. 1797, 2000.
Lang, Markus: Entwicklung evolutionärer Algorithmen zur Verbesserung von Strategien - am Beispiel des Wettstreits "Krieg der Sterne", Diploma Thesis No. 1851, 2000.