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

4879 Results:

  1. 5_5___DM_Personal_2006_2010_Homepage.pdf

    storages/uni-rostock/UniHome/Verwaltung/Intranet/Dezernat_2/Referat_2.5/Zahlen_und_Fakten/5_5___DM_Personal_2006_2010_Homepage.pdf

  2. 5_5___DM_Personal_2006_2010_Homepage.pdf

    storages/uni-rostock/UniHome/Verwaltung/Intranet/Dezernat_2/Referat_2.5/Zahlen_und_Fakten/5_5___DM_Personal_2006_2010_Homepage.pdf

  3. Abstracts

    ischen Distanzen lagen bei den meisten Arten unter 6 %, mit Ausnahmen wie Armadillidium vulgare (6,5 %) und Cylisticus convexus (6,3 %). Einige Arten, wie Porcellium collicola (13,9 %), Trachelipus ratzeburgii [...] verschiedenen Temperaturen (16, 19, 22 und 25 °C) oder zwei verschiedenen Sauerstoffkonzentrationen (9,5 und 20 kPa) aufgezogen wurden. Herzfrequenz, Sauerstoffumsatz sowie Carapaxlänge und Körpermasse von [...] oesophagus into the stomach. The process takes less than 10 seconds and does not harm the animal. Up to 5 ml enzyme solution can be harvested every other day. The enzyme solution can be filtered, concentrated

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

  4. Bürgerkrieg

    der Nachkriegsära. Vielmehr stürzen sich die Protagonisten in Castellanos Moyas Romanen in pasiones [5]. Diese äußern sich in Alkoholismus, Trivialität, Chauvinismus, und eine generelle Verrohung, die alle [...] como para hacer una colecta a fin de conseguir los fondos necesarios para un entierro digno [...]. 5. Beschreibung der gegnerischen Parteien In: El asco S.26: [Vega] Y sólo he estado quince días […], quince [...] confianza. Más tarde, [...] cuando ella dormitaba tendida boca abajo, le hice un orificio en la espalda . 5. Zusammenfassung Die Werke Horacio Castellanos Moyas erzählen Geschichten, in denen beide Erinnerun

    https://www.romanistik.uni-rostock.de/en/arbeitsbereiche/spanische-und-franzoesische-literaturwissenschaft/horacio-castellanos-moya/themen/buergerkrieg/

  5. Publikationen 2017

    Award) Henning Puttnies, Peter Danielis, Christian Koch, Dirk Timmermann: Java Extensions for OMNeT++ 5.0 In Proceedings of the OMNeT++ Community Summit 2017, pp. 38-42, arxiv.org/abs/1709.02823 , Bremen

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2017/

  6. PhDs completed

    Kossel Institut für Neuroregeneration, Universität Rostock, Germany) Project Rolf_A2: Effects of Wnt5a and Wnt7a on the differentiation of human neural progenitor cells Dr.-Ing. Youwei Zheng Phd student

    https://mosi.informatik.uni-rostock.de/en/forschung/abgeschlossene-projekte-eine-auswahl/grk-diem-osiris-engl/phds-completed/

  7. projects

    Dr. rer. nat. Dieter G. Weiss Scientific staff : M.Sc. Elke Carolin Calamia Rolf_A2 - Effects of Wnt5a and Wnt7a on the differentiation of human neural progenitor cells (Mar 01 2010 until Mar 01 2012)

    https://mosi.informatik.uni-rostock.de/en/forschung/abgeschlossene-projekte-eine-auswahl/grk-diem-osiris-engl/projects/

  8. Doktorandinnen Alumnae Jahrgang 2019

    in Washington D.C. Philip C. Jessup International Law Moot Court Wettbewerb, German National Rounds 5. Platz Mitgliedschaften: Atlas Women, Deutscher Juristinnenbund e.V. Mentorin: Prof. Dr. Juliane Kokott

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/karrierewegementoring/alumnae/doktorandinnen-alumnae-jahrgang-2019/

  9. Publications

    T. , & Hughes, C. M. L. (2016). The relation between measures of cognitive and motor functioning in 5- to 6-year old children. Psychological Research, 80 (4), 543-554. doi: 10.1007/s00426-015-0662-0 [Fulltext]

    https://www.isportwi.uni-rostock.de/en/institut/mitarbeitende/wissenschaftlich-mitarbeitende/tino-stoeckel/publications/

  10. Papers etc.

    high-harmonic generation J. Chem. Phys. 154, 094111 (2021) https://aip.scitation.org/doi/pdf/10.1063/5.0040879 A.S. Maxwell, G.S.J. Armstrong, M.F. Ciappina, E. Pisanty, Y. Kang, A.C. Brown, M. Lewenstein

    https://www.qtmps.physik.uni-rostock.de/en/forschung/qprop/papers-etc/

Displaying results 3731 to 3740 of 4879.
  • Previous
  • ...
  • 370
  • 371
  • 372
  • 373
  • 374
  • 375
  • 376
  • 377
  • 378
  • 379
  • ...
  • 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