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

4861 Results:

  1. Erziehungs- u. Bildungswissenschaft

    mit Anteilen aus dieser Fachrichtung im Umfang von mindestens 60 Leistungspunkten, davon mindestens 5 Leistungspunkte im Fach Allgemeine Erziehungswissenschaft oder ein anderer gleichwertiger Abschluss

    https://www.uni-rostock.de/en/erziehungs-u-bildungswissenschaft-1/

  2. Romanistik, vergleichende (Spanisch)

    mindestens 60 LP nachzuweisen. Das erste berufsqualifizierende Studium wurde mindestens mit der Note 2,5 oder bei einem anderen Notensystem mit einer vergleichbaren Note abgeschlossen. Spanischkenntnisse auf

    https://www.uni-rostock.de/en/romanistik-vergleichende-spanisch/

  3. Leitfaden zum Praktikum

    sich nach den Regelungen des jeweiligen Unternehmens. Die Mindestdauer beträgt 12 Wochen (i.d.R. mit 5 vollen Arbeitstagen pro Woche) . Feiertage werden nicht in die Gesamtdauer eingerechnet, müssen also

    https://www.wirtschaftsinformatik.uni-rostock.de/en/praktika-jobs/leitfaden-zum-praktikum/

  4. Dr. Alexander Dietz

    2025, 311. Online verfügbar: www.transcript-verlag.de/media/pdf/9a/2a/9b/oa97838394312909tSwePtuQGbn5.pdf Die Stimmungen der Welt und der Ton des Christlichen. Konstellationen eines dynamischen Wirkung

    https://www.theologie.uni-rostock.de/en/fachgebiete/praktische-theologie/dr-alexander-dietz/

  5. Contact & Office Hours

    vergrößern © Hanse- und Universitätsstadt Rostock Directions From the main train station, take tram line 5 (towards "Mecklenburger Allee") or 6 (towards "Neuer Friedhof") out of the station tunnel towards the

    https://www.uni-rostock.de/en/international-affairs/rostock-international-house/contact-office-hours/

  6. Dr.-Ing. Helge Parzyjegla

    Torres, Peter Danielis, and Frank Golatowski. Cooperative mission planning for autonomous vehicles. In 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) . University of Rostock [...] Torres. Energy consumption optimization of autonomous underwater vehicles using power state machines. In 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) . University of Rostock [...] Rostock, June 2025. Peter Danielis, Helge Parzyjegla, and Stefan Lüdtke, editors. Proceedings of the 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) . University of Rostock

    https://www.ava.uni-rostock.de/en/parzyjegla/

  7. Welcome

    by Prof. Thomas Fennel on February 6th 2020 at 5.00 p.m. MNF invites you to attend the inaugural lecture by Prof. Thomas Fennel on February 6th 2020 at 5 pm. Topic of this lecture: "Nonlinear electron

    https://www.snp.physik.uni-rostock.de/en/welcome/

  8. 2022

    gsort: Militärhistorisches Museum Dresden, Olbrichtplatz 2, 01099 Dresden Veranstaltungszeitpunkt: 5. Dezember 2022, 18.00 Uhr Link: hier „Das deutsch-russische Jahrhundert. Geschichte einer besonderen [...] Jahrhundert. Geschichte einer besonderen Beziehung“ (Prof. Dr. Stefan Creuzberger im Gespräch auf dem 5. Vienna Humanities Festival 2022) Veranstalter: Institut für die Wissenschaften vom Menschen (IWM)/Stadt

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

  9. Insensatez

    Zeugenaussagen explizit die „unvollkommene“ Erinnerung der Intellektuellen an dem Bürgerkrieg anspricht.[5] Die Rolle der Kirche stellt der Protagonist als zwiespältig dar. Einerseits wird deutlich, dass sie [...] 137 [2] Vgl. Ginberg Pla 2005: 8f. [3] Castellanos Moya 2004: 100f. [4] Vgl. Grinberg Pla 2005: 4f. [5] Vgl. Grinberg Pla 2005: 8. [6] Vgl. Grinberg Pla 2005: 3. [7] Castellanos Moya 2004: 153. Quellen:

    https://www.romanistik.uni-rostock.de/en/arbeitsbereiche/spanische-und-franzoesische-literaturwissenschaft/horacio-castellanos-moya/buecher/insensatez/

  10. Geschichte der UB

    Bestand. 1815 Erwerb der wertvollen privaten Bibliothek des Orientalisten Oluf Gerhard Tychsen für 5.000 Taler. Sie enthielt etwa 10.000 Bände rabbinischer, orientalischer und theologischer Werke. Die [...] Literatur zu schaffen, werden innerhalb von vier Monaten über 26 km Bücher und Zeitschriften sowie 3,5 km Regale, Mobiliar und Bibliothekstechnik bewegt. 2019 Die Universitätsbibliothek feiert 450-jähriges

    https://www.ub.uni-rostock.de/en/universitaetsbibliothek/ueberblick/universitaetsbibliothek/geschichte-der-ub/

Displaying results 3391 to 3400 of 4861.
  • Previous
  • ...
  • 336
  • 337
  • 338
  • 339
  • 340
  • 341
  • 342
  • 343
  • 344
  • 345
  • ...
  • 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