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

4889 Results:

  1. Vergangene Konferenzen

    erbeten an: florian.zacher(at)uni-rostock.de +49 (0)381 498 8405 GRK Deutungsmacht Universitätsplatz 5 18055 Rostock Bild Kausale und modale Macht Gastvortrag zum Fellowaufenthalt von Prof. Dr. Marc Rölli [...] erbeten an: florian.zacher(at)uni-rostock.de +49 (0)381 498 8405 GRK Deutungsmacht Universitätsplatz 5 18055 Rostock Bild "Macht und Reflexion" - Kooperationstagung Das Institut für Philosophie der Universität

    https://www.deutungsmacht.uni-rostock.de/en/startseite/vergangene-konferenzen/

  2. Rahmenprüfungsordnungen - Datensätze

    en der IEF. Freiwilliger Studienaufenthalt im Ausland laut Rahmenprüfungsordnung Bachelor/Master 3.5 Freiwilliger Studienaufenthalt im Ausland laut Rahmenprüfungsordnung Bachelor/Master Die Rahmenprüf [...] International House. Freiwilliger Studienaufenthalt im Ausland laut Rahmenprüfungsordnung Lehramt 3.5 Freiwilliger Studienaufenthalt im Ausland laut Rahmenprüfungsordnung Lehramt Die Rahmenprüfungsordnung

    https://www.ief.uni-rostock.de/en/studiengaenge/rahmenpruefungsordnungen-datensaetze/

  3. List of publications

    Corzilius, and C. Müller, Cyclo-P 5 − Revisited: The Surprisingly Stable Uncoordinated Pentaphospholide Anion , Angew. Chem. Int. Ed. 64 , e202505853 (2025); Cyclo-P 5 − neu betrachtet: Das erstaunlich

    https://www.corzilius.chemie.uni-rostock.de/en/hauptmenue/publications/published-works/list-of-publications/

  4. Epic Speeches Network

    particularly specialises in Late Antiquity and more specifically the Greek epics of Nonnus of Panopolis (5th c. AD) and the epyllia and ecphrastic poems of the so-called Nonnian poets. She works with the methods [...] intertextual relationship between ancient drama and epics, the development of Greek drama after the 5th century, ant the cross-pollination between art and literature. She is involved in the UK-Ireland Digital [...] mythical character of Herakles in Greek epic and beyond. Currently, he is writing a commentary on Book 5 of Homer’s Odyssey (the Kalypso episode), contracted with Liverpool University Press for the Aris &

    https://www.dices.uni-rostock.de/en/epic-speeches-network/

  5. Leitfaden

    werden. Ausfüllen: Grunddaten Modulnummer : Die Modulnummer wird automatisch erstellt (zunächst als 5-stellige Nummer) Semester : Auswahlfeld für das Semester, ab wann die Modulbeschreibung gelten soll [...] Erstellung eines neuen Moduls bzw. eines Modulnachfolgers wird automatisch zunächst eine vorläufige 5-stellige Nummer vergeben. Nach Genehmigung und vor der Veröffentlichung wird durch das ITMZ die endgültige [...] Plätze für die eigenen Studierenden zu erhalten. Zum Beispiel: „Maximal 20 Studierende, davon maximal 5 aus dem Masterstudiengang Dienstleistungsmanagement“. Solche Zugangsbeschränkungen sollten immer mit

    https://www.hqe.uni-rostock.de/en/studiengangsentwicklung/moduldatenbank/leitfaden/

  6. Liste

    rmations-Phase zur Studienorientierung (05.06. bis 30.09.2021) Mit dem Hochschulinformationstag am 5. Juni 2021 startet die Universität Rostock die online Hochschul-Informations-Phase zur Studienorientierung [...] Messe zum Hochschulinformationstag (05.06.2021) Der Hochschulinformationstag der Universität Rostock am 5. Juni 2021 findet von 11:00 bis 15:00 Uhr als virtuelle Messe im Internet statt. Die IEF beteiligt sich [...] medialen Präsentation der Fakultät für Informatik und Elektrotechnik zum Hochschulinformationstag (HIT) am 5. Juni 2021 und in der sich bis zum 30. September 2021 anschließenden Hochschul-Informations-Phase der

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2021/liste/

  7. Colloquia

    behavior on microfabricated surfaces with 2.5D patterns will be detailed as well as our recent discovery of a new cellular ability which we term “curvotaxis” [5]. References [1] K. Anselme, M. Bigerelle [...] of the structure. Wed, 23.05.2018: no meeting due to ELAINE summer school "Medical Objectives" 23.5.-25.5. Wed, 25.04.2018: Prof. Dr. Dieter Scharnweber, TU Dresden, Some like it sweet - from protein/gl [...] Role of the Nucleus as a Sensor of Cell Environment Topography, Adv. Healthc. Mater (2018) 1701154. [5] L. Pieuchot, J. Marteau, A. Guignandon, T. dos Santos, I. Brigaud, P.F. Chauvy, T. Cloatre, A. Ponche

    https://www.elaine.uni-rostock.de/en/colloquia/

  8. Successfully Completed Work

    FOAM Ashray Pathak (2010) | Influence of superelement modeling on fatigue estimation for a life like 5-MW turbine on a tripod support structure Robert Pfannenschmidt (2010) | Bewegungsverhalten von SWATH

    https://www.lemos.uni-rostock.de/en/education/other/successfully-completed-work/

  9. 2022

    ive „Information Technology for European Advancement (ITEA)“ gefördert und hat mit 23 Partnern aus 5 Ländern ein standardisiertes Open-Source Framework entwickelt, das die Zusammenarbeit beim Entwurf und

    https://www.imd.uni-rostock.de/en/institut/highlights/2022/

  10. Geschäftshinweise

    der Universität Rostock unter hochschulsport@uni-rostock.de zu melden. Mehr Informationen hier. § 5 – Tätigkeit der Kursleiter*innen Die Beauftragung von selbständig tätig werdenden Kursleiter*innen für

    https://www.hochschulsport.uni-rostock.de/en/sportangebote/kursangebote/geschaeftshinweise/

Displaying results 3761 to 3770 of 4889.
  • Previous
  • ...
  • 373
  • 374
  • 375
  • 376
  • 377
  • 378
  • 379
  • 380
  • 381
  • 382
  • ...
  • 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