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

4867 Results:

  1. 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/

  2. 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/

  3. 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/

  4. 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/

  5. 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/

  6. 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/

  7. Poettering

    in the Usage of Colonial Rio de Janeiro's Waterworks. In: Brasiliana. Journal for Brazilian Studies 5:2, 2017, S. 154-170. [ Onlineversion ] Als die Säulen des Herakles umstürzten. Wissen, Wissenschaft

    https://www.geschichte.uni-rostock.de/en/arbeitsbereiche/geschichte-der-fruehen-neuzeit/lehrstuhl/mitarbeiter/poettering/

  8. Lehrerbildungs-Landpartie

    Medienberichte 2019 Medienberichte 2019 Die Medien hatten vorab und währenddessen ein großes Interesse. 29.5.2019 SVZ www.svz.de/regionales/mecklenburg-vorpommern/Projekt-Landpartie-Angehenden-Lehrern-das-Lan

    https://www.zlb.uni-rostock.de/en/studium/veranstaltungen-projekte/lehrerbildungs-landpartie/

  9. Patente

    DE Falkenstein, J.: Elektrisch angetriebenes Spannungswellen-Getriebe. Patentschrift DE-10137230 C5, Patent erteilt am 17.11.2005 Hirschmann, K.; Falkenstein, J.: Antriebsmaschine zur Erzeugung von d

    https://www.gat.uni-rostock.de/en/publikationen/patente/

  10. Vine Deloria

    the pretension held by many whites of the time that “[t]hey understand Indians” (Deloria, Jr. 1988, 5). In his humorous and sometimes sarcastic style, Deloria debunks the myth of the sorry Indian looking

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/project/agents/vine-deloria-1/

Displaying results 3751 to 3760 of 4867.
  • Previous
  • ...
  • 372
  • 373
  • 374
  • 375
  • 376
  • 377
  • 378
  • 379
  • 380
  • 381
  • ...
  • 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