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

4862 Results:

  1. Sommerschule „Software Engineering Models and Modeling“ erfolgreich durchgeführt
    13.10.2017

    Vom 2.-13. Oktober 2017 fand am Institut für Informatik die 5. Sommerschule im Rahmen des ERASMUS+ Projektes PWs@PHD zum Thema „Software Engineering Models and Modeling“ statt. In dem Projekt geht es um

    https://www.informatik.uni-rostock.de/en/news/detailansicht-der-news/n/sommerschule-software-engineering-models-and-modeling-erfolgreich-durchgefuehrt-25531/

  2. 16. Landestagung der Informatiklehrerinnen und Informatiklehrer MV 2025 (05.04.2025)
    05.04.2025, 9:00 am - 05.04.2025, 4:30 pm

    „Informatische Bildung in Mecklenburg-Vorpommern“ lädt alle interessierten Lehrkräfte am Samstag, den 5. April 2025, von 09:00 bis 16:30 Uhr zur 16. Landestagung der Informatiklehrerinnen und Informatiklehrer

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/veranstaltungen/detailansicht-des-events/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=193615&cHash=aae962bd72a7dd5ebb57de5a15c781bc

  3. ZMV-Change Maker: Modul 2: Eigene Wahrnehmung reflektieren und neue Muster erlernen
    05.10.2022, 9:00 am - 27.10.2022, 1:00 pm

    möglich, können Sie sich aber auch einzelne Module aussuchen. Digitaler Workshop oder Präsenzworkshop 5. Oktober 2022, Präsenzworkshop von 9.00 - 13.00 Uhr ODER 27. Oktober 2022, Digitaler Workshop von 9

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/zmv-change-maker-modul-2-eigene-wahrnehmung-reflektieren-und-neue-muster-erlernen/

  4. Sprechstunde "Mobil arbeiten"
    07.12.2022, 10:00 am - 07.12.2022, 11:00 am

    staltung Anmeldung: via zoom unter https://uni-rostock-de.zoom.us/j/66200586167?pwd=bXphSXBrbThES2R5VzR6QnlpcktWdz09 Meeting-ID: 662 0058 6167 Kenncode: 253488

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/sprechstunde-mobil-arbeiten-136145/

  5. Sprechstunde "Mobil arbeiten"
    14.11.2022, 1:00 pm - 14.11.2022, 2:00 pm

    staltung Anmeldung: via zoom unter https://uni-rostock-de.zoom.us/j/66200586167?pwd=bXphSXBrbThES2R5VzR6QnlpcktWdz09 Meeting-ID: 662 0058 6167 Kenncode: 253488

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/sprechstunde-zum-handlungsrahmen-fuer-mobile-arbeit/

  6. Titus Wiesner führt sein Amt als studentischer Prorektor fort
    30.01.2020

    Titus Wiesner absolviert derzeit das zahnmedizinische Studium an der Universitätsmedizin Rostock im 5. Semester. Als studentischer Prorektor wirkt er mit beratender Funktion in folgenden Gremien: Allgemeiner

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/titus-wiesner-fuehrt-sein-amt-als-studentischer-prorektor-fort-59679/

  7. Online-Promotionsverteidigung von Herrn M. Sc. Michael Cramer
    22.09.2021, 1:00 pm - 22.09.2021, 3:00 pm

    en Fakultät statt. Zoom-Meeting beitreten https://us02web.zoom.us/j/81360620132?pwd=Sk1pQVNuQU51L0Z5VmVSc2NiK3Zpdz09 Meeting-ID: 813 6062 0132 Kenncode: 530055gez. Zusammenfassung der Dissertation

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/online-promotionsverteidigung-von-herrn-m-sc-michael-cramer-99523/

  8. 2015

    hypothalamus eQTL studies indicate a link between circadian rhythm and coping behavior. Scientific Reports 5:16264 Zebunke M, Repsilber D, Nürnberg G, Wittenburg D & Puppe B (2015): The backtest in pigs revisited

    https://www.auf.uni-rostock.de/en/professorships/h-w/ethology/translate-to-english-forschung/translate-to-english-publikationen/translate-to-english-2015/

  9. Workshop: "Presenting With Confidence" (Online)
    02.03.2022 - 02.03.2022

    strategy and dealing with difficult questions in Q&A sessions. All participants are required to prepare a 5-minute talk that they can present during the workshop and for which they will receive individual feedback

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/workshop-presenting-with-confidence-online/

  10. Hinoki-Scheinzypresse (Chamaecyparis obtusa)

    Monats Dezember 2022: Die Hinoki-Scheinzypresse (Chamaecyparis obtusa) Die Gattung Chamaecyparis umfasst 5 Arten, die in Ostasien und Nordamerika vorkommen. Die zu den Wacholdergewächsen (Cupressaceae) zählenden

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2022/hinoki-scheinzypresse-chamaecyparis-obtusa/

Displaying results 1201 to 1210 of 4862.
  • Previous
  • ...
  • 117
  • 118
  • 119
  • 120
  • 121
  • 122
  • 123
  • 124
  • 125
  • 126
  • ...
  • 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