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

4778 Results:

  1. Consulting Services

    contact persons will be referred to. Phone: +49 (0) 381 498-1230 | Monday till Thursday 9 a.m. to 5 p.m. | Friday 9 a.m. to 1 p.m. Mail Contact important links study office examination office disabled

    https://www.auf.uni-rostock.de/en/study/master-dregree-program/sustainable-agricultural-systems/consulting-services/

  2. Sommercamp2025

    Schüler:innen-KI-Camp 2025 Oberstufenschüler:innen und Studienanfänger:innen hatten vom 1. bis zum 5. September 2025 beim KI-Camp des Instituts für Mathematik eine außergewöhnliche Gelegenheit, in die

    https://www.mathematik.uni-rostock.de/en/ai-sail/sommercamp2025/

  3. Lehrstuhlinhaber

    Dr. Niklas Hartung (both University of Potsdam), Funds: 2 PhD position (one based in Rostock) for 3,5 years and related funds since 10/2022 DFG Individual Grant: Head of the project "Low-order approximations

    https://www.mathematik.uni-rostock.de/en/unser-institut/lehrstuehle/angewandte-stochastik-mit-sp-wirtschaftsmathematik/homepage-prof-redmann/

  4. Informatiklehrertag in der Südstadt – ILTiS

    eite der GI-Fachgruppe „Informatische Bildung in Mecklenburg-Vorpommern“ . Veranstaltungsübersicht 5. Informatiklehrertag in der Südstadt 2024 4. Informatiklehrertag in der Südstadt 2019 3. Informatiklehrertag

    https://www.ief.uni-rostock.de/en/weiterbildung/angebote-fuer-lehrende-an-schulen/informatiklehrertag-in-der-suedstadt-iltis/

  5. Die Krisensituation der Griechen (Il. 9,1-29)

    πάντες ἄριστοι. ὡς δ᾽ ἄνεμοι δύο πόντον ὀρίνετον ἰχθυόεντα Βορέης καὶ Ζέφυρος, τώ τε Θρῄκηθεν ἄητον 5 ἐλθόντ᾽ ἐξαπίνης: ἄμυδις δέ τε κῦμα κελαινὸν κορθύεται, πολλὸν δὲ παρὲξ ἅλα φῦκος ἔχευεν: ὣς ἐδαΐζετο

    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/

  6. WP5-Influence of algae on Methane-producing archaea

    Work Package 5: Identification of Methane-Producing Archaea front: Dr. Katrina Funkner- back: Prof. Dr. Tim Urich Principle Investigator Prof. Dr. Tim Urich The greenhouse gas methane is a major product

    https://www.alg4nut.uni-rostock.de/en/research/wp5-influence-of-algae-on-methane-producing-archaea/

  7. The best of two worlds: How organic molecules and 2D semiconductors act together

    Orange/TMDC Hybrid Structures” T. Völzer A. Schubert, E. von der Oelsnitz, J. Schröer et al. Nanoscale Adv. 5 (12), 3348-3356 (2023) Contact MSc Julian Schröer Office: 282 Phone: +49 381 498-6906 E-Mail: julian

    https://www.kristalle.physik.uni-rostock.de/en/research/promotionsprojekt-julian/

  8. Datenportal der Graduiertenakademie geht online
    29.01.2026

    gefiltert werden. Das Dashboard wurde gemeinsam von der Abteilung Finanzcontrolling und Statistik (D2.5) und der Graduiertenakademie entwickelt. Ziel ist es, die Verfügbarkeit relevanter Promovierendendaten

    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=263616&cHash=6e7e2d7bf9cbc7b0d1fb8fccb8afad60

  9. Akteur:innen

    Rostock Tel.: +49 381 498-1002 pft@uni-rostock.de Nachhaltigkeitsmanagement Luise Lukow Universitätsplatz 5, Raum 206 Tel.: +49 381 498-1641 luise.lukowuni-rostockde

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/stabsstelle-talententwicklung-und-diversitaet/nachhaltigkeit/akteurinnen/

  10. Arbeitsbereich Kommunikations- und Medienwissenschaft

    Studiengang: ‚medienquadrat’ Projektleitung für die HFF inhaltlich, organisatorisch sowie Etatverwaltung (2,5 Jahre gefördert durch das BmBF ). ‚medienquadrat’ ist ein Drittmittelprojekt zur Erstellung von Leh

    https://www.imf.uni-rostock.de/en/forschung/abgeschlossene-forschungsprojekte/kommunikations-und-medienwissenschaft/

Displaying results 2171 to 2180 of 4778.
  • Previous
  • ...
  • 214
  • 215
  • 216
  • 217
  • 218
  • 219
  • 220
  • 221
  • 222
  • 223
  • ...
  • 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