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

4864 Results:

  1. Disiecta Membra als disiecta data? Herausforderungen in einem archäologischen Langzeitvorhaben
    08.12.2025

    Steinarchitektur und Städtewesen im römischen Deutschland“ will rund 25.000 dieser Bauglieder und 5.000 Baubefunde in einer digitalen Edition erschließen und FAIR publizieren, u.a. in Infrastrukturen

    https://www.germanistik.uni-rostock.de/en/institut/aktuelles/aktuelle-informationen-des-instituts/detailansicht-der-news/n/disiecta-membra-als-disiecta-data-herausforderungen-in-einem-archaeologischen-langzeitvorhaben-247019/

  2. 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/environmental-engineering-sciences/brochures-regulations/

  3. Umkämpfte Begriffe der Politikwissenschaft

    Reihe: aktuell: Video 1: Macht Video 2: Das Politische Video 3: Freiheit Video 4: Feminismus Video 5: Repräsentation Video 6: Nation Video 7: Elite Video 8: Populismus Video 9: Gleichheit Video10: Demokratie

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/micro-lectures/umkaempfte-begriffe-der-politikwissenschaft/

  4. Luft und Kohlenstoffdioxid - die unsichtbare Welt der Gase
    10.10.2025, 2:00 pm

    mit begleitenden Arbeitsblättern entwickelt worden, die in den Jahrgangsstufen 3/4 (Sachunterricht), 5/6 (NaWi-Unterricht) und 7/8 (Chemieunterricht) flexibel eingesetzt werden können. Mit Fragen wie "Warum

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=240851&cHash=69396de0cb5a82deb5f458e8271bb875

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

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

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

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

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

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

Displaying results 2211 to 2220 of 4864.
  • Previous
  • ...
  • 218
  • 219
  • 220
  • 221
  • 222
  • 223
  • 224
  • 225
  • 226
  • 227
  • ...
  • 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