Vorlesungsverzeichnis
Stud.IP
Bibliothek
DFG
Petri Nets 2017
Model Checking Contest @ Petri Nets
4883 Results:
Ansprechpartner Arnold, Kristin kristin.arnold@uni-rostock.de Tel.: 1610 Verantwortliche Organisationseinheit S1.2 Projektverwaltung
https://www.dienstleistungsportal.uni-rostock.de/en/serviceleistungen/zentrale-universitaetsverwaltung/suche-in-serviceleistungen/ppp-prozesse/detail/n/drittmittel-bewirtschaften-landesexzellenzfoerderung-52543/
Ansprechpartner Heiße, Sandra sandra.heisse@uni-rostock.de Tel.: 1537 Klook, Martin martin.klook@uni-rostock.de Tel.: 1532 Verantwortliche Organisationseinheit D2.3 Referat Beschaffung
https://www.dienstleistungsportal.uni-rostock.de/en/serviceleistungen/zentrale-universitaetsverwaltung/suche-in-serviceleistungen/ppp-prozesse/detail/n/dienstleistungs-werkvertraege-abschliessen-59089/
Ansprechpartner Radtke, Christine christine.radtke@uni-rostock.de Tel.: 1284 Verantwortliche Organisationseinheit D4.1 Personalservice
https://www.dienstleistungsportal.uni-rostock.de/en/serviceleistungen/zentrale-universitaetsverwaltung/suche-in-serviceleistungen/ppp-prozesse/detail/n/arbeitsunfaehigkeit-melden-39135/