2010
Stefan Breuers Optimierung und experimentelle Analyse des algebraischen Komplementierungsverfahrens für Büchi Automaten Betreuung:W. Thomas Zweitgutachter:
Chr. Löding
www.automata.rwth-aachen.de2010
Stefan Breuers Optimization and experimental analysis of the algebraic complementation construction for Büchi automata Supervision W. Thomas second advisor:
Chr. Löding
www.automata.rwth-aachen.de1992 ? 1993 Studienleiter am Theologischen Studienjahr Jerusalem
1993?1997 Promotion bei Prof. Dr. Berndt Schaller an der Theologischen Fakultät der Georg-August-Universität Göttingen (Zweitgutachter:
Prof. Dr. Dr. Hartmut Stegemann;
egora.uni-muenster.de1992 ? 1993 Inspector of Studies in Jerusalem
1993?1997 Doctoral studies supervised by Prof. Dr. Berndt Schaller in the Theological Faculty of Georg-August-Universität Göttingen (secondary supervisor:
Prof. Dr. Dr. Hartmut Stegemann;
egora.uni-muenster.deNach Fertigstellung bringen Sie Ihre Arbeit in 4-facher Ausfertigung ( + elektronischer Version ) mit dem ausgefüllten Formular ( siehe unten ) zum Prüfungssekretariat.
Jeweils 1 Exemplar Ihrer Abschlussarbeit bringen Sie anschließend zum Erst- und zum Zweitgutachter.
Unter Umständen kann auch ein externer Gutachter akzeptiert werden - dazu reicht ein informelles Schreiben als E-Mail oder Brief an das Prüfungssekretariat.
www.zbi.uni-saarland.deAfter finishing your Thesis, please submit your work quadruplicate ( + 1 electronical version ) with the filled out form ( see below ) at the examination office.
Afterwards, please bring a copy to each of your surveyors.
External surveyors may be accepted as well - this can be announced with an informal email or letter to the examination office.
www.zbi.uni-saarland.de您想添加一个词、一个短语或一段译文吗？
请发送新条目。