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 2022    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Herr Dr.-Ing. Ronny Tredup

  • Funktionen:
  •    

Dienstadresse

E-Mail   Telefon +49 381 498-7674
Bibliothek Publikationen im Katalog der UB Rostock Publikationen im GBV-Katalog

Zuordnung zu Einrichtungen

Fakultät für Informatik und Elektrotechnik (IEF)
IEF/Bereich Informatik
IEF/IN/IFI/Theoretische Informatik

Veranstaltungen

Vst.-Nr. Veranstaltungen Veranstaltungsart Semester
23892 Einführung in die Theoretische Informatik Übung SS 2022
238921 Einführung in die Theoretische Informatik Übung SS 2022

Publikationen

2021

The Complexity of Synthesizing nop -Equipped Boolean Petri Nets from g-Bounded Inputs Teil einer Monographie/eines Konferenzbandes Druckschrift
Zur Komplexität der Synthese von Petri-Netzen Dissertationsschrift Elektronische Ressource
Zur Komplexität der Synthese von Petri-Netzen Dissertationsschrift Druckschrift