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

4886 Results:

  1. Ethische Gesichtspunkte, Genehmigung und Datenschutz (online)
    19.05.2022, 11:00 am - 19.05.2022, 12:00 pm

    med.uni-rostock.de/educational-activities/news-details?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=2333&cHash=3cd2b22455fe93878d4025eee0b26cc6

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/ethische-gesichtspunkte-genehmigung-und-datenschutz-online/

  2. Einführung in die qualitative Datenanalyse (online)
    29.09.2022, 11:00 am - 29.09.2022, 12:00 pm

    med.uni-rostock.de/educational-activities/news-details?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=2335&cHash=a248d200f8f1ec844cc44b0a1ffef01e

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/einfuehrung-in-die-qualitative-datenanalyse-online/

  3. Verification and Validation of Aero-Elastic Codes (OC5 / OC6)

    Schünemann . OC5 The participation in the OC5 project took place in cooperation with Windrad Engineering GmbH. In the Offshore Code Comparison Collaboration Continuation, with Correlation (OC5) project, in [...] North Sea were being used for validation purposes. The wind turbine in question was a 5MW system of the REpower 5M type, which is installed in Germany’s first offshore wind farm - Alpha Ventus - on a [...] Verification and Validation of Aero-Elastic Codes (OC5 / OC6) Highly-specialised simulation tools are used today to ensure a secure and optimised design of modern wind turbines. Yet, these programmes are

    https://www.lwet.uni-rostock.de/en/research/simulating-wind-turbines/the-development-and-validation-of-aero-elastic-codes-siwec-oc5-2/

  4. 17. Rostocker Spendenlauf unter dem Motto “Stand with Ukraine”
    11.04.2022

    Alumnis Dr. Bauwe (10 km) und Prof. Bill (7,5 km) am Start. Das nächste Laufevent ist der 30. Rostocker Citylauf am 22. Mai 2022, u.a. auch mit einem Staffellauf 5 x 3,5 km. Vielleicht findet sich ja ein AUF-Team [...] fanden sich für Strecken zwischen 2,5 km und 10 km ein. Für jede gelaufene Runde sollte mindestens ein Euro gespendet werden. Insgesamt kam dabei ein Spendenbetrag von 5.555 Euro zusammen, der an das deu

    https://www.auf.uni-rostock.de/en/fakultaet/ueber-uns/aktuelles/detailansicht-der-news/n/17-rostocker-spendenlauf-unter-dem-motto-stand-with-ukraine/

  5. Lesen wissenschaftlicher Literatur (online)
    27.10.2022, 11:00 am - 27.10.2022, 12:00 pm

    med.uni-rostock.de/educational-activities/news-details?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=2336&cHash=ec8b9b5021ccd21d18a6ab1076b12aa4

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/lesen-wissenschaftlicher-literatur-online/

  6. Source code

    project loading options 22.5.2025: Update gitma-CANSpiN (v1.6.5) https://doi.org/10.5281/zenodo.15489260 fixes encoding issues on various operating systems updates packaging 21.5.2025: Update gitma-CANSpiN [...] 5281/zenodo.15480348 extends functionalities 19.5.2025: Update gitma-CANSpiN (v1.6.3) https://doi.org/10.5281/zenodo.15465121 extends functionalities 12.5.2025: Release of gitma-CANSpiN (v1.6.2) https://doi

    https://www.canspin.uni-rostock.de/en/research/source-code/

  7. ROCinare 405

    und H5P Montag, 08.11.2021, 15:00 - 16:30 Uhr Einzelbeiträge Mit integriertem Lernen neue Wege in der universitären Lehre aufzeigen Peter Huy, Juliana Zeidler H5P-Inhalte in ILIAS Max Kabisch H5P: Interaktive [...] Bernd Romeike DICVR - Digital Inverted Classroom in der Vergleichenden Regierungslehre Wolfgang Muno H5P: Erfahrungsbericht Anne Kluge ◀ vorherige Folge nächste Folge ▶

    https://www.roc.uni-rostock.de/en/andere/ur-roc/veranstaltungen/rocinar/rocinare-405/

  8. City map and Accomodation

    maps https://maps.app.goo.gl/3SkpsvUU755if5vL7 Geoport.HRO https://www.geoport-hro.de/desktop?poi%5Bpoint%5D=310803%2C5996082&poi%5Bscale%5D=1508&poi%5Blabel%5D=Treffpunkt%3A+IRTG+summer+school City map

    https://www.iqs.uni-rostock.de/en/summerschool-2026/city-map-and-accomodation/

  9. Archiv

    (ab 2024) 22.05.2025, 5:00 pm (Abgesagt) GDCh-Kolloquium: Water Splitting Catalysts: Design and Mechanistic Studies Prof. Dr. Greta Patzke, Universität Zürich read more 24.04.2025, 5:00 pm GDCh-Kolloquium: [...] Bremen read more 30.01.2025, 5:00 pm GDCh-Kolloquium: Biomass-derived polymers from amino acids and sugars Prof. Dr. Helmut Schlaad, Universität Potsdam read more 23.01.2025, 5:00 pm GDCh-Kolloquium: Alternative [...] – Erfahrungen aus einem Schülerlabor Dr. Ceren Karayel, Universität Konstanz read more 10.04.2025, 5:00 pm GDCh-Kolloquium: Exploring the Frontiers of Hypervalent Iodine Chemistry: From N-Heterocyclic

    https://www.chemie.uni-rostock.de/en/veranstaltungen/gdch-kolloquien/archiv/

  10. “Frontotemporal lobar degeneration with TDP-43 pathology (FTLD-TDP): Advances in understanding the molecular basis of clinical and pathological heterogeneity”
    16.08.2021, 4:00 pm - 16.08.2021, 5:30 pm

    med.uni-rostock.de/educational-activities/news-details?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=2023&cHash=307658967aac62f2094524ded4979b84 Registrierung unter

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/frontotemporal-lobar-degeneration-with-tdp-43-pathology-ftld-tdp-advances-in-understanding-the-molecular-basis-of-clinical-and-pathological-heterogeneity/

Displaying results 31 to 40 of 4886.
  • Previous
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • ...
  • 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