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

4797 Results:

  1. FAQ

    Studienordnung (SPSO) Das Folgende steht dazu im Anhang zum Studiengang Lehramt an Gymnasien Anlage 4.5: Fachanhang Englisch unter dem Punkt 1.3.3: "Bis zur Anmeldung zur Ersten Staatsexamensprüfung sind

    https://www.iaa.uni-rostock.de/en/fachschaft/f-a-q/

  2. International Open Access Week (21.-24.10.2024)
    21.10.2024, 1:00 pm - 24.10.2024, 2:30 pm

    Die Teilnahme erfolgt via Zoom: https://uni-greifswald-de.zoom.us/j/87399393882?pwd=iNkzMJl1gF6JTECe8P5aOPVMX3ADUZ.1 Eine Anmeldung ist nicht erforderlich. Folgende Veranstaltungen sind geplant: Montag, 21

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/veranstaltungen/detailansicht-des-events/n/international-open-access-week-21-24102024-205209/

  3. Die besten Start-Up Ideen aus der Wissenschaft 2020 sind prämiert
    26.06.2020

    Berliner Gründerszene. Den von Antenne MV gestifteten Sonderpreis für ein Medienbudget in Höhe von 5.000 Euro wird in den folgenden Tagen bekannt gegeben. Auch im kommenden Jahr sind die Studierenden und

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/die-besten-start-up-ideen-aus-der-wissenschaft-2020-sind-praemiert-68023/

  4. Wissenschaftler der Universität Rostock entwickelt neues Verfahren zur Ermittlung von Sturmfluten
    21.04.2020

    coastal flood exposure, and impacts. Nat Commun 11, 1918 (2020). https://doi.org/10.1038/s41467-020-15752-5 Kontakt : J.-Prof. Dr.-Ing. Arne Arns Universität Rostock Agrar- und Umweltwissenschaftliche Fakultät

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/wissenschaftler-der-universitaet-rostock-entwickelt-neues-verfahren-zur-ermittlung-von-sturmfluten-63701/

  5. Licht aus dem Inneren des Tunnels; Physiker der Universität Rostock und vom Max-Born-Institut in Berlin decken einen bislang unbekannten Mechanismus für optische Nichtlinearität auf
    30.06.2020

    in, Nature Physics 2020. URL: https://www.nature.com/articles/s41567-020-0943-4 . https://rdcu.be/b5iSF (Link zum Volltext). Kontakt: Prof. Thomas Fennel Heisenberg-Professor für Starkfeld-Nanophysik

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/licht-aus-dem-inneren-des-tunnels-physiker-der-universitaet-rostock-und-vom-max-born-institut-in-berlin-decken-einen-bislang-unbekannten-mechanismus-fuer-optische-nichtlinearitaet-auf-68205/

  6. WORKSHOP: Gravity field, ice sheet and inner structure of the Earth in Antarctica: Understanding interactions and gathering observational constraints
    18.12.2019

    sind größere Zeitblöcke für die jeweilige Diskussion geplant, wobei weitere Kurzpräsentationen (max. 5 min) möglich sind und flexibel eingeschaltet wer‐ den sollen. Anmeldung bis spätestens 14. Februar 2020

    https://www.spp-antarktisforschung.uni-rostock.de/en/news-artikelordner/detailansicht-der-news/n/workshop-gravity-field-ice-sheet-and-inner-structure-of-the-earth-in-antarctica-understanding-interactions-and-gathering-observational-constraints-57179/

  7. Forscher feiern mit Rostockern großes Sommerfest
    01.07.2019

    und Fachleute, sondern alle Bürger der Stadt und der Region sind willkommen. Am kommenden Freitag, 5. Juli, geht es ab 13 Uhr rund um den Campus Südstadt bis um Mitternacht hoch her. „Wir wollen Wissenschaft

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/forscher-feiern-mit-rostockern-grosses-sommerfest-49325/

  8. MVpreneur Day 2017 am 14. Juni 2017
    09.06.2017

    begeistern und den ECOVIS Pitch Award zu gewinnen. Dazu stiftet Antenne MV ein Medienbudget im Wert von 5.000 € für die bewerbungswürdigste Idee! In zwei Workshoprunden erhalten die Teilnehmenden zudem wertvolle

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/mvpreneur-day-2017-am-14-juni-2017-11825/

  9. Internationaler Workshop „Peat under Water“ zur Wiedervernässung von Mooren
    10.09.2018

    WETSCAPES ist Teil des Exzellenzforschungsprogrammes des Landes Mecklenburg-Vorpommern und wird mit 5 Millionen Euro für vier Jahre an den Universitäten Rostock und Greifswald gefördert. Weitere Informationen

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/internationaler-workshop-peat-under-water-zur-wiedervernaessung-von-mooren-34635/

  10. Internationaler Workshop „Peat under Water“ zur Wiedervernässung von Mooren
    10.09.2018

    WETSCAPES ist Teil des Exzellenzforschungsprogrammes des Landes Mecklenburg-Vorpommern und wird mit 5 Millionen Euro für vier Jahre an den Universitäten Rostock und Greifswald gefördert. Weitere Informationen

    https://www.auf.uni-rostock.de/en/fakultaet/ueber-uns/aktuelles/detailansicht-der-news/n/internationaler-workshop-peat-under-water-zur-wiedervernaessung-von-mooren-34711/

Displaying results 2831 to 2840 of 4797.
  • Previous
  • ...
  • 280
  • 281
  • 282
  • 283
  • 284
  • 285
  • 286
  • 287
  • 288
  • 289
  • ...
  • 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