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

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

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

  4. Landestagung der Informatiklehrerinnen und Informatiklehrer in MV

    und Informatiklehrer MV 2006 6. Landestagung der Informatiklehrerinnen und Informatiklehrer MV 2003 5. Landestagung der Informatiklehrerinnen und Informatiklehrer MV 2001 4. Landestagung der Informatik

    https://www.ief.uni-rostock.de/en/weiterbildung/angebote-fuer-lehrende-an-schulen/landestagung-der-informatiklehrerinnen-und-informatiklehrer-in-mv/

  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