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

4863 Results:

  1. 2. Spieltags-Bericht 24.04.2024 (Sommersaison 2024) 
    29.04.2024

    Durch den Feiertag am kommenden Mittwoch, findet der nächste Spieltag der Uni-Liga erst wieder am 8.5.2024 statt. Wie gewohnt wird dann ab 16:00 Uhr der Ball an der Waldessaumsportanlage (Am Waldessaum

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/2-spieltags-bericht-uni-liga-fussball-24042024-sommersaison-2024-193379/

  2. Gohl_2023

    and connecting ice masses in its catchment hinterland would contribute to a sea-level rise of up to 1.5 to 2 m. Records of its behavior during past warm periods will provide constraints on this vulnerability

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/geological-sciences/gohl-2023/

  3. Kalenderblatt Juli 2013

    Harnack (1851-1888), 2. H. Bruns (1848-1919), 3. S. Günther (1848-1923), 4. A. Wangerin (1944-1933), 5. M. Krause (1851-1920), 6. Voss (1869?). Bemerkenswert ist der Hinweis auf einen sehr geeigneten siebten

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2013/kalenderblatt-juli-2013/

  4. Schriftenreihe

    e Untersuchung zur Erhöhung des Leistungsgrades vertraglicher Vertriebssysteme, Wiesbaden 1997 Bd. 5 Olandt, H.: Dienstleistungsqualität in Krankenhäusern – Operationalisierung und Messung der Patient

    https://www.bwl.uni-rostock.de/en/institut/lehrstuehle/dienstleistungsmanagement/promotion-habilitation/schriftenreihe/

  5. Downloads

    institutions abroad who are significantly involved in the project. New : → Please note points 6.4 and 6.5 of the new guidelines for submitting applications, in particular the reference to any agreements on

    https://www.spp-antarktisforschung.uni-rostock.de/en/organisation/application-process/downloads/

  6. 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/

  7. 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/

  8. 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/

  9. 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/

  10. 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/

Displaying results 2871 to 2880 of 4863.
  • Previous
  • ...
  • 284
  • 285
  • 286
  • 287
  • 288
  • 289
  • 290
  • 291
  • 292
  • 293
  • ...
  • 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