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. Mathematische Modellierung

    Kosiński, W. (2002): Thermomechanical coupled waves in a viscoplastic medium. In Archives of Mechanics 54 (5-6), pp. 439–457. Kosiński, W.; Frischmuth, K. (2001): Thermomechanical coupled waves in a nonlinear [...] modelling heat transfer in chemical microsensors. In International Journal of Engineering Science 34 (5), pp. 523–530. Frischmuth, K.; Kosiński, W.; Lekszycki, T. (1993): Free vibrations of finite-memory

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/mathematische-modellierung/

  2. Publications

    drained peatlands reduces climate warming despite methane emissions. Nature Communications, 11(1) , 1-5, doi: 10.1038/s41467-020-15499-z. Koebsch, F. , Sonnentag, O., Järveoja, J., Peltoniemi, M., Alekseychik [...] Augustin, J., 2015. Mehr Moor? - Zur Treibhausgasdynamik wiedervernässter Feuchtgebiete. System Erde: 5, 22-27 , doi: 10.2312/GFZ.syserde.05.01.4 Koch, S., Jurasinski, G., Koebsch, F. , Koch, M., Glatzel

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/landschaftsoekologie-und-standortkunde/team/ehemalige/dr-franziska-koebsch/publications/

  3. Research

    efficiently coupled to dialysis or ultrafiltration using polyelectrolyte HP-1 and polymediator HP-2 .[5] The polymer solutions are sufficiently conductive, exhibit a high electrocatalytic activity toward [...] Org. Chem. 2017 , 82, 11669–11681. [4] T. Broese, R. Francke, Org. Lett. 2016 , 18 , 5896 – 5899 . [5] B. Schille, N. O. Giltzau, R. Francke, Angew. Chem. Int. Ed. 2018 , 57 , 422. [6] N. Mohebbati, A.

    https://www.francke.chemie.uni-rostock.de/en/research/

  4. Dr. Aleksej Sorokin

    d: Politische Faktoren und die Kunst der Diplomatie (1955–1964)], in: Quaestio Rossica, Bd. 10, No 5. Ekaterinburg 2022, S. 1657–1673. Sorokin, A: Sowjetunionbilder der Bundeskanzler Adenauers und Brandts [...] o gosudarstvennogo universiteta. Serija 4. Istorija. Regionovedenie. Meždunarodnie otnošenija, No. 5. Volgograd 2019, S. 1–15. Sorokin, A: Evoljucija obraza Sovetskogo Sojuza Villi Brandta [Die Evolution

    https://www.dokumentationsstelle.uni-rostock.de/en/forschungsstelle/mitarbeiter/gastwissenschaftler/ehemalige/dr-aleksej-sorokin/

  5. Publikationen

    Mrotzek, Rostock 2006. Günter Schabowski: Der Zerfall einer Leihmacht. (= Diktaturen in Deutschland, Bd. 5). Herausgegeben von Fred Mrotzek, Rostock 2009. Mirjam Seils: Willkommen in Rostock? Aufnahme und I [...] Rehabilitation in der DDR (1949–1989) (= Schriftenreihe Diktatur und Demokratie im 20. Jahrhundert, Bd. 5). Herausgegeben von Stefan Creuzberger und Fred Mrotzek. Berlin 2017. Gerhard Wettig: Die Stalin-Note

    https://www.dokumentationsstelle.uni-rostock.de/en/forschungsstelle/mitarbeiter/wiss-mitarbeiter/dr-fred-mrotzek/publikationen/

  6. Publikationen

    Mrotzek, Rostock 2006. Günter Schabowski: Der Zerfall einer Leihmacht. (= Diktaturen in Deutschland, Bd. 5). Herausgegeben von Fred Mrotzek, Rostock 2009. Mirjam Seils: Willkommen in Rostock? Aufnahme und I [...] Rehabilitation in der DDR (1949–1989) (= Schriftenreihe Diktatur und Demokratie im 20. Jahrhundert, Bd. 5). Herausgegeben von Stefan Creuzberger und Fred Mrotzek. Berlin 2017. Gerhard Wettig: Die Stalin-Note

    https://www.dokumentationsstelle.uni-rostock.de/en/forschungsstelle/mitarbeiter/leitung/dr-fred-mrotzek/publikationen/

  7. Windows Server Update Services

    it" werden nur bei der Einstellung "4 - Autom. Downloaden und laut Zeitplan installieren" benutzt. 5. Doppelklicken Sie den Eintrag "Internen Pfad für den Microsoft Update Dienst angeben". 6. Setzen Sie [...] den Eintrag "Automatische Updates konfigurieren". 4. Setzen Sie den Wert auf "Nicht konfiguriert". 5. Doppelklicken Sie den Eintrag "Internen Pfad für den Microsoft Update Dienst angeben". 6. Setzen Sie

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/universitaetsweite-dienste/windows-server-update-services/

  8. Geschichte und Struktur des Bestands

    Geschichte und Struktur des Bestands Nicht auffindbar? Vom 21. August bis 5. Dezember 1989 trugen die MfS-Offiziere in acht weiteren Aktenordnern ihre Erkenntnisse über den Freundeskreis Esch zusammen [...] überleben. Es muss also bereits vor den Verhaftungen umfangreiche Absprachen gegeben haben. Im Band 5 ist der gesamte Prozess von den administrativen Voraussetzungen, der Anklageschrift, dem Protokoll der

    https://www.dokumentationsstelle.uni-rostock.de/en/publikationen/online-edition-arno-esch/online-edition-arno-esch/geschichte-und-struktur-des-bestands/

  9. WORKSHOP: Schwerefeld, Eisschild und Struktur des Erdinneren in Antarktika: Wechselbeziehungen verstehen - Potsdam, 05. und 06. Mai 2022
    01.06.2022

    Am 5. und 6. Mai 2022 wurde im Rahmen des DFG-Schwerpunktprogramms „Antarktisforschung“ ein zwei halbe Tage dauernder Workshop „Schwerefeld, Eisschild und Struktur des Erdinneren in Antarktika: Wechse [...] Anwendung aerogeophysikalischer Methoden in Antarktika . Das AWI setzt die beiden Polarflugzeuge Polar-5 und Polar-6 ein. Die mögliche Instrumentation umfasst Gravimeter, Magnetometer, GNSS, Eis-, Akkumulations-

    https://www.spp-antarktisforschung.uni-rostock.de/en/news-artikelordner/detailansicht-der-news/n/workshop-gravity-field-ice-sheet-and-inner-structure-of-the-earth-in-antarctica-understanding-interactions-and-gathering-observational-constraints-potsdam-05-and-06-may-2022/

  10. Research

    „Generation Enkellos und Rentenbeitragsrabatt für Eltern“ (mit Jakob von Weizsäcker), ifo Schnelldienst 5, S. 11-18. ( Download ) Fenge, Robert, Wolfgang Ochel (2001): „Die Vereinbarkeit von Familie und Beruf: [...] „Generation Enkellos und Rentenbeitragsrabatt für Eltern“ (mit Jakob von Weizsäcker), ifo Schnelldienst 5, S. 11-18. ( Download ) Fenge, Robert (2003): „Generationengerechtigkeit im Gesundheitswesen”, ifo

    https://www.vwl.uni-rostock.de/en/institut/professuren-i/public-economics-prof-dr-robert-fenge/research/

Displaying results 2781 to 2790 of 4797.
  • Previous
  • ...
  • 275
  • 276
  • 277
  • 278
  • 279
  • 280
  • 281
  • 282
  • 283
  • 284
  • ...
  • 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