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

4797 Results:

  1. Schulpartnerschaft Chemie – Unterrichtsförderung

    rung (Antragsformulare und Merkblätter) Fördergelder hier beantragen! Förderung in Höhe von bis zu 5.000 Euro für einen experimentellen Chemieunterricht.

    https://www.lfbz.uni-rostock.de/en/startalt/schulpartnerschaft-chemie-unterrichtsfoerderung/

  2. „Dörthie Runners“: IASP-Kolleg*innen stellen Team beim 16. Rostocker Firmenlauf
    25.06.2025

    n: Azubis, Frauen-, Männer- und gemischte Teams. Ein Team besteht aus vier Personen, die jeweils 3,5 Kilometer entlang am Stadthafen in Richtung AIDA-Zentrale und wieder zurück zur Haedgehalbinsel laufen

    https://www.iasp.uni-rostock.de/en/aktuelles/vorlage-aktuelles/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=243157&cHash=ccae2dcafe83577bdfbbb9cf864fb496

  3. Prof. Dr.-Ing. habil. Volker Kühn

    Vorsitzender Prüfungsausschuss Medizinische Informationstechnik (MIT) Mitglied im ITG-Fachausschuss 5.1 „Informations- und Systemtheorie“ Mitgliedschaften Institute of Electrical and Electronics Engineers

    https://www.ief.uni-rostock.de/en/fakultaet/institute-und-lehrstuehle/lehrende/institute/nachrichtentechnik/prof-dr-ing-habil-volker-kuehn/

  4. News

    “Conflict-Induced Emigration of Scientists from Ukraine to Internal and International Destinations” in the 5th Conference of the Academy of Sociology at the Johannes Gutenberg University Mainz. On November 20

    https://www.isd.uni-rostock.de/en/junior-professur-computergestuetzte-sozialwissenschaften/news-1/

  5. Energiespeicherung

    E-Lecture 2: Elektrische und mechanische Speicher E-Lecture 3: Batterien E-Lecture 4: Wasserstoff E-Lecture 5: Thermische Speicher Zielgruppe Studierende technischer Fächer fortgeschrittene Schülerinnen und Schüler

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/videovorlesungen/energiespeicherung/

  6. News

    “Conflict-Induced Emigration of Scientists from Ukraine to Internal and International Destinations” in the 5th Conference of the Academy of Sociology at the Johannes Gutenberg University Mainz. On November 20

    https://www.isd.uni-rostock.de/en/junior-professur-computergestuetzte-sozialwissenschaften/news/

  7. Online-Veranstaltung zum „Atlas der Ostasien-Forschung in Norddeutschland“ am 12.11.2025 um 12:00 Uhr
    04.11.2025

    Sie folgenden Zugangslink: https://eu02web.zoom-x.de/j/61961725506?pwd=UiBvdtIWJFCqka4jqFNsxopaI15Wm5.1 Meeting-ID: 619 6172 5506 Kenncode: 446993 Dr. Doreen Schwarz Servicezentrum Projekte (S1) / Team

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=251890&cHash=b5c0790744d09a8e3282b6800d60eb9d

  8. Swatt-Kienbom (Pinus nigra)

    Bedüdung. As staatschen Bom kann hei bet tau 45 m hoch warden. De Stammdörchmesser kann mihr as 1,5 m sien. Öllere Böm besitten `ne schuppige Bork. Dat Holt wiest grote Harzkanäle up. De Swatt-Kienbom

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/swatt-kienbom-pinus-nigra/

  9. Map Location

    on a more urban character. How to find us With public transport: S-Bahn S1, S2, S3, Trams 1, 2, or 5, or Bus 28 to S Holbeinplatz station By car: Parking is available around Hans-Sachs-Allee 49 (18057

    https://www.garten.uni-rostock.de/en/footer/map-location/

  10. Wie ist das Mailsystem des ITMZ aufgebaut?

    Wie ist das Mailsystem des ITMZ aufgebaut? Das Mailsystem des ITMZ besteht insgesamt aus 5 im Rostocker Universitätsnetz betriebenen Windows-Servern, von denen 3 mit Exchange SE ausgestattet sind und die

    https://www.itmz.uni-rostock.de/en/onlinedienste/e-mail-und-kollaboration/e-mail/faq/wie-ist-das-mailsystem-des-itmz-aufgebaut/

Displaying results 1721 to 1730 of 4797.
  • Previous
  • ...
  • 169
  • 170
  • 171
  • 172
  • 173
  • 174
  • 175
  • 176
  • 177
  • 178
  • ...
  • 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