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

4781 Results:

  1. Day of Light - Symposium
    03.02.2022

    folgendem Link ein: Zoom-Meeting beitreten https://uni-rostock-de.zoom.us/j/63423974973?pwd=OGNaams5TUxPb01jdmNnZlh0bjNsdz09 Meeting-ID: 634 2397 4973 Kenncode: DOL 14.02. 2022|09.00 Uhr Begrüßung zum

    https://www.physik.uni-rostock.de/en/translate-to-english-neuigkeiten-und-highlights/translate-to-english-detailansicht-der-news/n/day-of-light-symposium/

  2. Bester Bachelorstudent und bester Masterabsolvent an der Fakultät für Maschinenbau und Schiffstechnik ausgezeichnet
    13.11.2020

    zeichnete Jörn Froböse als Beststudenten des Bachelorstudiengangs Maschinenbau aus. Er studiert derzeit im 5. Semester des Bachelorstudiengangs Maschinenbau mit der Vertiefung „Entwicklung und Konstruktion“ als

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/bester-bachelorstudent-und-bester-masterabsolvent-an-der-fakultaet-fuer-maschinenbau-und-schiffstechnik-ausgezeichnet-79459/

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

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

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

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

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

  8. Dipl.-Ing. Clemens Schütt

    2018, Rostock, Hrsg.: Grundmann, S.; Brede, M.; Ruck, B.; Leder, A.; Dopheide, D., ISBN 978-3-9816764-5-7, ISSN 2194-2447 Lageplan und Anfahrt Leiter des Lehrstuhls Sekretariat wissenschaftliches Personal

    https://www.lmt.uni-rostock.de/en/schuett/

  9. Tag der Mathematik

    Mathematik wird traditionell auch der Mathematik-Wettbewerb 'Pokal der Rektorin' für die Klassen 4 und 5 durchgeführt. Der nächste Tag der Mathematik findet am Samstag, den 20. Juni 2026 statt. ⇒ Programm

    https://www.mathematik.uni-rostock.de/en/aktivitaeten-veranstaltungen/regelmaessige-veranstaltungen/tag-der-mathematik/

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

Displaying results 2061 to 2070 of 4781.
  • Previous
  • ...
  • 203
  • 204
  • 205
  • 206
  • 207
  • 208
  • 209
  • 210
  • 211
  • 212
  • ...
  • 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