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. Fachartikel

    n Kustosch, M.; Walter, M.; Mann, K.; Bröckel, F.; Falkenstein, J.; Glora, M. (Robert Bosch GmbH); 5. IAV-Symposium "Steuerungssysteme für den Antriebsstrang von Kraftfahrzeugen“, Berlin, 9./10. Juni 2005

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

  2. Serafin, Stefan

    Opening Romanistik. Ein Access , mehrere Perspektiven", in: apropos [Perspektiven auf die Romania] 1, 5–11. [mit Ch. Behrens, B. Kern, J. Lehnert], DOI: https://doi.org/10.15460/apropos.1.1253 (2018): "Una

    https://www.romanistik.uni-rostock.de/en/institut/ehemalige-hp/serafin-stefan/

  3. Dr. Heike Krause

    orpommern Landesamt für Kultur und Denkmalpflege Mecklenburg-Vorpommern Landesarchäologie Domhof 4/5 19055 Schwerin Telefon: +49 385 5887640 Lebenslauf Lebenslauf Lebenslauf Seit März 2023 Leiterin Kr

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/dr-heike-krause/

  4. Public defense of the dissertation of Mr. M.Sc. Kevin Haase on the topic: "Agent-based modelling to investigate angler behaviour in relation to management decisions and stock development"
    04.01.2024, 10:00 am

    caused by the first-time introduction of a harvest restriction (hereafter referred to as bag limit) of 5 cod per angler and day. After the introduction of the bag limit, the recreational cod removals decreased

    https://vac.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/public-defense-of-the-dissertation-of-mr-msc-kevin-haase-on-the-topic-agent-based-modelling-to-investigate-angler-behaviour-in-relation-to-management-decisions-and-stock-development-new659407cd02e17597136204-1/

  5. Public defense of the dissertation of Mr. M.Sc. Kevin Haase on the topic: "Agent-based modelling to investigate angler behaviour in relation to management decisions and stock development"
    04.01.2024, 10:00 am

    caused by the first-time introduction of a harvest restriction (hereafter referred to as bag limit) of 5 cod per angler and day. After the introduction of the bag limit, the recreational cod removals decreased

    https://mosi.informatik.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/public-defense-of-the-dissertation-of-mr-msc-kevin-haase-on-the-topic-agent-based-modelling-to-investigate-angler-behaviour-in-relation-to-management-decisions-and-stock-development-new659407cd02e17597136204/

  6. Traces of Stone Age hunter-gatherers discovered in the Baltic Sea
    12.02.2024

    flooded by the Baltic Sea. “At this time, the entire population across northern Europe was likely below 5,000 people. One of their main food sources were herds of reindeer, which migrated seasonally through

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/gemeinsame-pressemitteilung-leibniz-institut-fuer-ostseeforschung-warnemuende-universitaet-rostock-christian-albrechts-universitaet-zu-kiel-spuren-der-eiszeitjaeger-in-der-ostsee-entdeckt-new65c9b928c7967725166749/

  7. NFC - Persönlichkeitsmerkmale und Eignung für Studium und Lehrberuf

    y traits related to intellectual achievements. Journal of Personality and Social Psychology , 104 (5), 885–906. doi.org/10.1037/a0031918 Oevermann, U. (2002). Professionalisierungsbedürftigkeit und Pr

    https://www.igsp.uni-rostock.de/en/forschung/forschungsprojekte-am-lehrstuhl-allg-grundschulpaedagogik-und-didaktik-des-sachunterrichts/persoenlichkeitsmerkmale-und-eignung-fuer-studium-und-lehrberuf/

  8. Kohärenz

    zur Sensibilisierung von Schülerinnen und Schülern in Bezug auf die Biodiversitätskrise (s. SDG 15.5) (United Nations, 2015). Angebots-Nutzungs-Modell zur Kohärenzherstellung im Rahmen des Lehramtsstudiums

    https://www.biodidaktik.uni-rostock.de/en/forschung/kohaerenz/

  9. Programm

    Einblicke in die Diversität der Liljeborgia (Liljeborgiidae, Amphipoda) Samstag, 27. April 09:00 – 10:20 5. Wissenschaftliche Sitzung 09:00 – 09:20 Torben Riehl – Krebse und andere marine Wirbellose in den Fokus

    https://www.zoologie.uni-rostock.de/en/crusttag/programm/

  10. 18th European Workshop on Phosphorus Chemistry

    contributions. Prizes for best talks, posters, and chairs will be awarded. Talk or How-to : 15 min + 5 min discussion Poster : Two poster sessions in the afternoon Further news EWPC-18 postponed to September

    https://www.chemie.uni-rostock.de/en/ewpc-18/

Displaying results 3501 to 3510 of 4861.
  • Previous
  • ...
  • 347
  • 348
  • 349
  • 350
  • 351
  • 352
  • 353
  • 354
  • 355
  • 356
  • ...
  • 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