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

4781 Results:

  1. Verteilte Systeme

    AE-22, SR 110, Beginn: 09.04.2025 Belegung: Vorlesung: LSF , StudIP Übung: LSF , StudIP SWS (CP): 3 (4.5) Geeignet für: Bachelor Studiengänge: Informatik und Wirtschaftsinformatik Sprache: Deutsch Vorausgesetzte

    https://www.ava.uni-rostock.de/en/lehre/sommersemester-2023/verteilte-systeme-1-1/

  2. ChemReac

    entdecken die ‘chemische Reaktion’ spielerisch und vertiefen dabei ihr Verständnis. Es ist webbasiert ("HTML5") und somit ohne Installation direkt im Unterricht (oder im Selbstlernmodus) nutzbar. Entwickelt mit

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/projekte/chemreac/

  3. Unternehmensrechnung, Controlling und Finanzierung (Modul-Nr. 3551870)

    Economics – Eine Einführung, Wiesbaden. Eisenführ, F./Weber, M./Langer, T. (2010), Rationales Entscheiden, 5. Aufl., Berlin et al. Franke, Günter/Hax, Herbert (2009), Finanzwirtschaft des Unternehmens und Kapitalmarkt

    https://www.bwl.uni-rostock.de/en/institut/lehrstuehle/bank/lehre/master-bwl-der-dienstleistungen/unternehmensrechnung-controlling-und-finanzierung-modul-nr-3551870/

  4. 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/

  5. 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/

  6. 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/

  7. 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/

  8. 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/

  9. Liste - Langansicht

    Technologien in der Informatik, Mathematik oder angrenzenden Gebieten auseinandersetzen. Der Preis ist mit 5.000 Euro, 3.000 Euro und 2.000 Euro für die ersten drei Plätze dotiert.

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-aktuelles-jahr/liste-langansicht/

  10. 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/

Displaying results 2331 to 2340 of 4781.
  • Previous
  • ...
  • 230
  • 231
  • 232
  • 233
  • 234
  • 235
  • 236
  • 237
  • 238
  • 239
  • ...
  • 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