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

4782 Results:

  1. Anmeldung für Vorbereitungsseminare Hauptpraktikum (SPSO 2021)
    02.08.2022

    Semester, die gem. SPSO 2017/19 studieren! Ab sofort können sich alle Studierenden der Übergangskohorte (5. Semester), die für das im Modul Hauptpraktikum für das Lehramt an Grundschulen - Fachdidaktisches Praktikum

    https://www.igsp.uni-rostock.de/en/institut/mitteilungen-aus-dem-institut/detailansicht-der-news/n/anmeldung-fuer-vorbereitungsseminare-hauptpraktikum-spso-2021-127129/

  2. Fürsorgepflicht des Arbeitgebers bei Arbeitsunfähigkeit
    14.03.2025

    begleiten lassen. Der Arbeitgeber benötigt Ihre sofortige Krankmeldung zum Dienstbeginn. Das ist in § 5 des Entgeltfortzahlungsgesetzes geregelt. Am besten nutzen Sie dazu das entsprechende Online-Portal

    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=234839&cHash=3670ed977467bbc8673b340d61a3f0f3

  3. Kulhanek_2022

    unknown. At the current rate of CO2 emissions to the atmosphere, average global temperatures will be 1.5 degrees celsius and 2.0 degrees celsius above preindustrial levels in 10 and 20 years, respectively

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/geological-sciences/translate-to-english-kulhanek-2022/

  4. Müller_2022

    unknown. At the current rate of CO2 emissions to the atmosphere, average global temperatures will be 1.5 degrees celsius and 2.0 degrees celsius above preindustrial levels in 10 and 20 years, respectively

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/geological-sciences/translate-to-english-mueller-2022/

  5. Klages_2022

    unknown. At the current rate of CO2 emissions to the atmosphere, average global temperatures will be 1.5 degrees celsius and 2.0 degrees celsius above preindustrial levels in 10 and 20 years, respectively

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/geological-sciences/translate-to-english-klages-2022/

  6. Vortrag: „Mit der Zeitmaschine ins Mittelalter: Das digitale Wörterbuch zum Altspanischen (DEMel)“ – online
    27.11.2020

    Semester online auf BigBlueButton statt. Unter https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5 können Sie zur angegebenen Zeit einfach per Browser an den Veranstaltungsterminen teilnehmen. Eine Übersicht

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/vortrag-mit-der-zeitmaschine-ins-mittelalter-das-digitale-woerterbuch-zum-altspanischen-demel-online-80282/

  7. "Inspired – Der Ideenwettbewerb . In MV.“ 2017
    13.07.2017

    Darüber hinaus stiftete Antenne MV ein Medienbudget für eine Werbekampagne auf Antenne MV im Wert von 5.000 €. Robert Weber, Geschäftsführer Antenne MV, übergab den Sonderpreis an den Rostocker Geschicht

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/inspired-der-ideenwettbewerb-in-mv-2017-13681/

  8. Entwicklung eines Forensik Toolkits für Feldbusse: Erkennung von Protokollen in Operations Technology Systemen

    digitalization to create an efficient and secure environment for companies." Control Engineering 66.5 (2019): 29-31. Ginter, Andrew. Secure operations technology . Lulu Publishers, 2019. Piggin, Richard

    https://iuk.uni-rostock.de/en/lehre-studium/abschlussarbeiten/entwicklung-eines-feldbus-forensik-toolkits/

  9. Berlin holt sich beim Beachrugby-Turnier der Universität Rostock die Krone
    06.08.2019

    Herren: 1. HU Berlin 2. Universität Rostock/Dierkower Elche 3. TU Berlin 4. Universität Greifswald 5. Alumni Universität Rostock 6. Hochschulsport Universität Rostock Kontakt: Universität Rostock Hoch

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/berlin-holt-sich-beim-beachrugby-turnier-der-universitaet-rostock-die-krone-50365/

  10. Ocean Technology Campus ist Finalist bei bundesweitem Ideenwettbewerb
    05.03.2020

    Wettbewerbsrunde werden schließlich diejenigen Netzwerke ausgewählt, die vorerst drei Jahre mit bis zu 5 Millionen Euro pro Jahr gefördert werden. Auf dem Gelände des Rostocker Fracht- und Fischereihafens

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/ocean-technology-campus-ist-finalist-bei-bundesweitem-ideenwettbewerb-61545/

Displaying results 2421 to 2430 of 4782.
  • Previous
  • ...
  • 239
  • 240
  • 241
  • 242
  • 243
  • 244
  • 245
  • 246
  • 247
  • 248
  • ...
  • 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