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

    Die Modulbeschreibungen finden Sie generell im Modulverzeichnis der Universität Rostock auf dem Studien- und Prüfungsportal pruefung.uni-rostock.de Modulbeschreibungen Das Studium gliedert sich in Mod

    https://www.physik.uni-rostock.de/en/studium-und-lehre/studiengaenge/msc-in-physik/modulbeschreibung/

  2. Press

    Expertise and Quality Your R&D partner for medical devices with an accredited testing laboratory Versatility and Flexibility We apply our wide range of methods to the tasks you wish to solve Ingenium

    https://www.iib-ev.de/en/press/

  3. Modulbeschreibung

    Modulbeschreibungen Das Studium gliedert sich in Module (Pflichtmodule und Wahlmodule). Die Module umfassen inhaltlich zusammenhängende Lehrveranstaltungen und erstrecken sich über ein Semester. Die M

    https://www.physik.uni-rostock.de/en/studium-und-lehre/studiengaenge/bsc-in-physik/modulbeschreibung/

  4. Übersicht Studiumsrelevanter Online-Portale

    Wichtige Online-Portale für das Studium an der Philosophischen Fakultät Seminar - Suche und Einschreibung Seminar - Suche und Einschreibung Zentrales Vorlesungsverzeichnis LSF Hier können Sie nach Leh

    https://www.germanistik.uni-rostock.de/en/studium/beratung-und-hilfe/uebersicht-studiumsrelevanter-online-portale/

  5. What can I find in Discovery?

    What can I find in Discovery? Our Discovery is a modern literature research portal based on search engine technology. Discovery offers a quick and easy way to start searching. In addition to our libra

    https://www.ub.uni-rostock.de/en/searching/search-options/what-can-i-find-in-discovery/

  6. Impfung gegen Chikungunya-Virus in Rostock, Wien und Graz erfolgreich getestet
    07.11.2018

    Erst- und Korrespondenzautor der Veröffentlichung im Lancet, einer der weltweit führenden wissenschaftlichen Zeitschriften, ist Prof. Dr. Emil Reisinger, Leiter der Abteilung für Tropenmedizin und Inf

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/impfung-gegen-chikungunya-virus-in-rostock-wien-und-graz-erfolgreich-getestet-37653/

  7. MVpreneur Day 2019
    21.05.2019

    Unter dem Motto: „Start-up-Festival“ teilen junge Ideenträger/innen aus dem ganzen Land ihre Erfolgs-Stories auf drei verschiedenen Stages . Darüber hinaus sprechen Experten/innen über relevante Theme

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/mvpreneur-day-2019-47565/

  8. URgesund: Souverän präsentieren: Mit mehr Sicherheit vor Publikum auftreten
    09.07.2026

    Ob Vortrag, Meeting, Präsentation oder Prüfung – vor anderen zu sprechen, gehört für viele zum Alltag und ist häufig mit Nervosität verbunden. Der Kurs vermittelt praktische Strategien, um Präsentatio

    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=281496&cHash=f38173c82c6d032f1efa279956bf8cc7

  9. MARE BALTICUM LECTURES: Introduction to consecutive interpretation Spanish / English > German, German > Spanish / English (Part 1)
    06.02.2020, 10:00 am - 07.02.2020, 5:00 pm

    The course is conceived as a trial course and will allow the student to develop preliminary soft skills in the field of interpretation. Most of the interpreting skills (active listening, note-taking,

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/mare-balticum-lectures-introduction-to-consecutive-interpretation-spanish-english-german-german-spanish-english-part-1-56771/

  10. Online Course: "How to Write a Competitive Proposal for Pillar II" (Horizon Europe)
    09.09.2022

    This course is designed for researchers who are planning to Coordinate a Pillar II Proposal. The course is also useful to researchers who are planning to participate as a partner in Pillar II proposal

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/online-course-how-to-write-a-competitive-proposal-for-pillar-ii-horizon-europe/

Displaying results 4791 to 4800 of 4883.
  • Previous
  • ...
  • 476
  • 477
  • 478
  • 479
  • 480
  • 481
  • 482
  • 483
  • 484
  • 485
  • ...
  • 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