tudo  ls1
Deutsch English (UK)
  • Home
  • Lehre
  • Research
  • Publications
  • Mitarbeiter
  • Kontakt
  • Intern
  • Aktuelle Seite:  
  • LS1 - Logik in der Informatik
Weiterer Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert. Anja Flehmig 294
Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert Anja Flehmig 367
Weiterer Artikel wurde zur Präsentation und Veröffentlichung im Rahmen der JELIA 2021 akzeptiert Anja Flehmig 291
Lehrveranstaltungen im Sommersemester 2021 Miriam Balke 291
Lehrveranstaltungen im Wintersemester 2020/2021 Miriam Balke 344
Artikel wurde zur Präsentation akzeptiert Anja Flehmig 322
Lehrveranstaltungen im Sommersemester 2020 Miriam Balke 284
35. Mini-Workshop am 27.01.2020 Anja Flehmig 5579
35. Campuslauf der TU Dortmund am 22. Mai 2019 27.05.2019 Anja Flehmig 3812
Lehrveranstaltungen im Sommersemester 2019 Miriam Balke 4115
Lehrveranstaltungen im Wintersemester 2018/2019 Miriam Balke 4155
Zwei Artikel aus der Arbeitsgruppe LogiDAC mit weiteren Koautoren in ACM-Zeitschriften erschienen Miriam Balke 4552
Artikel wurde zur Veröffentlichung akzeptiert Miriam Balke 5151
Stellenausschreibung GTI Miriam Balke 4479
Fellowship für Innovationen in der Digitalen Hochschullehre für Thomas Zeume Miriam Balke 5815

Seite 1 von 4

  • 1
  • 2
  • 3
  • 4

© 2021 LS1 - Logik in der Informatik - Fakultät für Informatik Barrierefreiheit|Datenschutzerklärung|Impressum

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind essenziell für den Betrieb der Seite, während andere uns helfen, diese Website und die Nutzererfahrung zu verbessern (Tracking Cookies). Sie können selbst entscheiden, ob Sie die Cookies zulassen möchten. Bitte beachten Sie, dass bei einer Ablehnung womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.

Akzeptieren Ablehnen
Weitere Informationen