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

4883 Results:

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

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

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

  4. Publikationen Dr. Fischer

    Solvent Production by Clostridium acetobutylicum in Continous Culture. BMC Systems Biology 5:10 (DOI:10.1186/1752-0509-5-10) Millat, T., O. Wolkenhauer, R.-J. Fischer , H. Bahl. 2011. Modeling of Cellular Processes: [...] acetobutlicum - From experiments to models. In: Kettner, C. and Hicks, M. G., eds., Proceedings of the 5th International Beilstein Symposium on Experimental Standard Condtions of Enzyme Characterizations Logos

    https://www.mikrobiologie.uni-rostock.de/en/aktuelles/wissenschaftlicher-werdegang/publikationen/

  5. 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 [...] coin-operated copier and print from a USB stick. 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/

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

  7. LA IN Gym (SPSO 2019)

    Anwesenheitspflicht 3.4 Prüfungen 3.5 Erweiterungsfächer und Beifächer 3.6 Freiwilliger Studienaufenthalt im Ausland 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen 6. Beratungsmöglichkeiten [...] Studien- und Fördermöglichkeiten im Ausland erfolgt im Rostock International House. 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen Studiengangsspezifische Prüfungs- und Studienordnung Lehramt an [...] 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 (Promotion)

    https://www.ief.uni-rostock.de/en/studiengaenge/staatsexamen-lehramt/informatik-fuer-lehramt-an-gymnasien-1-staatsexamen/la-in-gym-spso-2019/

  8. Publications

    cross-sectional comparison. Quality of life research 32(8), 2223-2234. DOI: 10.1007/s11136-023-03382-5 February 2023 Potts, Sophie; Bergherr, Elisabeth; Reinke, Constantin; Griesbach, Colin (2023): Pred [...] Routine Health Insurance Data for the Years 2014–2019. In: Deutsches Ärzteblatt International 119 (5), S. 66–67. DOI: 10.3238/arztebl.m2022.0101 . Nestler, Sophia; Kreft, Daniel; Doblhammer, Gabriele; [...] of severe binocular visual impairment and blindness in persons aged 50 and older. In: PloS one 16 (5), e0251018. DOI: 10.1371/journal.pone.0251018 . Kreft, Daniel; Barth, Alexander; Doblhammer, Gabriele

    https://www.isd.uni-rostock.de/en/esf/publications/

  9. Markus Kersten

    Reitz/Markus Kersten, Rez. Nadja Kimmerle, Lucan und der Prinzipat, Berlin 2015, Sehepunkte 16 (2016), 5. Arkadien oder Europa? Die Eklogen-Edition des Grafen Harry Kessler A&A 63 (2017), 169–191. The ‘Challenges

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/markus-kersten/

  10. Kampf

    central limit theorem for Lebesgue integrals of random fields , Statistics & Probability Letters 124 , S. 5-12. Preprint Endgültige Version 2018: K.; Spodarev, E.: A functional central limit theorem for integrals

    https://www.mathematik.uni-rostock.de/en/unser-institut/mitarbeitende/kampf/

Displaying results 2551 to 2560 of 4883.
  • Previous
  • ...
  • 252
  • 253
  • 254
  • 255
  • 256
  • 257
  • 258
  • 259
  • 260
  • 261
  • ...
  • 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