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

4867 Results:

  1. Hermes und Kalypso (Od. 5,85-115)

    Hermes und Kalypso (Od. 5,85-115) Ἑρμείαν δ᾽ ἐρέεινε Καλυψώ, δῖα θεάων, 85 ἐν θρόνῳ ἱδρύσασα φαεινῷ σιγαλόεντι: ‘τίπτε μοι, Ἑρμεία χρυσόρραπι, εἰλήλουθας αἰδοῖός τε φίλος τε; πάρος γε μὲν οὔ τι θαμίζεις

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/senepist47/die-vorgeschichte-des-streits-die-rueckgabe-der-chryseis-il-18-43/die-trugrede-des-agamemnon-il-2110-122129-154/die-krisensituation-der-griechen-il-91-29/achills-rachegeloebnisse-der-wiedereintritt-in-den-kampf-il-1897-126316-337/die-misshandlung-der-leiche-hektors-durch-achill-il-22395-404241-21/helena-in-troja-il-3150-180/die-hoehle-des-polyphem-od-9161-192216-223/die-blendung-des-polyphem-od-9355-390/odysseus-ankunft-am-koenigshof-der-phaiaken-od-7133-166/die-kampfspiele-od-896-110131-157/eumaios-der-odysseus-stets-treu-gebliebene-sauhirte-od-1456-71133-147/antinoos-schmaeht-odysseus-als-bettler-od-17360-368411-418445-461/helena-und-aphrodite-il-3383-420/athene-und-der-schuss-des-pandaros-il-474-104/priamos-erbittet-die-herausgabe-von-hektors-leiche-il-24477-512/das-gemeinsame-mahl-il-24599-632/athenes-eingreifen-in-den-zweikampf-zwischen-hektor-und-achill-il-22214-247/zeus-und-hera-il-1536-569/zeus-und-thetis-il-1493-530/die-goetterversammlung-im-fuenften-buch-der-odyssee-od-51-42/hermes-und-kalypso-od-585-115/

  2. Review of PoEM 2025 in Geneva
    15.12.2025

    Conference on the Practice of Enterprise Modeling (PoEM 2025) took place from December 3 to December 5 at the University of Geneva. Some of the content of PoEM 2025 included: three keynotes on the topics

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/rueckblick-auf-die-poem-2025-in-genf-258036/

  3. Möwenjagd - Spielbasiertes Lernen

    Erläuterungen und Übungsaufgaben KOSTEN kostenfrei UMFANG Videomaterial ca. 1 h Podcast-Folgen ca. 5 h SPRACHE deutsch Inhalte Ein digitales Workbook mit 43 Seiten und eingebundenen Videos, Spielen und

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/onlinekurse/moewenjagd-spielbasiertes-lernen/

  4. Regulations / Documents

    the bachelor's and masters's degree programms Source: University of Rostock, Official Announcements 5/2023 Regulations supplementig the RPO for the conduct of online examinations Source: University of Rostock

    https://www.auf.uni-rostock.de/en/study/bachelor-degree-program/agricultural-sciences/regulations-/-documents-downloads/

  5. Anerkennung Module

    Module bis 06/2023: Von 2021 bis 2023 haben die Weiterbildungen digital stattgefunden und bestanden aus 5 Modulen (Grundlagen, „MI“ in Jgst. 7, 8 & 9, Implementierung) je 3 Online-Sequenzen. Nach der Umstellung

    https://www.mission-ich.uni-rostock.de/en/weiterbildung/anerkennung-module/

  6. Autopasture

    Europäischen Fonds für regionale Entwicklung der Europäischen Union gefördert. Für den Verbund stehen rund 5 Mio € zur Verfügung. Bearbeitende Personen: Dr. Jürgen Müller, Dr. Juan Pablo Rodríguez Calle und M

    https://www.auf.uni-rostock.de/en/professuren/agrarbereich/gruenland-und-futterbauwissenschaften/forschung/autopasture/

  7. Lehrveranstaltungsübersicht SPSO 2022

    Beifach zum Lehramt, Im Seminaranteil mit zu bearbeitenden Seminaraufgaben, Abschluss mit Klausur 5./6./7./8 WPM 1: Experimentelle Schulbiologie WPM 2: Schulpraktische Übungen (SPÜ) WPM 3: Naturwisse

    https://www.biodidaktik.uni-rostock.de/en/studium/studienverlaufsplan/lehrveranstaltungsuebersicht/

  8. Visual Computing M.Sc.

    term. It lasts 4 terms and is structured into compulsory, compulsory optional and optional module. 5 modules with a scope of 54 credit points can be studied in the compulsory field. 30 credit points of

    https://www.informatik.uni-rostock.de/en/study-teaching/master-study-courses/visual-computing-msc/

  9. Asva Bronzeverarbeitung

    Nordisch-Baltischen Bronzezeit besser zu verstehen ‒ mit dem Fundplatz Asva in einer Schlüsselrolle. Abb. 5. Bronzeringhort aus Stenbro, Gotland (im Statens historiska museum Stockholm; Foto: Uwe Sperling) Abb

    https://www.altertum.uni-rostock.de/en/forschung/forschungsprojekte/asva-bronzeverarbeitung/

  10. Projekt Master CSI

    Informatik vom letzten Semester übernehmen und aktualisieren. Alle Termine sind Di, 9-11 und Beginn 5.4.22. Alle Orte sind online. Themenübersicht ist stets: www.informatik.uni-rostock.de/studium-lehre

    https://www.ava.uni-rostock.de/en/lehre/wintersemester-2022/23/projekt-master-csi-1-1-1/

Displaying results 2371 to 2380 of 4867.
  • Previous
  • ...
  • 234
  • 235
  • 236
  • 237
  • 238
  • 239
  • 240
  • 241
  • 242
  • 243
  • ...
  • 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