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

4797 Results:

  1. Scior

    S. 35-50. Stimme und Ohr ihres Herrn. Boten und Gesandte im frühen Mittelalter, in: Damals 49 (H. 5/2017), S. 64-69. Vertrauen und Kontrolle: Boten als Augenzeugen in der mittelalterlichen Kommunikation [...] Logemann (Trends in Medieval Philology, hg. v. Ingrid Kasten, Niklaus Largier u. Mireille Schnyder, Bd. 5), Verlag Walter de Gruyter, Berlin-New York 2005, S. 77-99. Vergangenheitsdeutung und gegenwärtiges [...] deutschen Geschichte des Mittelalters / Freiherr vom Stein-Gedächtnisausgabe, Bd. 19), 6., gegenüber der 5. um einen Nachtrag erweiterte Aufl., Wissenschaftliche Buchgesellschaft, Darmstadt 2002, S. 401-410

    https://www.geschichte.uni-rostock.de/en/institut/professorenprofessorinnen/scior/

  2. Anreiseinformationen

    Airport erreichbar mit Auto, Eisenbahn, Fernbus Auto: ca. 200 km von Innenstadt Rostock, Fahrzeit ca. 2,5 h Flughafen Berlin Brandenburg – BER erreichbar mit Auto, Eisenbahn, Fernbus Auto: Flughafen Berlin [...] Lübeck erreichbar mit Auto, Eisenbahn, Fernbus Auto: ca. 120 km von Innenstadt Rostock, Fahrzeit ca. 1,5 h Ostsee-Fähren Fährverkehr ab Rostock Port (Überseehafen, Seehafen) erreichbar mit Auto und Stadtbus [...] Stadt – Straßenbahn, Stadtbus, Fähre, S-Bahn S-Bahn, Straßenbahnen und Busse fahren am Tage ca. alle 5 bis 15 Minuten. Nachts gibt es Nachtbuslinien, die sogenannten „Fledermauslinien“, so dass der ÖPNV

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/lageplaene-anreiseinfo/anreiseinformationen/

  3. Anreiseinformationen

    Airport erreichbar mit Auto, Eisenbahn, Fernbus Auto: ca. 200 km von Innenstadt Rostock, Fahrzeit ca. 2,5 h Flughafen Berlin Brandenburg – BER erreichbar mit Auto, Eisenbahn, Fernbus Auto: Flughafen Berlin [...] Lübeck erreichbar mit Auto, Eisenbahn, Fernbus Auto: ca. 120 km von Innenstadt Rostock, Fahrzeit ca. 1,5 h Ostsee-Fähren Fährverkehr ab Rostock Port (Überseehafen, Seehafen) erreichbar mit Auto und Stadtbus [...] Stadt – Straßenbahn, Stadtbus, Fähre, S-Bahn S-Bahn, Straßenbahnen und Busse fahren am Tage ca. alle 5 bis 15 Minuten. Nachts gibt es Nachtbuslinien, die sogenannten „Fledermauslinien“, so dass der ÖPNV

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/lageplaene-anreiseinfo/anreiseinformationen-1/

  4. Nanih Waiya

    (1830) the Choctaw signed nine treaties with the United States of America (Choctaw Community News, 5). With the Treaty of Dancing Rabbit Creek the Choctaw were eventually forced to cede 11 acres (45,000 [...] granted the transfer of the mound to the Mississippi Band of Choctaw Indians (Choctaw Community News, 5). In August 2008 the mound was finally returned to the tribe. Since then, the tribe celebrates every [...] “Tribe Observes Nanih Waiya Day.” Choctaw Community News . Vol. XLVI, No. 6. July/August 2016. 1, 5. ILLUSTRATIONS Figure 1: Phil Konstantin. A photo of Nanih Waiya . 2016. Wikimedia Commons. Wikimedia

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/landmark-stories/nanih-waiya-1/

  5. Dr. Katharina Stein

    bees in southern Burkina Faso, West Africa. Journal of Forest and Landscape Research 5:14-23, DOI: 10.13141/jflr.v5i1.2436 Dimobe, K., Ouédraogo, A., Ouédraogo, K., Goetze, D., Stein, K ., Schmidt, M. [...] 2013. Climate change impacts on biodiversity – The setting of a lingering global crisis. Diversity, 5(1): 114-123. Stein, K . and I. Hensen 2013. The reproductive biology of two understory plants in the

    https://www.botanik.uni-rostock.de/en/team-kontakt/dr-katharina-stein/

  6. Publikationen

    n mit dem Nationalsozialismus im deutsch- und französischsprachigen Europa (1919–1949), Volume 5.2/Band 5.2, Brüssel et al: Peter Lang, 2021, ca. 20 Seiten, angenommen, derzeit im Druck, erscheint 2022 [...] der Weimarer Republik und die Errichtung der NS-Herrschaft, 1932–1934 (= Zeitgeschichte im Fokus, Bd. 5), Berlin: be.bra wissenschaft verlag, 2018, 173–196. In the Presence of the Past. Rabbi Joachim Prinz

    https://www.geschichte.uni-rostock.de/en/arbeitsbereiche/zeitgeschichte/lehrstuhl/publikationen-1-1/

  7. M.Sc. Uwe Etzien

    fuel type and photochemical aging" , (2025) Environmental Science: Atmospheres, 5 (9), pp. 973 - 986, DOI: 10.1039/d5ea00040h Saraji-Bozorgzad, M.R., Bendl, J., Jeong, S., Padoan, S., Mudan, A., Etzien [...] engine operation on sulfur-containing fuels”, 8th MTZ Conference Heavy-Duty On- and Off-Highway Engines, 5.-6. November 2013; Bank, R.; Buchholz, B.; Harndorf, H.; Rabe, R.; Etzien, U.: "Analyse des Konvers

    https://www.lkv.uni-rostock.de/en/team/research-fellows-and-assistants/msc-uwe-etzien/

  8. Education, History and Antiquity Library

    in room 6023. Study Spaces PC Workspaces The library offers 23 PC workspaces, located on floors 1, 5, 6, and 7. How to log in . Find a workspace. Workspaces The library has 172 workspaces. Connect to WIFI [...] extension cables for the duration of your stay in the library. Copy, scan and print Book scanners There are 5 book scanners, located on the third (2x), fourth, fifth and seventh floor (rooms 3027 (2x), 4025, 5031 [...] use this machine to copy, not to print. Additional black-and-white copiers are available on floors 5 and 7. Obtaining a copy card Patrons who are not members of the University of Rostock can buy a copy

    https://www.ub.uni-rostock.de/en/libraries-facilities/campus-library-innenstadt/education-history-and-antiquity-library/

  9. Bibliotheksordnung

    Universitätsbibliothek § 3 Aufgaben der Universitätsbibliothek § 4 Das Patent- und Normenzentrum § 5 Das Universitätsarchiv mit Kustodie § 6 Bibliotheksleitung § 7 Beirat, Kommissionen und Bibliotheks [...] 2005, Nr. 7, Rostock, 08.07. 2005 Inhalt: Bibliotheksordnung für die Universitätsbibliothek Seiten: 5 Rostock vom 24. Mai 2005 PDF Bibliotheksordnung ​​​​​​​§ 1 Zweck der Ordnung Die Bibliotheksordnung [...] Geschäftsbedingungen (AGB) des PNZ“ und die „Hochschulgebührensatzung“ in der jeweils gültigen Fassung. § 5 Das Universitätsarchiv mit Kustodie Das Universitätsarchiv dient als öffentliches Archiv der Forschung

    https://www.ub.uni-rostock.de/en/universitaetsbibliothek/grundlagen-unseres-handelns/ordnungen/bibliotheksordnung/

  10. ET B.Sc. (SPSO 2018)

    4 Anwesenheitspflicht 3.4 Prüfungen 3.5 Freiwilliger Studienaufenthalt im Ausland 3.6 Individuelles Teilzeitstudium 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen 6. Beratungsmöglichkeiten [...] Studierende/jeder Studierende kann die Regelung maximal dreimal in Anspruch nehmen. 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen Studiengangsspezifische Prüfungs- und Studienordnung Bachelor E [...] 2.1 Ziele und Charakteristik 2.2 Inhaltliche Anforderungen 2.3 Besonderheiten 2.4 Berufspraktikum 2.5 Tätigkeitsfelder für Absolventen (Berufsfelder) 2.6 Weiterführende Qualifizierungsmöglichkeiten (Master)

    https://www.ief.uni-rostock.de/en/studiengaenge/bachelor-studiengaenge/elektrotechnik-bsc/et-bsc-spso-2018/

Displaying results 2571 to 2580 of 4797.
  • Previous
  • ...
  • 254
  • 255
  • 256
  • 257
  • 258
  • 259
  • 260
  • 261
  • 262
  • 263
  • ...
  • 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