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. Rostyslav Lesyuk

    Gaponik: Simulation study of environment friendly quantum dot based photovoltaic windows J. Mater. Chem. C 5 (2017) 11790. Rostyslav Lesyuk, Val Marinov, Erik K. Hobbie, Ahmed Elbaradei, Ihor Tarnavchyk, Yaroslav

    https://www.nanomaterials.uni-rostock.de/en/rostyslav-lesyuk/

  2. PD Dr. Jörn Kiefer

    im christlich-jüdischen Kontext. Zur Perikopenreihe 4, Berlin 2021, 79-84. Predigtmeditation zu Am 5,21-24, in: Predigtmeditationen im christlich-jüdischen Kontext. Zur Perikopenreihe 6, Berlin 2023, 100-105

    https://www.theologie.uni-rostock.de/en/fachgebiete/altes-testament/pd-dr-joern-kiefer/

  3. Prof. Dr. Stefan Creuzberger

    1 der SACHBUCH-BESTENLISTE im April 2022 der Medienpartner „Die Literarische Welt“, Radiosender WDR 5, „Neue Zürcher Zeitung“, RBB-Kultur sowie Ö1. Platz 2 der SACHBUCH-BESTENLISTE im April 2022 der Me

    https://www.dokumentationsstelle.uni-rostock.de/en/forschungsstelle/mitarbeiter/leitung/prof-dr-stefan-creuzberger/

  4. Portalseite Lehrstühle

    Technische Mechanik / Dynamik Lehrstuhlinhaber Prof. Dr.-Ing.habil. Christoph Woernle Räume/Anschrift Raum 5 Justus-von-Liebig-Weg 6 18051 Rostock Webauftritt Technische Thermodynamik Lehrstuhlinhaber Prof. Dr

    https://www.msf.uni-rostock.de/en/lehrstuehle/portalseite-lehrstuehle/

  5. Prof. Dr. Udo Kragl

    Technische Chemie 1 (BSc WCh, LA Ch) Vorlesung + Seminar TC 2: Lebensmitteltechnologie (LA Ch) Seminar AnC 5: Moderne Methoden der Massenspektrometrie und Chromatographie (MSc Ch) Vorlesung + Seminar PC 8: Wasser

    https://www.chemie.uni-rostock.de/en/arbeitsgruppen/analytische-technische-chemie/prof-dr-udo-kragl/

  6. Ionita-Scholz_2024

    (e.g., wind, heat and moisture advection, air pressure pattern, sea surface temperature) from the ERA5 meteorological reanalysis data. In addition, we look at another kind of extreme events, polar lows.

    https://www.spp-antarktisforschung.de/en/research/projects/current-projects/physics-chemistry/ionita-scholz-2024/

  7. Seifert_2021

    (4) studying the vertical structure of clouds and its relationship to precipitation formation, and (5) on the evaluation of regional contrasts in the properties of aerosols and clouds and the associated

    https://www.spp-antarktisforschung.de/en/research/projects/current-projects/physics-chemistry/translate-to-english-seifert-2021/

  8. Christian Rode

    (2024). Posture-induced modulation of lower-limb joint powers in perturbed running. Plos one , 19 (5), e0302867. Rode C, Tomalka A, Blickhan R, Siebert T. (2024). Structurally motivated models to explain

    https://www.isportwi.uni-rostock.de/en/institut/mitarbeitende/finanzen-1/christian-rode/

  9. Eine Ente als Lesertest

    ht“ werden. Jetzt, drei Jahre nach Johnsons Tod, kann man sie doch nachlesen. Unter dem Titel „Der 5. Kanal“ (ein seinerzeit in West-Berlin gebrauchtes Synonym fürs DDR-Fernsehen) liegen sie in der edition

    https://www.ujfs.uni-rostock.de/en/uwe-johnson-forschungsstelle/johnson-journal/retrospektive/eine-ente-als-lesertest/

  10. Downloads

    institutions abroad who are significantly involved in the project. New : → Please note points 6.4 and 6.5 of the new guidelines for submitting applications, in particular the reference to any agreements on

    https://www.spp-antarktisforschung.de/en/organisation/application-process/downloads/

Displaying results 2901 to 2910 of 4883.
  • Previous
  • ...
  • 287
  • 288
  • 289
  • 290
  • 291
  • 292
  • 293
  • 294
  • 295
  • 296
  • ...
  • 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