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

4782 Results:

  1. CC °CALOR

    predominantly. °CALOR provides the world's largest dynamic range (time range, approx. 10 -4 K/s to 10 5 K/s for metals and up to more than 10 6 K/s for polymers) accessible for scanning calorimetry. New measuring

    https://www.inf.uni-rostock.de/en/llm/research-building/competence-centre/cc-calor/

  2. Overdue Items

    Should you fail to return the key of the locker within one week, you will incur an additional fine of 5.00 Euros (see No. 9 in the Terms of Use.) You will receive an email reminder three days before the loan

    https://www.ub.uni-rostock.de/en/borrowing/borrowing/overdue-items/

  3. Coaching: Digitale Lehre weiterentwickeln

    den Coach, damit er direkt mit Ihnen in Kontakt tritt. Das Coaching hat einen Umfang von insgesamt 5 Stunden. Alle Termine und Inhalte werden individuell mit dem Coach vereinbart. Der Coach informiert

    https://www.uni-rostock.de/en/weiterbildung/hochschuldidaktik/veranstaltungen-und-bildungsformate/03-lehrpersoenlichkeit-entwickeln/coaching-digitale-lehre-weiterentwickeln/

  4. Politik unterrichten

    3. Fallprinzip Interviewreihe politikdidaktische Prinzipien 1. Prof. Sibylle Reinhardt: Zur Person 5. Konfliktorientierung III: Methode Konfliktanalyse 9. Neutralität und Beutelsbacher Konsens 2. Poli

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/micro-lectures/politik-unterrichten/

  5. VAC Colloquium: Prof. Dr. Maria Schlüter "How do transformations towards sustainability happen, and why do they often fail? Simulating processes of change in complex social-ecological systems"
    13.01.2026, 1:15 pm

    ecology and a PhD in Applied System Science from Osnabrück University. Before her PhD she worked for 1.5 years at UNESCO’s regional office in Uzbekistan on a Regional Vision for the Aral Sea Basin. Her experiences

    https://vac.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/vac-colloquium-prof-dr-maria-schlueter-how-do-transformations-towards-sustainability-happen-and-why-do-they-often-fail-simulating-processes-of-change-in-complex-social-ecological-systems-261078/

  6. VAC Colloquium: Prof. Dr. Maria Schlüter "How do transformations towards sustainability happen, and why do they often fail? Simulating processes of change in complex social-ecological systems"
    13.01.2026, 1:15 pm

    ecology and a PhD in Applied System Science from Osnabrück University. Before her PhD she worked for 1.5 years at UNESCO’s regional office in Uzbekistan on a Regional Vision for the Aral Sea Basin. Her experiences

    https://mosi.informatik.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/vac-colloquium-prof-dr-maria-schlueter-how-do-transformations-towards-sustainability-happen-and-why-do-they-often-fail-simulating-processes-of-change-in-complex-social-ecological-systems-261078-1/

  7. Tierische Produkte bewusster konsumieren

    g E-Lecture 4: Schweinehaltung – ein Überblick, aktuelle Herausforderungen der Erzeugung E-Lecture 5: Die Bedeutung von Tierwohl und Tierschutz E-Lecture 6: Die Sicherstellung und Messung von Tierwohl

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/videovorlesungen/tierische-produkte-bewusster-konsumieren/

  8. Dipl.-Ing. Ansgar Leefken

    chromatic confocal imaging method and a fluorescence intensity technique Experiments in Fluids, 2005, 39(5), pp. 856–864 Al-Sibai, F., Leefken, A., Renz, U. Local and instantaneous distribution of heat transfer

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

  9. Neue Lehramtsstudiengänge ab WiSe 2026/27

    Sonderpädagogik an Regionalen Schulen, Gesamtschulen und Förderschulen (Sekundarstufe I der Klassenstufen 5 bis 10) Zentrale Veränderungen im Studium Die Reform bringt deutliche Verschiebungen in den Studienanteilen

    https://www.zlb.uni-rostock.de/en/studium-an-der-universitaet/studium-an-der-universitaet-rostock/neue-lehramtsstudiengaenge-ab-wise-2026/27/

  10. News Archiv

    Rostock im OSTSEE-ANZEIGER Karriereförderung für Wissenschaftlerinnen zeigt Wirkung read more 1 2 3 4 5 … ❯

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/karrierewegementoring/best-of-1/

Displaying results 2441 to 2450 of 4782.
  • Previous
  • ...
  • 241
  • 242
  • 243
  • 244
  • 245
  • 246
  • 247
  • 248
  • 249
  • 250
  • ...
  • 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