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

4868 Results:

  1. PyroMar

    preparing for subsequent upscaling and ultimately validating the project at technology readiness level 4-5 with indicative engine tests. The long-term goal is to launch the blended fuels produced in this way

    https://www.lkv.uni-rostock.de/en/research/previous-research-projects/pyromar/

  2. Principle Analysis of Marine Structures

    Kirchhoff Plate Bending Theory 3. Saint Venant Torsion Theory 4. Torsion of Thin Walled Structures 5. Energy Methods and Variational Principles 6. Analysis of Grillages 7. Direct Stiffness Method 8. F

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

  3. Einschreibverfahren für Seminare

    ab und nehmen je nach Angebot und Nachfrage zunächst Studierende höherer Semester auf (in jedem Fall 5. Semester und höher bei Pflichtmodulen, 7. Semester und höher bei Wahlpflichtmodulen). Ist die Nachfrage

    https://www.ipprdk.uni-rostock.de/en/lehre-und-weiterbildung/aktuelle-lehrangebote/einschreibverfahren-fuer-seminare/

  4. Strategie

    (3) quantifying ecosystem functions and services; (4) creating maps for marine spatial planning; and (5) integrating this knowledge into MPA planning to protect benthic habitats in various regions of the

    https://www.meeresbiologie.uni-rostock.de/en/forschung/aktuelle-projekte/bentoolsmaps/strategie/

  5. Dr.-Ing. Robert Damerius

    Optimised Manoeuvring Method for Ship Automation, INEC/ iSCSS Virtual Online Conference 2020, October 5-9 Kurowski, M., Thal, J., Damerius, R., Korte, H., Jeinsch, T.: Automated Survey in Very Shallow Water

    https://www.rt.uni-rostock.de/en/arbeitsgruppe/mitarbeiter/msc-robert-damerius/

  6. Placement test for German courses

    1 and Test 2 during one test period. What kind of test is it? What kind of test is it? You will see 5 short texts. The first sentence is always complete. Then the second half of every second word is missing

    https://www.sprachenzentrum.uni-rostock.de/en/languages/languages-a-g/german-as-a-foreign-language/placement-test-for-german-courses/

  7. Lehrveranstaltungsankündigung Wintersemester 2025/26

    ungen oder akustische Signale Lehrpult: Das Pult hat insgesamt eine Länge von 2,50m. Dabei haben 1,5m die Höhe von 0,78m und 1m eine Höhe von 1,07m. Das Pult ist 70cm tief. Parkplätze: Behindertenparkplätze

    https://www.bwl.uni-rostock.de/en/institut/junior-seniorprofessuren/bwl-der-dienstleistungen-rouven-seifert/aktuelle-meldungen/lehrveranstaltungsankuendigung-wintersemester-2025/26/

  8. Zugriff auf Kalender und Aufgaben des universitären Postfaches mit Thunderbird (ab Version 115)

    tester@uni-rostock.de/calendar/ Klicken Sie anschließend auf "Find calendars" oder "Kalender suchen". 5. Nach der Kennworteingabe können Sie über einen Klick auf "Properties" oder "Eigenschaften" die Eig

    https://www.itmz.uni-rostock.de/en/onlinedienste/e-mail-und-kollaboration/kalender/faq/zugriff-auf-kalender-und-aufgaben-des-universitaeren-postfaches-mit-thunderbird-ab-version-115/

  9. Praktikum BA Sportwissenschaften

    zukünftige Tätigkeitsfelder getestet werden. Das Praktikum ist laut Studienplan im 3. Studienjahr (5.& 6. Semester) zu absolvieren. Es ist möglich das Praktikum ein wenig weiter nach vorne zu schieben

    https://www.isportwi.uni-rostock.de/en/bachelor-und-master/praktikum-ba-sportwissenschaften/

  10. Posterbeiträge / Poster Session A

    Schultz A4 Effects of Metal Implant Corrosion Products on Human iPSC-derived Cardiomyocytes Marie Heilen A5 In Vitro Evaluation of the Cytotoxicity and Antimicrobial Efficacy of Silver Containing Nanofiber Wound

    https://www.uni-rostock.de/en/forschung/forschungscamp/poster-session/posterbeitraege-poster-session-a/

Displaying results 3041 to 3050 of 4868.
  • Previous
  • ...
  • 301
  • 302
  • 303
  • 304
  • 305
  • 306
  • 307
  • 308
  • 309
  • 310
  • ...
  • 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