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

4796 Results:

  1. 2013

    Mrotzek) Veranstaltungsort: Dokumentationszentrum Rostock, Hermannstraße 34b Veranstaltungszeitpunkt: 5. März 2013 Podiumsdiskussion „ Berlin im Kalten Krieg “ (Prof. Dr. Stefan Creuzberger) Veranstalter:

    https://www.dokumentationsstelle.uni-rostock.de/en/veranstaltungen/vortraege/vortragsarchiv/2013/

  2. 3. Spieltags-Bericht 08.05.2024 (Sommersaison 2024)
    14.05.2024

    steigern muss, um noch in die Finalrunde zu rutschen. 20:00 Uhr Dynamo Tresen vs. Holzfäller Extrem 5:0 (Gruppe B) Wieder einmal torlos mussten sich die “Holzfäller” am vergangenen Mittwoch vom Platz begeben

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/3-spieltags-bericht-uni-liga-fussball-08052024-sommersaison-2024-194073/

  3. The Edinburgh Companion to Sidonius Apollinaris

    SIDONIUS IN HIS POLITICAL, SOCIAL, AND RELIGIOUS CONTEXT 4 Michael Kulikowski, Sidonius' Political World 5 Sigrid Mratschek, Sidonius' Social World 6 Sigrid Mratschek, Creating Culture and Presenting the Self

    https://www.altertum.uni-rostock.de/en/forschung/forschungsprojekte/sidonius-apollinaris/

  4. Kalenderblatt April 2015

    n Institutes). Professor Ludwig Spannhof, einer der renommiertesten Rostocker Biologen, wäre am 17.5.2015 90 Jahre alt geworden. Er studierte in Halle, Jena und Berlin Biologie. Nach der Habilitation in

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2015/kalenderblatt-april-2015/

  5. Kalenderblatt November 2013

    Mathematik und Mathematiker an der Universität Rostock 1419 – 2004. In: Rostock. Math. Kolloq. 60 (2005). [5] P. Roquette: In memoriam Ernst Steinitz (1871–1928). Journal für die reine und angewandte Mathematik

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2013/kalenderblatt-november-2013/

  6. Kalenderblatt März 2014

    php/aktuell-presse/stellungnahmen/der-dmv/177-archiv/1706-2000-habilitationen-von-frauen-seit-1919 [5] Eintrag zu Maria-Viktoria Hasse im Catalogus Professorum Rostochiensium: http://purl.uni-rostock.d

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2014/kalenderblatt-maerz-2014/

  7. Fachdidaktik

    belegen. Da die SPÜ direkt in einer Schule absolviert werden, werden sie in Kleingruppen mit jeweils max. 5 Studierenden durchgeführt. Pro Fach stehen in jedem Semester insgesamt 10 Plätze zur Verfügung. Die

    https://www.romanistik.uni-rostock.de/en/arbeitsbereiche/fremdsprachendidaktik/fachdidaktik-modularisierte-studiengaenge/

  8. Weddell Sea

    (Proposal 2) Charlotte Havermans, (Uni Bremen) (Bio) (Proposal 3) Holger Auel (Uni Bremen) (Bio) (Proposal 5) Oliver Wurl (Uni Oldenburg) (Phys/Chem) (Proposal 9) Scarlett Trimborn (AWI) (Bio) (Proposal 10) Olmo

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/sp-expedition/weddell-sea/

  9. Examinations

    for the bachelor's and masters's programmes Source: University of Rostock, Official Announcements 5/2023 Regulations supplementig the RPO for the conduct of online examinations Source: University of Rostock

    https://www.auf.uni-rostock.de/en/study/study-orientation/questions-answers/examinations/

  10. Wissenschaftler der Universität Rostock entdeckt 148 Vogelarten in Rostock an einem Tag
    24.06.2020

    glücklichen Zufall – Art Nummer 141, eine Schwanzmeise. Beim Birdrace muss man früh aufstehen. Morgens um 5 Uhr haben Professor Mirko Basen und sein Sohn Luuk bereits zwei Stunden Beobachtungen hinter sich und

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/wissenschaftler-der-universitaet-rostock-entdeckt-148-vogelarten-in-rostock-an-einem-tag-67935/

Displaying results 2871 to 2880 of 4796.
  • Previous
  • ...
  • 284
  • 285
  • 286
  • 287
  • 288
  • 289
  • 290
  • 291
  • 292
  • 293
  • ...
  • 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