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

4867 Results:

  1. BehavE

    maintaining and curating the model over long periods of time so it represents the current situation; (5) developing an evaluation methodology for situation models for real world problems. To achieve that

    https://www.mmis.informatik.uni-rostock.de/en/research/projects/behave/

  2. Download von Dateien

    sich die Auswahl über "View selections" anzeigen lassen und über "Clear selections" wieder aufheben. 5. Klicken Sie oben auf der Seite auf Download . 6. Es wird eine Meldung angezeigt, die besagt, dass der

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

  3. MuCol

    des supraleitenden Resonators ebenfalls berücksichtigt werden. In Zusammenarbeit mit Arbeitspaket 5 (High Energy Complex) wird ein vollständiger Satz von Parametern für die Hochfrequenzresonatoren erstellt

    https://www.iae.uni-rostock.de/en/forschung/theoretische-elektrotechnik/elektromagnetische-felder-in-der-beschleunigerphysik/mucol/

  4. IEF vergibt geschützte Berufsbezeichnung Ingenieurin bzw. Ingenieur

    genieur“ berechtigt. Die Diploma Supplements aller genannten Studiengänge werden daher unter Punkt 5.2 (Zugang zu reglementierten Berufen) um einen entsprechenden Absatz erweitert. Diploma Supplement

    https://www.ief.uni-rostock.de/en/studiengaenge/weitere-informationen/ief-vergibt-geschuetzte-berufsbezeichnung-ingenieurin-bzw-ingenieur/

  5. Exploring the Future of Bone Models: GRK 2901 SYLOBIO & CRC 1270 ELAINE Colloquium
    06.03.2026

    de/" class="external-link" target="_blank">GRK 2901 SYLOBIO</a> and IRTG of CRC 1270 ELAINE on March 5, 2026, from 1:30 p.m. to 3:00 p.m., Dr. Anne Bernhardt (Technische UNiversität (TU Dresden) presented

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/exploring-the-future-of-bone-models-grk-2901-sylobio-sfb-1270-elaine-colloquium-267260/

  6. Agrobiodiversity

    flexible, start is possible at any time COURSE TYPE Online course FEE free of charge PROCESSING TIME about 5 hours LANGUAGE English Content an Videointroduction to agrobiodiversity Agrobiodiversity : documents

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/onlinekurse/agrobiodiversity/

  7. [Translate to English:] Diversity Trainings

    german Fee : free of charge Registration via : karolin.hansen2uni-rostockde Registration deadline : June 5th 2020

    https://www.uni-rostock.de/en/university/gender-and-diversity/department-for-diversity/events/translate-to-english-diversity-trainings/

  8. Alg4Nut (Englisch)

    Excellence in Research in Mecklenburg-Western Pomerania, we are collaborating with 8 partners from 5 institutions on the “Alg4Nut” consortium project to investigate the impact of marine algae cultivable

    https://www.mikrobiologie.uni-rostock.de/en/forschung/projekte/aktuelle-projekte-mikrobielle-physiologie/alg4nut-1/

  9. Save-the-date: Postdoc Appreciation Week 21.-25.09.2026
    22.07.2026

    Week Germany again: My first year as a Professor - Exchange & Experiences | September, 21, 2026 | 3-5 p.m. | online KarriereWegeMentoring (cooperation between the University of Rostock and the University

    https://www.weiterbildungsportal.uni-rostock.de/en/nachrichten/detailansicht-der-wbp-nachrichten/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=283085&cHash=b09ac8704a4d402bc9ff88d32393f1f0

  10. Spende erhalten

    Einnahme folgenden zwei Kalenderjahren für die steuerbegünstigten Zwecke verwendet werden (§ 55 Abs 1 Nr.5 AO) Werden Spenden für nichtwissenschaftliche Zwecke (Bewirtung und andere repräsenative Ausgaben)

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-prozesse/detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=140477&cHash=2dfa1382b26cedf1c09fa216a4d19954

Displaying results 2101 to 2110 of 4867.
  • Previous
  • ...
  • 207
  • 208
  • 209
  • 210
  • 211
  • 212
  • 213
  • 214
  • 215
  • 216
  • ...
  • 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