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

4797 Results:

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

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

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

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

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

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

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

  8. Selected Topics for the Analysis of Marine Structures

    Marine Structures 2. Theory of Shear Force Application 3. Warping Torsion Theory 4. Elastic Foundation 5. Response Spectrum Analysis 6. Beam Element Formulations 7. Newton-Raphson Schemes 8. Arc-Length Method

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

  9. Ultimate Strength Assessment of Marine Structures

    Assessment 3. Initial Imperfections due to Welding 4. Buckling/Plastic Collapse Behaviour of Plates 5. Buckling/Plastic Collapse Behaviour of Stiffened Plates 6. Buckling/Plastic Collapse Behaviour of Stiffened

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

  10. Structural Design of Marine Structures

    Sections 2. Effective Width of Plates 3. Foundation of Machinery and Appendages 4. Detailed Design 5. Differences of Structural Design Concepts 6. Equipment 7. Production-Oriented Dimensioning 8. Vibration

    https://www.lsk.uni-rostock.de/en/study/lectures-master/dimensioning-of-ship-and-offshore-structures/

Displaying results 2971 to 2980 of 4797.
  • Previous
  • ...
  • 294
  • 295
  • 296
  • 297
  • 298
  • 299
  • 300
  • 301
  • 302
  • 303
  • ...
  • 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