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

4887 Results:

  1. Warum in Rostock studieren?

    studieren an 9 Fakultäten sowie zentralen Einrichtungen und den Universitätskliniken ca. 260 Professuren, 5.800 Beschäftigte und ca. 14.000 Studierende aus ca. 100 Nationalitäten. Im Jahr 2019 – ein Jahr nach

    https://www.ief.uni-rostock.de/en/studieninteressierte/informieren/warum-in-rostock-studieren/

  2. Publications HHT

    the Properties of High-current Vacuum Arcs in Switching Applications Plasma Phys. Technol. 10 (2023) 5 18 Methling, R.; Schmausser, S.; Kellermann, M.; Ehrhardt, A.; Gortschakow, S.; Uhrlandt, D.; Gonzalez

    https://www.iee.uni-rostock.de/en/research/high-voltage-and-high-current-technologies-hht/publications-hht/

  3. GK-Publikationen

    Charpin, P.; Kyureghyan, G. When does G(x)+γTr(H(x)) permute Fpn? Finite Fields Appl. 15 (2009), no. 5, 615–632. Zha, Z.; Kyureghyan, G.; Wang, X. Perfect nonlinear binomials and their semifields . Finite

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/diskrete-mathematik/gk-publikationen/

  4. Blog

    Zugriffe durch alle Besucher*innen. Ländliche Schulen MVs präsentierten sich Lehramtsstudierenden auf der 5. landesweiten Schulmesse An der Universität Rostock nutzten gestern, am 30. November, 19 Schulen aus

    https://www.zlb.uni-rostock.de/en/veroeffentlichungen/aktuelles-veranstaltungen/blog/

  5. Prüfwerkzeuge in ILIAS

    Lernkarten-Training basiert auf dem Lernkartei-Prinzip von Sebastian Leitner. Eine Lernkartei besteht aus 5 Fächern, in denen die zu lernenden Begriffe einsortiert sind, wobei alle Begriffe im Fach 1 täglich

    https://www.roc.uni-rostock.de/en/digital-pruefen/ilias/

  6. Für Lehrende

    Beteiligung an COILs in EU-CONEXUS verpflichtend. Die nächste Schulung findet an zwei Sitzungen zu je 2,5 Stunden in der 29. Kalenderwoche ( 22. bis 28. September 2025 ) online statt. Wenn Sie gerne ein COIL

    https://www.uni-rostock.de/en/internationales/internationales-profil/eu-conexus-europaeische-hochschule/fuer-lehrende/

  7. Dr. Carsten Croonenbroeck

    Short- to Medium-Term Wind Speed Forecasting, Statistical Methods and Applications, 2016, 25(1), pp. 5-20. Hüttel, Silke and Wildermann, Lutz and Croonenbroeck, Carsten: How Do Institutional Market Players

    https://www.auf.uni-rostock.de/en/professorships/agricultural-area/agricultural-economics/translate-to-english-mitarbeiter-neu/dr-carsten-croonenbroeck/

  8. Elen Fübbeker, M.A.

    ytische Untersuchung zu Fluchterfahrungen von Müttern aus der Ukraine. Posterbeitrag im Rahmen der 5. Konferenz des Netzwerks Fluchtforschung, 16-18.9.2024, Universität Bonn „Тhere's no such a bad rush

    https://www.iasp.uni-rostock.de/en/institut/wissenschaftliche-mitarbeiterinnen/elen-fuebbeker/

  9. Module catalogue summer term

    Veranstaltung viele der neueren Anwendungen im Web kennenlernen. Neben Technologien (Javascript, HTML5, kollaboratives Editieren) werden dabei auch wirtschaftliche Fragen (Business Cases) und strukturelle

    https://www.informatik.uni-rostock.de/en/study-teaching/master-study-courses/informational-technologycomputer-engineering-msc/courses/compulsory-optional-section/current-lecture-portfolio-in-the-compulsory-optional-section-computer-science/module-catalogue-summer-term-1/

  10. Zoological Collection

    und Biotechnologie. Eine historische Übersicht. Verhandlungen zur Geschichte und Theorie der Biologie 5: 159-181, Berlin (VWB 2000). BRAUN, M. (1891): Geschichte der Zoologie und der zoologischen Sammlung

    https://www.zoologie.uni-rostock.de/en/zoological-collection/

Displaying results 3601 to 3610 of 4887.
  • Previous
  • ...
  • 357
  • 358
  • 359
  • 360
  • 361
  • 362
  • 363
  • 364
  • 365
  • 366
  • ...
  • 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