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

4889 Results:

  1. Informatik PI

    more 20.04.2026, 5:00 pm 20.04.2026 Interview von Prof. Dr. Alke Martens im WDR 5 Redezeit, Sendung "Neugier genügt", durchgeführt von Anja Backhaus Das Gespräch zum Nachhören in der WDR 5 Redezeit (kann [...] (kann gern verlinkt werden): https://www1.wdr.de/mediathek/audio/wdr5/wdr5-neugier-genuegt-redezeit/… read more 10.03.2026, 3:35 pm Glückwunsch zu über 160.000 Followern | Sendung zum Nachschauen “KI, Ethik

    https://pidi.informatik.uni-rostock.de/en/

  2. Courses & Workshops

    collaboration" 1,5 days (March 2022) - Manor Gremmelin, Germany WS1 "Best practice in Science 3 days 2 to be announced WS2 "Hydrology and Biogeochemistry of Peatlands and the Baltic Sea" 1 week 5 Hyytiälä/Tvärminne [...] days 3 Rostock, Germany WS4 "Biogeochemistry and Coastal Food Webs" 1 week 5 Sweden Retreat II "Interdisciplinary collaboration" 1,5 days - Manor Gremmelin, Germany International Conference, Special session

    https://www.baltic-transcoast.uni-rostock.de/en/qualification/overview/courses-workshops/

  3. Pokal der Rektorin

    Pokal der Rektorin der Universität Rostock Mathematischer Wettbewerb in den Klassenstufen 4 und 5 Der jährlich stattfindende mathematische Schülerwettbewerb um den 'Pokal der Rektorin der Universität Rostock' [...] Rostock' wird seit 1985 mit dem Ziel durchgeführt, Schülerinnen und Schüler der Klassenstufen 4 und 5 aller Schularten der Stadt Rostock für eine vertiefte Beschäftigung mit der Mathematik zu interessieren [...] erkennen. Dazu kann jede Schule maximal fünf Schülerinnen oder Schüler aus jeder der Klassenstufen 4 und 5 delegieren. Die drei besten Schülerleistungen fließen in die Schulwertung ein. Einen Wanderpokal der

    https://www.mathematik.uni-rostock.de/en/aktivitaeten-veranstaltungen/regelmaessige-veranstaltungen/tag-der-mathematik/pokal-der-rektorin/

  4. Staffel 5

    Digitale Ausstellungen Folge 4 Hybride Lehre Folge 5 Podcasts in der Lehre Folge 6 Feedback geben und erhalten Staffel 1 Staffel 2 Staffel 3 Staffel 4 Staffel 5 Staffel 6 [...] ROCinare - Staffel 5 (2022) Seminar-Programm im Detail 21.03.2022: Thema "Goldstandards OER" 28.03.2022: Thema "Forschendes Lernen" 04.04.2022: Thema "Digitale Ausstellungen" 25.04.2022: Thema "Hybride

    https://www.roc.uni-rostock.de/en/andere/ur-roc/veranstaltungen/rocinar-2/

  5. Schwingfundament / Aufspannplatte

    Spannfeld Spannfeldfläche 4 x 5 Meter Aufspannplatte Aufspannplatte mit einer Grundfläche von 7m x 2,5m für statisch beanspruchte Prüfaufbauten

    https://www.stm.uni-rostock.de/en/ausstattung/ausruestungsgegenstaende/schwingfundament-aufspannplatte/

  6. Dokumentation zur Vergabe

    Dokumentation Direktauftrag, bis 5T€.docx Dokumentation Direktauftrag, bis 5T€.pdf Dokumentation_zur_Vergabe_UVGO.docx Dokumentation_zur_Vergabe_UVGO.pdf

    https://www.dienstleistungsportal.uni-rostock.de/en/serviceleistungen/zentrale-universitaetsverwaltung/suche-in-serviceleistungen/ppp-dokumente/ppp-dokument-detail/n/dokumentation-zur-vergabe-39223/

  7. Dokumentation zur Vergabe

    Dokumentation Direktauftrag, bis 5T€.docx Dokumentation Direktauftrag, bis 5T€.pdf Dokumentation_zur_Vergabe_UVGO.docx Dokumentation_zur_Vergabe_UVGO.pdf

    https://www.dienstleistungsportal.uni-rostock.de/en/serviceleistungen/zentrale-universitaetsverwaltung/suche-in-serviceleistungen/ppp-prozesse/detail/n/dokumentation-zur-vergabe-39223/

  8. Übersicht Lehrangebote

    (Angiospermen) BSc VL, WiSe Praktikum (Kryptogamen, 149021) BSc VL, WiSe 5 Termine a 3h Praktikum (Anatome & Morphologie, 149022) BSc VL, WiSe 5 Termine a 3h Prüfungsklausur BSc Febr (Sept) Modul Botanik 2 (14902) [...] VL, WiSe Praktikum (Kryptogamen, 149021) LA (außer SoPäd) VL, WiSe 5 Termine a 3h Praktikum (Anatome & Morphologie, 14902) LA VL, WiSe 5 Termine a 3h Prüfungsklausur LA Febr (Sept) Modul `Heimische Flora

    https://www.botanik.uni-rostock.de/en/lehre/aktuelles/uebersicht-lehrangebote/

  9. Chemie im pharmazeutischen Kontext
    30.06.2025, 2:00 pm

    (Chemie, Biologie) der Sekundarstufe II implementiert werden kann. Als Modellsubstanz dient 5-Aminosalicylsäure (5-ASA). Sie wird aufgrund ihrer entzündungshemmenden Wirkung in Arzneimitteln gegen Darmer [...] Hierzu wird 5-ASA z. B. in Azosalicylsäure, eine stabile Verbindung ohne eigene biologische Aktivität, überführt. Diese Verbindung wird dann im Darm durch bakterielle Azoreduktasen in aktive 5-ASA-Moleküle

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=238921&cHash=a75b12b9db5531d378b37b019820d786

  10. Review of the PoEM 2024 in Stockholm
    06.12.2024

    December 3 to 5 at Stockholm University. Some of the contents of PoEM 2024 were: three keynotes on “Navigating the seas of Society 5.0” by Dragoljub Nesic, “Data Analytics in Industry 5.0 for Sustainable [...] Yasmina Santos and “Accelerating Innovation: AstraZeneca's Digital Transformation Towards Industry 5.0” by Anders Bergman, 17 accepted papers in the main part of the conference, three workshops held jointly [...] Workshop. Prof. Kurt Sandkuhl was also part of a panel discussion on Digital Transformation in Industry 5.0. Further information on PoEM 2024: https://poem2024.dsv.su.se/

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/review-of-the-poem-2024-in-stockholm-227091/

Displaying results 91 to 100 of 4889.
  • Previous
  • ...
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • ...
  • 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