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

4883 Results:

  1. Aktuelle Promotionsprojekte

    Sukzessionsproblematik im römischen Palastkaisertum - im Spannungsfeld von Dynastie und Meritokratie vom 5. bis in das 7. Jahrhundert. Prof. Dr. Börm Hoppe Marcella Ur- und Frühgeschichte Studie zu rituellen

    https://www.phf.uni-rostock.de/en/forschung/promotion/aktuelle-promotionsprojekte/

  2. Aktuelles

    kommen. An dieser Stelle möchten wir Ihnen auch noch einmal die Lösungen verraten: 1C, 2D, 3A, 4A, 5D, 6C, 7B, 8C, 9B, 10D, 11C, 12A, 13C, 14A-D Vielen Dank für's Teilnehmen, Miträtseln und den gemeinsamen

    https://www.mission-ich.uni-rostock.de/en/aktuelles/

  3. Liste - Langansicht

    Homepage Bereich Informatik organisiert 5. Europäischen Workshop MARESEC 2025 in Rostock (02.12.2024) 02.12.2024 Motivbild der Veranstaltung. © Foto: Universität Rostock Der 5. European Workshop on Maritime Systems [...] Konrad-Zuse-Haus werden 2025 fortgeführt. Zur Landestagung der Informatiklehrerinnen und -lehrer am 5. April 2025 und zur Herbstlichen Informatiklehrerfortbildung am 1. Oktober 2025 wird ein umfangreiches [...] Mitglieder für Konzil, Akademischen Senat und die Fakultätsräte sowie Wahl der Mitglieder für den StuRa vom 5. bis 19. Juni 2024 Mit dem Aushang der Wahlbekanntmachung in den Fakultäten, Einrichtungen, Mensen und

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2024/liste-langansicht/

  4. Liste - Langansicht

    2023 in Danzig – Rostocker Informatikstudent ist zweifacher Europameister (27.09.2023) 27.09.2023 Vom 5. bis 9. September fanden in Danzig die Europameisterschaften der Berufe EuroSkills statt. Der Rostocker [...] insgesamt 32 europäischen Nationen in 43 Disziplinen aufeinander. Mit insgesamt 23 Medaillen, darunter 5 Goldmedaillen, erhielt das Team aus Deutschland in fünf verschiedenen Disziplinen den Europameistertitel

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2023/liste-langansicht/

  5. WIN Bachelor (SPSO 2021)

    Anerkennung schließen die Studierenden und die Vorsitzende/der Vorsitzende des Prüfungsausschuss gemäß § 5 Absatz 3 der Rahmenprüfungsordnung (Bachelor/Master) vor Aufnahme des Auslandaufenthalts eine Lehr-

    https://www.ief.uni-rostock.de/en/studiengaenge/bachelor-studiengaenge/wirtschaftsinformatik-bsc/win-bachelor-spso-2021/

  6. WIN Master (SPSO 2021)

    Anerkennung schließen die Studierenden und die Vorsitzende/der Vorsitzende des Prüfungsausschusses gemäß § 5 Absatz 3 der Rahmenprüfungsordnung (Bachelor/Master) vor Aufnahme des Auslandaufenthalts eine Lehr-

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-1/wirtschaftsinformatik-msc/win-master-spso-2021/

  7. Forschungsförderung Digitale Hermeneutik

    Handeln als Beispiel - Exempla in der römischen Kultur und ihre Rezeption Prof. Dr. Christiane Reitz 5. ISAR Prof. Dr. Peter Berger / Prof. Dr. Clemens Cap Die konvergente Mediennutzung jugendlicher Kre

    https://www.inf.uni-rostock.de/en/wissen-kultur-transformation/forschung/forschungsschwerpunkt-digitale-hermeneutik/forschungsfoerderung-digitale-hermeneutik/

  8. Forschungsförderung

    Handeln als Beispiel - Exempla in der römischen Kultur und ihre Rezeption Prof. Dr. Christiane Reitz 5. ISAR Prof. Dr. Peter Berger / Prof. Dr. Clemens Cap Die konvergente Mediennutzung jugendlicher Kre

    https://www.inf.uni-rostock.de/en/wkt/forschung/forschungsschwerpunkt-digitale-hermeneutik/forschungsfoerderung/

  9. 2019

    Richter, Franziska; Gericke, Birthe; Richter, Angelika (2019): Expression of metabotropic glutamate 5 receptors in the striatum and cortex and effects of modulators on the severity of dystonia in the phenotypic

    https://www.elaine.uni-rostock.de/en/research/publications/2019/

  10. IN Master (SPSO 2021)

    Prüfungsausschuss die Zahl der Teilzeitstudierenden pro Semester begrenzen, aber nicht auf weniger als auf 5 % der Studierenden des Semesters. Übersteigt die Nachfrage diese Zahl, entscheidet der Prüfungsausschuss

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-1/informatik-msc/in-master-spso-2021/

Displaying results 4661 to 4670 of 4883.
  • Previous
  • ...
  • 463
  • 464
  • 465
  • 466
  • 467
  • 468
  • 469
  • 470
  • 471
  • 472
  • ...
  • 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