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

4860 Results:

  1. Mathematik für Informatik III

    Modulnummer: 2100970 Leistungspunkte: 9 ECTS Lehrveranstaltungen: Vorlesung Mathematik für Informatik III (5 SWS) Übung Mathematik für Informatik III (2 SWS) Prüfung: Klausur (120 min) Prüfungsvorleistungen: Erreichen

    https://www.informatik.uni-rostock.de/en/studium-lehre/bachelor-studiengaenge/informatik-bsc-aktuell/1-4-semester/module-3-semester/mathematik-fuer-elektrotechnik-und-informatik-iii-1/

  2. Maßnahme zur Fachkräftesicherung wird verlängert
    30.10.2025

    Besetzungen innerhalb eines Weiterbeschäftigungsanspruches für Qualifikationsstellen im Rahmen von § 2 Abs. 5 WissZeitVG, wenn es dadurch möglich wird, den Beginn eines neuen Qualifikationsvorhabens vorzuziehen

    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=251479&cHash=35615f7d976a8f16ef67d5a44fb23b6f

  3. Impuls Forschung - Förderprogramm der Hanse University Alliance (HUA)
    28.11.2025

    (bis zu 1.500 €). Modul B: Unterstützung bei der Ausarbeitung trilateraler Forschungsprojekte (bis zu 5.000 €). Es können z.B. gemeinsame Workshops oder Publikationen gefördert werden. Im Fokus stehen Pr

    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=257295&cHash=a5fd493929d58cd1caa2bffe6f7fee88

  4. Reporting loss or damage

    please contact a member of staff at the library where you rented the locker. The card replacement fee is 5.00 Euros (as per Nutzungsbedingungen für Dauerschließfächer ).

    https://www.ub.uni-rostock.de/en/borrowing/borrowing/reporting-loss-or-damage/

  5. Prof. Dr. Tim Urich

    anaerobic methanogens . Within the Alg4Nut project, Prof. Dr. Urich and his team are leading Work Package 5 which focuses on the identification of methanogens and the influence of algal extracts on their activity

    https://www.alg4nut.uni-rostock.de/en/team/prof-dr-tim-urich/

  6. Baltisch-Deutsches Hochschulkontor - Projektausschreibung 2026
    19.01.2026

    s, Forschungsprojekte oder Anbahnung von Verbundprojekten. Die Förderhöchstgrenze liegt i.d.R. bei 5.000 € je Projekt, in begründeten Einzelfällen bei besonders umfangreichen Projekten ist jedoch eine

    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=262667&cHash=9e22fdaf2dec7d871a4ccecd5aec1977

  7. Dr. Ricardo Molenda

    Arbeitskreis von Prof. P. Langer, Universität Rostock, Thema: „Synthese und Zyklisierung von 4-Aryl-3,5-bis(alkinyl)pyridinen“ 2026 Promotion (Dr. rer. nat.) im Arbeitskreis von Prof. P. Langer, Universität

    https://www.langer.chemie.uni-rostock.de/en/arbeitsgruppe/mitarbeitende/aktuelle-arbeitsgruppenmitglieder/dr-peter-ehlers-1/

  8. Das Nachhaltigkeitsbüro nimmt seine Arbeit auf
    04.02.2026

    über Ihre Einblicke! Kontakt: Nachhaltigkeitsbüro: Luise Lukow und Doreen Albrecht Universitätsplatz 5, Zimmer 206 und 207, Web: UR›Vielfalt und Gleichstellung› Nachhaltigkeit›Ideen E-Mail: nachhaltig@u

    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=264472&cHash=4973bfe6ddf68c26c18f671c22d13cfe

  9. 08-05-2024

    erfahren! Weitere Informationen OERSI Twillo OERinfo OERientation - Einführung in OER ROCinar Staffel 5 - Goldstandards OER (Links zuletzt geöffnet am 23.04.2024) Zum Instagram-Beitrag

    https://www.roc.uni-rostock.de/en/instagram/08-05-2024/

  10. CMS/DMS aktuell 03/2026 (Online)
    04.03.2026, 8:30 am - 04.03.2026, 10:00 am

    Zugang zum Meeting: https://uni-rostock-de.zoom-x.de/j/66685999179?pwd=QkE3MnNwRGEyT2lBV1hBWFZWSmx5UT09 Meeting-ID: Kenncode: Anbieter: Zentrale Universitätsverwaltung (ZUV) Referentinnen: Anja Kistner

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=265160&cHash=87cec8b952a4cc4c1ebc57ee7579b287

Displaying results 1381 to 1390 of 4860.
  • Previous
  • ...
  • 135
  • 136
  • 137
  • 138
  • 139
  • 140
  • 141
  • 142
  • 143
  • 144
  • ...
  • 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