Skip to main content Skip to footer
Deutsch Login

Vorlesungsverzeichnis

Stud.IP

Bibliothek

DFG

Petri Nets 2017

Model Checking Contest @ Petri Nets

Universität Rostock
Theoretische Informatik
  • Team
    • Portalseite Lehre
    • Lehrveranstaltungen
    • Studentische Arbeiten
    • Absolventen
      • Dissertationen
      • Diplomarbeiten
      • Masterarbeiten
      • Bachelorarbeiten
      • Hausarbeiten
      • Studienarbeiten
    • Didaktisches Kabinett
    • Forschungsziele
    • Projekte
    • Publikationen
    • Werkzeuge
    • Tools
      • Tool Listing
  • Institut für Informatik
  • Startseite
  • Suche
Reset

4796 Results:

  1. Verfahrensregeln in Zeiten der Corona-Pandemie
    14.05.2020

    werden, sobald die Wiederaufnahme technisch möglich ist. Dies muss im Prüfungsprotokoll vermerkt werden. 5) Delegation ans ZPA Die von Amts wegen durch den ZPLA zu erteilenden Genehmigungen gemäß den vorstehenden

    https://www.zpa.uni-rostock.de/en/zpa-interne-nachrichten/detailansicht-der-news/n/verfahrensregeln-in-zeiten-der-corona-pandemie-64731/

  2. Erfolgreiche Promotionsverteidigung von Christian Kaiser
    02.02.2022

    position paper (BITKOM). Thereby, the journal publications IJIM (Impact Factor 8.21), BISE (Impact Factor 5.83), the ECIS conference publication (VHB-JQ3: B) are particularly outstanding.

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/erfolgreiche-promotionsverteidigung-von-christian-kaiser/

  3. Wie können Städte klimafreundlich planen? Schutz kommunaler Wald- und Moorflächen hilft (nicht nur) dem Klima
    04.01.2021

    Städte relevant sein dürften. Die Ergebnisse überraschten die Autorinnen der Studie: „Rostock gehört mit 5.100 ha baumbestandener Fläche zu den größten Waldbesitzern Deutschlands. Wald ist innerhalb des Flä

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/wie-koennen-staedte-klimafreundlich-planen-schutz-kommunaler-wald-und-moorflaechen-hilft-nicht-nur-dem-klima-82106/

  4. 600 Jahre Impulsgeber für die Wirtschaft
    13.04.2017

    tragen zu einem strukturellen Aufschwung bei. Nicht zuletzt sind fast 14.000 Studierende sowie knapp 5.000 Mitarbeitende als Konsumenten sowie der komplexe Hochschulneubau ein nicht zu unterschätzender Faktor

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/600-jahre-impulsgeber-fuer-die-wirtschaft-9225/

  5. „Tag der Mathematik“ für die ganze Familie
    22.06.2017

    ist ein Wettbewerb für mathematisch interessierte Schülerinnen und Schüler der Jahrgangsstufen 4 und 5 der Rostocker Grundschulen und weiterführenden Schulen. Jede Schule kann bis zu fünf Schülerinnen und

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/tag-der-mathematik-fuer-die-ganze-familie-12473/

  6. Schwimmende Windräder: internationales Forschungsprojekt an der Universität Rostock
    30.10.2019

    Wissenschaftseinrichtungen in diesem europäischen Forschungsprojekt, in dem mit einem Gesamtvolumen von 3,5 Millionen Euro Doktoranden strukturiert ausgebildet werden“, sagt Adam. Der 33-jährige Diplom-Ingenieur

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/schwimmende-windraeder-internationales-forschungsprojekt-an-der-universitaet-rostock-54445/

  7. Großer Erfolg für die Antarktisforschung an der Universität Rostock
    01.03.2018

    sechsjährige Förderung dieses Programms, mit einer Laufzeit von 2019 bis 2024. Somit stehen jedes Jahr 2,5 bis 3 Millionen Euro für neue Projektideen aus den Naturwissenschaften und der Geologie/Geographie zur

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/grosser-erfolg-fuer-die-antarktisforschung-an-der-universitaet-rostock-26873/

  8. Großer Erfolg für die Antarktisforschung an der Universität Rostock
    01.03.2018

    sechsjährige Förderung dieses Programms, mit einer Laufzeit von 2019 bis 2024. Somit stehen jedes Jahr 2,5 bis 3 Millionen Euro für neue Projektideen aus den Naturwissenschaften und der Geologie/Geographie zur

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/grosser-erfolg-fuer-die-antarktisforschung-an-der-universitaet-rostock-25595/

  9. 9. IT Career Night digital (13.01.2021)
    13.01.2021, 4:45 pm - 13.01.2021, 8:00 pm

    geplant, die im Zeitraum 16.11. bis 18.11.2020 ausgefallene 9. IT Career Night 2020 vom 3. bis zum 5. Mai 2021 mit dem kompletten Programm und allen beteiligten Akteuren in Präsenz zu wiederholen. Die

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/9-it-career-night-digital-13012021-82704/

  10. Konferenzarchiv 2018

    h) Ort: Abgeordnetenhaus von Berlin, Festsaal (Gründungsort der KPD 1918/19), Niederkirchnerstraße 5, 10117 Programmablauf Arno Esch ein – Student im politischen Widerstand (Forum Zeitgeschichte MV) „Arno

    https://www.geschichte.uni-rostock.de/en/arbeitsbereiche/zeitgeschichte/lehrstuhl/konferenzen/konferenzarchiv/konferenzarchiv-2018/

Displaying results 2741 to 2750 of 4796.
  • Previous
  • ...
  • 271
  • 272
  • 273
  • 274
  • 275
  • 276
  • 277
  • 278
  • 279
  • 280
  • ...
  • Next

Kontakt

Universität Rostock
Institut für Informatik
Theoretische Informatik
Albert-Einstein-Straße 22
18059 Rostock Tel.: +49 381 498 7641
Fax: +49 381 498 7642
E-Mail senden

Service

  • Imprint
  • Privacy
  • Barrierefreiheit
  • Maps

E-Mail Webmaster

Social Media

  • Facebook
  • YouTube
  • Instagram

© 2026  Universität Rostock