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

4864 Results:

  1. Ruellie (Ruellia portellae)

    Bläder rötlich-purpur oewerlopen. In de Bladdachseln stahn einzelte rosarode Bläuten, de `ne 4 bet 5 cm lange, bagene Kronröhr besitten. Ut de Bläuten entwickeln sick mihrsamige Kapselfrüchte. As Räge

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/ruellie-ruellia-portellae/

  2. Pitch-Training
    05.06.2026, 4:00 pm - 05.06.2026, 5:30 pm

    and make a lasting impact. Participation is free of charge. Date: Friday, June 05, 2026 from 4 p.m. - 5:30 p.m. Location: Event area, Center for Entrepreneurship (ZfE) | Albert-Einstein-Straße 21 | 18059

    https://www.zfe.uni-rostock.de/en/workshops-dates/overview/n/pitch-training-272744/

  3. Film und Gespräch „Das Gewicht der Welt“
    18.05.2026, 7:00 pm

    Diversität“ (TED) Format: Infoveranstaltung Eintritt : Eintrittspreise des li.wu (8€ normal, 6€ ermäßigt, 5€ U23, es gilt das Kulturticket für Studierende)

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=275235&cHash=788828a1338d9744b06d066ab88cef35

  4. Launch of the BMFTR-Funded Project ADAPTI-M
    09.03.2026

    On 5 and 6 March, Adelinde Uhrmacher and Anja Wolpers attended the kick-off meeting for ADAPTI-M, a project that has been running since 1 January 2026. ADAPTI-M stands for „Modellierung der nächsten G

    https://mosi.informatik.uni-rostock.de/en/news/details/n/launch-of-the-bmftr-funded-project-adapti-m-276001/

  5. Launch of the BMFTR-Funded Project ADAPTI-M
    09.03.2026

    On 5 and 6 March, Adelinde Uhrmacher and Anja Wolpers attended the kick-off meeting for ADAPTI-M, a project that has been running since 1 January 2026. ADAPTI-M stands for „Modellierung der nächsten G

    https://vac.uni-rostock.de/en/news/details/n/launch-of-the-bmftr-funded-project-adapti-m-276007/

  6. Digitales Lernspiel

    entdecken die ‘chemische Reaktion’ spielerisch und vertiefen dabei ihr Verständnis. Es ist webbasiert ("HTML5") und somit ohne Installation direkt im Unterricht (oder im Selbstlernmodus) nutzbar. Entwickelt mit

    https://www.didaktik.chemie.uni-rostock.de/en/schulangebote/digitales-lernspiel/

  7. Alpen-Rose (Rosa pendulina)

    Mai und Juni erscheinen die einzeln stehenden Blüten. Die Blüten erreichen einen Durchmesser von ca. 5 cm. Ihre fünf Kronblätter sind meist rosa gefärbt. Gelegentlich sind sie dunkel-purpurrot gefärbt. Im

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/default-2b382182e127c00ff2cd002f1910b479/alpen-rose-rosa-pendulina/

  8. Drucktank

    der Offshore-Industrie und damit auch in der Meeresforschung zu immer größeren Wassertiefen bis über 5.000 m vorzustoßen, wachsen die Anforderungen an in diesen Tiefen eingesetzten Geräten und Strukturen

    https://www.lmt.uni-rostock.de/en/forschung/ausstattung/drucktank/

  9. Modulprüfungen

    Frau Liebold . Modul 2 SPSO 2021/23 Prüfungsform: Referat/Präsentation (20 min) mit Dokumentation (5-10 Seiten) Abgabetermin: 31.07.2026 Die Abgabe der Dokumentation erfolgt ausschließlich digital. Bei

    https://www.igsp.uni-rostock.de/en/lehre/allgemeine-grundschulpaedagogik/modulpruefungen/

  10. Italian

    Ilias stehen allen Studierenden und Mitarbeitern der Universität kostenfreie Online-Sprachkurse für 5 Sprachen zur Verfügung, darunter Italienisch A1-B2.

    https://www.sprachenzentrum.uni-rostock.de/en/languages/languages-e-i/italian/

Displaying results 1641 to 1650 of 4864.
  • Previous
  • ...
  • 161
  • 162
  • 163
  • 164
  • 165
  • 166
  • 167
  • 168
  • 169
  • 170
  • ...
  • 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