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

4859 Results:

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

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

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

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

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

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

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

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

  9. Wiederherstellen von Dateien

    sich die Auswahl über "View selections" anzeigen lassen und über "Clear selections" wieder aufheben. 5. Klicken Sie oben auf der Seite auf Restore . 6. Das Fenster "Restore options" öffnet sich Destination:

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

  10. Sen. epist. 106

    sunt corporis. Quae corporis bona sunt, corpora sunt; ergo et quae animi sunt; nam et hoc corpus est. 5 Bonum hominis necesse est corpus sit, cum ipse sit corporalis. Mentior, nisi et quae alunt illum et

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/sen-epist-106/

Displaying results 3021 to 3030 of 4859.
  • Previous
  • ...
  • 299
  • 300
  • 301
  • 302
  • 303
  • 304
  • 305
  • 306
  • 307
  • 308
  • ...
  • 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