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

4860 Results:

  1. Bis 06.06.2025 für die Haushaltsschulungen 2025 anmelden
    20.05.2025

    14:00 Uhr: Referat D2.4, Sachgebiet Reisekosten Dienstag, 17.06.2025 / 09:00 – 12:00 Uhr: Referat D2.5 und Sachgebiet / Finanzcontrolling und Statistik mit Belegbearbeitung und Steuern Mittwoch, 18.06.2025

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=238797&cHash=663f412b4d10886fd34aaf66744bae03

  2. Location

    use one of the 2 lanes on the right to turn right onto Satower Straße. Then drive straight ahead for 5.4 km and turn right into Justus-Liebig- Weg. You can also use the Google Maps route planner:

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/massivbau/anreise/

  3. Alle Veranstaltungen

    für Lehrkräfte der Grundschulen und Sek I 15.09.2025 Escape Games im NaWi-Unterricht Jahrgangsstufe 5/6 17.09.2025 Erstellen von Spielen für den Chemieunterricht 24.09.2025 Alkohole – experimentelle Ideen

    https://www.lfbz.uni-rostock.de/en/veranstaltungen/alle-veranstaltungen/

  4. Hinweise zur Archivierung

    sten für Studierenden- und Prüfungsunterlagen entnehmen Sie bitte der Amtlichen Bekanntmachung Nr. 5/2004. Die Liste ist dem Archiv auf digitalem Weg zuzuleiten. Nach Prüfung und Rückmeldung durch das

    https://www.ub.uni-rostock.de/en/standorte-einrichtungen/universitaetsarchiv-kustodie/benutzung-universitaetsarchiv/hinweise-zur-archivierung/

  5. Seed Exchange

    entered into the catalog. In the climate chamber, the seeds are kept at 4 °C for a maximum of 3 to 5 years, and are examined monthly to check if they are still in good condition. Since seeds have a very

    https://www.garten.uni-rostock.de/en/about-us/seed-exchange/

  6. Dr. Lena Cibulski erhält 1. Platz beim Fraunhofer ICT Dissertation Award 2025 (27.01.2026)
    27.01.2026

    Technologien in der Informatik, Mathematik oder angrenzenden Gebieten auseinandersetzen. Der Preis ist mit 5.000 Euro, 3.000 Euro und 2.000 Euro für die ersten drei Plätze dotiert.

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=264541&cHash=32e066c3f3e1fb3c1948bf05067d5bc2

  7. ROCINI

    number of members has grown from the original 20 to the current 36. News Tuesday, March 17th 2026: 5th Meeting of the Scientific Advisory Board Wednesday, March 26th 2025: 4th Meeting of the Scientific

    https://www.rocini.uni-rostock.de/en/

  8. 14-04-2025

    Digitaler Weiterbildungscampus (2020): SCORM. Online verfügbar: https://youtu.be/zlkvhoxlQ50?si=i34xWRNZh5y3NzVT (zuletzt abgerufen am 28.02.2025) Knowledgeworker.com (2024): Alles, was Sie über SCORM wissen

    https://www.roc.uni-rostock.de/en/instagram/14-04-2025/

  9. Choix Goncourt

    Erfolg das Rostocker Votum für den Roman " La nuit au coeur" von Natasha Appanah. Gemeinsam mit weiteren 5 Französisch-Studierenden haben sich die beiden im "Club littéraire" des Instituts für Romanistik im

    https://www.romanistik.uni-rostock.de/en/aktuelles/wissenschaftliche-veranstaltungen/choix-goncout/

  10. Dokumentation der kindlichen Entwicklung in Kindertageseinrichtungen beim Übergang in die Grundschule (Koch)

    In dieser Zeit wird die Entwicklung der Kinder (gemäß Kindertagesförderungsgesetz KiföG M-V, §1 Abs. 5) beobachtet und dokumentiert. Die hier erhobenen Daten verfügen potenziell über einen großen Wert für

    https://www.sopaed.uni-rostock.de/en/forschung/abgeschlossene-forschungsprojekte-i/dokumentation-der-kindlichen-entwicklung-in-kindertageseinrichtungen-beim-uebergang-in-die-grundschule-koch/

Displaying results 2041 to 2050 of 4860.
  • Previous
  • ...
  • 201
  • 202
  • 203
  • 204
  • 205
  • 206
  • 207
  • 208
  • 209
  • 210
  • ...
  • 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