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

4883 Results:

  1. English

    . WICHTIGER HINWEIS: Für das Ausstellen des Sprachnachweises ist gemäß der Gebührenordnung (Anlage 5, S.11-12) eine Gebühr von 15,- Euro zu bezahlen. [] Inhalt 1. Free writing 1. Free writing [] (am Computer)

    https://www.sprachenzentrum.uni-rostock.de/en/exams/bvmd-language-assessments/english/

  2. BehavE (2020 - 2023)

    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.haiml.informatik.uni-rostock.de/en/research/projects/behave/

  3. Demokratischer Neuanfang

    Dr. Wigger, Prof. Köppen) und Zulassung von Prof. Moll als Kandidat Band 3 : (Audio-Datei mit 6 MB, 5:28 min) P osition 00:00 min: Bekanntgabe des Wahlergebnisses

    https://www.uni-rostock.de/en/universitaet/uni-gestern-und-heute/geschichte/geknebelter-geist/krise-und-aufbruch/demokratischer-neuanfang/

  4. Videos zum DFG-Sonderforschungsbereich SFB 1270 ELAINE – Elektrisch Aktive Implantate

    DFG-Sonderforschungsbereich SFB 1270 ELAINE – Elektrisch Aktive Implantate von 2024 bei Vimeo (Laufzeit 5:41 min) → Bitte beachten Sie: Sobald Sie sich das Video ansehen, werden Informationen darüber an Vimeo

    https://www.ief.uni-rostock.de/en/forschung/forschung-an-der-fakultaet/videos-zur-forschung/videos-zum-dfg-sonderforschungsbereich-sfb-1270-elaine-elektrisch-aktive-implantate/

  5. Lehrstuhl für Getriebe- und Antriebstechnik

    Entwicklungsplattform für Fahrzeug-/Bremssystemsteuerungen Elektrofahrzeug-Demonstrator im Maßstab 1:5 unsere weiteren Prüfstände Lehre Der Lehrstuhl für Getriebe- und Antriebestechnik bietet die folgenden

    https://www.gat.uni-rostock.de/en/lehrstuhl/lehrstuhl-fuer-getriebe-und-antriebstechnik/

  6. Aktuelle Ausstellungen

    Nacht der Wissenschaften 2023 Während der Langen Nacht der Wissenschaften der Universität Rostock am 24.5.2023 ist die Abguss-Sammlung des Heinrich-Schliemann-Instituts von 16 bis 20 Uhr geöffnet. Weitere

    https://www.altertum.uni-rostock.de/en/archaeologische-sammlung/aktuelle-ausstellungen/

  7. Study abroad

    Programs . News The next consultation hour will take place as part of the International Day on May 5, 2021 at 2 p.m. (online via Zoom). https://uni-rostock-de.zoom.us/j/65728870929?pwd=T1FZckhvT1BFUmR

    https://www.informatik.uni-rostock.de/en/study-teaching/interest-groups/translate-to-english-interessierte-an-studienaufenthalten-im-ausland/

  8. Prof. Dr. Klaus Boldt

    Alexander von Humboldt-Foundation 2014: Liebig-Fellowship of the Fonds der Chemischen Industrie 2015: 5-Year ZIF-Marie Curie Research Fellowship at the Zukunftskollegs, University of Konstanz 2021: Heise

    https://www.boldt.chemie.uni-rostock.de/en/people/principal-investigator/prof-dr-klaus-boldt/

  9. Wirkungsvoll vortragen

    Workshoptag einen kurzen, allgemeinverständlichen Vortrag aus Ihrem Arbeitsbereich frei vorzutragen (ca. 5 min). Methoden praxisnahe Hinweise und praktische Übungen Kleingruppen- und Einzelarbeit kollegialer

    https://www.uni-rostock.de/en/weiterbildung/hochschuldidaktik/veranstaltungen-und-bildungsformate/02-lernfoerderung-und-begleitung/wirkungsvoll-vortragen/

  10. Bilanzen in der Thermodynamik

    Bilanzen in der Thermodynamik 2. Die Apfelbilanz 3. Bilanzen in Worten 4. Bilanzen über Erhaltungsgrößen 5. Bilanzen über nicht Erhaltungsgrößen Zielgruppe Studierende technischer Fächer Studierende aus den

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/micro-lectures/bilanzen-in-der-thermodynamik/

Displaying results 2601 to 2610 of 4883.
  • Previous
  • ...
  • 257
  • 258
  • 259
  • 260
  • 261
  • 262
  • 263
  • 264
  • 265
  • 266
  • ...
  • 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