Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Promotion

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP 

Grunddaten

Promovend Der Name ist ausschließlich für Nutzer sichtbar, die entweder bei LSF angemeldet sind oder aus dem Netzwerk der Universität Rostock zugreifen.
Akademischer Grad Dr.-Ing.
Promotionsgebiet Programmiersprachen und Sprachprozessoren
Verleihungsdatum 09.03.2009
Datum der mündlichen Prüfungsleistung 16.02.2009

Betreuer/Gutachter

Prof. Dr. Günter Riedewald, Universität Rostock Betreuer und Gutachter
Prof. Dr. Peter Luksch, Universität Rostock Gutachter
Prof. Dr. Michael Hanus, Gutachter

Einrichtung

Fakultät für Informatik und Elektrotechnik (IEF)

Publikationen

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP Druckschrift
Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP Elektronische Ressource