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

    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/

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

  3. Sen. epist. 26

    experimentum et ille laturus sententiam de omnibus annis meis dies venerit, ita me observo et adloquor: 5 „Nihil est“ inquam „adhuc quod aut rebus aut verbis exhibuimus; levia sunt ista et fallacia pignora

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

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

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

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

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

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

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

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

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