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

4889 Results:

  1. Eulenmaskottchen

    Jury, diese wählte drei Favoriten aus und ließ die Facebook-Fangemeinde darüber entscheiden. Mit 57,5 % aller Stimmen hat „Alma“ (von Alma Mater) das Rennen gemacht! Unter allen Teilnehmenden des Wettbewerbs

    https://www.uni-rostock.de/en/universitaet/uni-gestern-und-heute/jubilaeum-2019/wissenswertes/eulenmaskottchen/

  2. Two outstanding scientists to visit the Department of LL&M at the University of Rostock in spring 2025
    30.04.2025

    Dr. Calin D. Marioara Date: Mittwoch, 25. Juni 2025, 13:00 – 14:00 Uhr Place: LL&M SR 110 Lecture #5 Titel: Nanostructure of Al alloys – atomic scale analysis Referent: Dr. Calin D. Marioara Date: Dienstag

    https://www.inf.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/zwei-herausragende-wissenschaftler-im-fruehjahr-2025-zu-gast-am-department-llm-der-universitaet-rostock-231079/

  3. Seminarreihe "Mentalstrategien für Studierende"

    11.2024, 17:00 - 20:15 Uhr Termin 4 Prokrastination Mittwoch, 27.11.2024, 17:00 - 20:15 Uhr Termin 5 Lernmanagement Mittwoch, 04.12.2024, 17:00 - 20:15 Uhr Termin 6 Prüfungsangst bewältigen Mittwoch, 11

    https://www.uni-rostock.de/en/campusleben/gesundheit-und-sport/universitaeres-gesundheitsmanagement/statusgruppenspezifische-informationen/studierende/massnahmen-studierende/seminarreihe-mentalstrategien-fuer-studierende/

  4. Wiederherstellen von Dateien

    Wählen Sie "Guest Files" aus. Es kann einige Zeit dauern bis die Daten ihrer VM angezeigt werden. 5. Wählen sie das Verzeichnis oder die Datei aus, die sie wiederherstellen möchten. Beachten Sie bei Linux-VMs

    https://www.itmz.uni-rostock.de/en/onlinedienste/speicherdienste/backup-commvault/virtuelle-maschine/wiederherstellen-von-dateien/

  5. Kalenderblatt Januar 2013

    Die Professoren der Universität Rostock im Dritten Reich. K. G. Saur, München, 2007, S. 110 –111. [5] K. von Bülow: Geschichte des Geologisch-paläontologischen Institutes der Universität Rostock. In: Wiss

    https://www.chemie.uni-rostock.de/en/institut/historie-des-ifch/reminiszensen-in-wort-bild/kalenderblatt-januar-2013/

  6. Lehre

    und einem semesterbegleitenden Online-Kurs mit drei Einsendeaufgaben als Prüfungsnachweis des Moduls (5 Leistungspunkte). Fernstudium Regionalentwicklung | Studiengangsprofil | WINGS (hs-wismar.de) Certificate

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/seniorprofessur-geodaesie-und-geoinformatik/lehre/

  7. ChefTreff 2024

    und zukünftige Arbeitgeber zu ermöglichen. Hochkarätige Sprecher, darunter Philipp Schröder von 1Komma5°, Tarek Müller von About You und Denise Schindler, boten inspirierende Einblicke in ihre Karrierewege

    https://www.bwl.uni-rostock.de/en/institut/junior-seniorprofessuren/bwl-der-dienstleistungen-rouven-seifert/aktuelle-meldungen/pm-cheftreff-2024/

  8. (Transformative and Serious) Play for Future

    O. (2009), Learning and Innovation in Value Added Networks (S. 77-86).Proceeding of the 13th IFIP 5.7 Special Interest Group Workshop on Experimental Interactive Learning in Industrial Management. BWI:

    https://www.igsp.uni-rostock.de/en/forschung/forschungsprojekte-am-lehrstuhl-allg-grundschulpaedagogik-und-didaktik-des-sachunterrichts/transformative-and-serious-play-for-future/

  9. Advanced Analysis of Marine Structures

    Engineering Mechanics 3. Contact Problems in Engineering Mechanics 4. Fluid-Structure-Interaction (FSI) 5. Formulations of different Finite Element Types 6. Finite Element Method for Dynamic Analyses Literature

    https://www.lsk.uni-rostock.de/en/study/lectures-master/finite-element-method-for-the-analysis-of-marine-structures/

  10. Continuum Mechanics

    Content 1. Introduction to Tensors 2. Kinematics 3. Forces and Stresses 4. Constitutive Equations 5. Plasticity Formulations 6. Finite Element Formulations Literature - Lecture Notes - Reddy, J.N. ”An

    https://www.lsk.uni-rostock.de/en/study/lectures-master/selected-topics-of-the-analysis-of-marine-structures-1-1/

Displaying results 3031 to 3040 of 4889.
  • Previous
  • ...
  • 300
  • 301
  • 302
  • 303
  • 304
  • 305
  • 306
  • 307
  • 308
  • 309
  • ...
  • 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