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

4883 Results:

  1. Modulprüfungen

    Krankheitsnachweis mit Rücktrittsformular nicht rechtzeitig abgibt, erhält eine verwaltungstechnische 5.0 für die jeweilige Modulprüfung. Kontakt Universität Rostock Institut für Chemie Albert-Einstein-Straße

    https://www.chemie.uni-rostock.de/en/studium-lehre/studium-aktuell/modulpruefungen-2-2/

  2. Dr. Diana Matut ist Mare Balticum Fellow an der Universität Rostock
    26.07.2021

    „Anfangen will ich zu singen. Altjiddische Lieder der Sammlung Tychsen“ Die Sommerschule findet vom 5. bis zum 12. September 2021 statt. Ziel der Sommerschule ist es, das Jiddisch der Zeit von 1500 bis

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/dr-diana-matut-ist-mare-balticum-fellow-an-der-universitaet-rostock/

  3. Prüfungstermin für die PPEL- und PPGY-Klausur im Wintersemester 2021/22 (Prof. Dr. Eva Stumpf)
    16.11.2021

    Nahrungsaufnahme oder der Einnahme von Medikamenten o.ä. abgenommen werden, wenn ein Mindestabstand von 1,5 m eingehalten wird. ... Link hierzu: https://www.dienstleistungsportal.uni-rostock.de/corona-sonder

    https://www.ipprdk.uni-rostock.de/en/institut/institutsleitung-und-sekretariat/aktuelles-aus-dem-institut/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=245805&cHash=afb7566a7b4db5e155893706cc6295c0

  4. ILWAO

    ojektes Instantane PLIF/PIV-Aufnahme; farbcodiert die Brunt-Väisälä-Frequenz; Ioslinien bei 3 psu, 5 psu und 7 psu; Geschwindigkeitsverktoren Eines der ungeklärten Phänomene in der Atmosphärenphysik und

    https://www.lsm.uni-rostock.de/en/forschung/stroemungen-in-natur-und-medizin/fg3-archiv/ilwao/

  5. Liv. 1,20

    ancilia appellantur, ferre ac per urbem ire canentes carmina cum tripudiis sollemnique saltatu iussit. 5 Pontificem deinde Numam Marcium Marci filium ex patribus legit eique sacra omnia exscripta exsignataque

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/liv-120/

  6. CC °CALOR

    predominantly. °CALOR provides the world's largest dynamic range (time range, approx. 10 -4 K/s to 10 5 K/s for metals and up to more than 10 6 K/s for polymers) accessible for scanning calorimetry. New measuring

    https://www.inf.uni-rostock.de/en/llm/research-building/competence-centre/cc-calor/

  7. Overdue Items

    Should you fail to return the key of the locker within one week, you will incur an additional fine of 5.00 Euros (see No. 9 in the Terms of Use.) You will receive an email reminder three days before the loan

    https://www.ub.uni-rostock.de/en/borrowing/borrowing/overdue-items/

  8. Politik unterrichten

    3. Fallprinzip Interviewreihe politikdidaktische Prinzipien 1. Prof. Sibylle Reinhardt: Zur Person 5. Konfliktorientierung III: Methode Konfliktanalyse 9. Neutralität und Beutelsbacher Konsens 2. Poli

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/micro-lectures/politik-unterrichten/

  9. VAC Colloquium: Prof. Dr. Maria Schlüter "How do transformations towards sustainability happen, and why do they often fail? Simulating processes of change in complex social-ecological systems"
    13.01.2026, 1:15 pm

    ecology and a PhD in Applied System Science from Osnabrück University. Before her PhD she worked for 1.5 years at UNESCO’s regional office in Uzbekistan on a Regional Vision for the Aral Sea Basin. Her experiences

    https://vac.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/vac-colloquium-prof-dr-maria-schlueter-how-do-transformations-towards-sustainability-happen-and-why-do-they-often-fail-simulating-processes-of-change-in-complex-social-ecological-systems-261078/

  10. VAC Colloquium: Prof. Dr. Maria Schlüter "How do transformations towards sustainability happen, and why do they often fail? Simulating processes of change in complex social-ecological systems"
    13.01.2026, 1:15 pm

    ecology and a PhD in Applied System Science from Osnabrück University. Before her PhD she worked for 1.5 years at UNESCO’s regional office in Uzbekistan on a Regional Vision for the Aral Sea Basin. Her experiences

    https://mosi.informatik.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/vac-colloquium-prof-dr-maria-schlueter-how-do-transformations-towards-sustainability-happen-and-why-do-they-often-fail-simulating-processes-of-change-in-complex-social-ecological-systems-261078-1/

Displaying results 2501 to 2510 of 4883.
  • Previous
  • ...
  • 247
  • 248
  • 249
  • 250
  • 251
  • 252
  • 253
  • 254
  • 255
  • 256
  • ...
  • 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