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

4888 Results:

  1. People

    Helmholtz Centre for Environmental Research Staff members: In Rostock, positions for 4 PostDocs and 5 PhD students were created. In Greifswald, 3 full-time and 4 part-time positions for PostDocs and 3 positions

    https://www.wetscapes.uni-rostock.de/en/people/

  2. Rostocker Forscher finden Einfluss von Feinstaub auf Gehirnleistung
    09.02.2022

    Gesundheitsrisiko birgt, empfiehlt die WHO niedrigere Grenzwerte. Das bedeute eine Senkung von jetzt 25 auf 5 Mikrogramm pro Kubikmeter Luft im Jahresdurchschnitt. „Der Umstieg allein auf Elektroautos im Zuge der

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/rostocker-forscher-finden-einfluss-von-feinstaub-auf-gehirnleistung/

  3. Liste

    SIRENA (EU/ITEA/BMBF-Projekt SIRENA, Institut für Angewandte Mikroelektronik und Datentechnik) wird am 5. Oktober 2006 mit dem Achievement Award des Europäischen Programms »Information Technology for European

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2006/liste/

  4. Liste

    SIRENA (EU/ITEA/BMBF-Projekt SIRENA, Institut für Angewandte Mikroelektronik und Datentechnik) wird am 5. Oktober 2006 mit dem Achievement Award des Europäischen Programms »Information Technology for European

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2006/liste/

  5. Rudolphine Tables

    Triangle Doctrine with Square and Circle 4) Imperial Eagle; below: Uania - the Goddess of Astronomy 5) Logarithmica, the Goddess of Logarithms 6) Optica, the Optical Doctrine 7) Physica Lucidi et Pellucidi

    https://www.uni-rostock.de/en/university/history/anniversary-of-the-university-2019/information/tycho-brahe-exhibition/rudolphine-tables/

  6. Gefährdungsbeurteilung 2019-2023

    zumindest explizit seit 2013 Teil der gesamten psychischen und physischen Gefährdungsbeurteilung nach §5 Arbeitsschutzgesetz (ArbSchG). Wie bei allen anderen Gefährdungsfaktoren auch, reicht allerdings die

    https://www.uni-rostock.de/en/campusleben/gesundheit-und-sport/universitaeres-gesundheitsmanagement/statusgruppenspezifische-informationen/mitarbeitende/massnahmen-mitarbeitende/gefaehrdungsbeurteilung-2019-2023/

  7. Quint. inst. 1,3

    continuant, haec vultu interrito, nulla tardati verecundia proferunt: non multum praestant, sed cito; 5 non subest vera vis nec penitus inmissis radicibus nititur, ut quae summo solo sparsa sunt semina celerius

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/quint-inst-13/

  8. Wirtschaftspädagogik

    Informatik, Mathematik, Philosophie, Physik, Religion, Sozialkunde, Spanisch und Sport. Zwischen dem 4. und 5. Semester absolvieren Sie ein begleitetes Orientierungspraktikum im Bereich der beruflichen Bildung

    https://www.ief.uni-rostock.de/en/studieninteressierte/informieren/studienangebote-an-der-ief/wirtschaftspaedagogik/

  9. Dr. Ines Standfuß

    Measure with Evidence from Two European Megacities. ISPRS International Journal of Geo-Information 5:206. Taubenböck, H., I. Standfuß, M. Wurm, A. Krehl, and S. Siedentop. 2017. Measuring morphological

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/landschaftsoekologie-und-standortkunde/team/dr-ines-standfuss/

  10. Physik Cluster und Nanostrukturen

    the peak energy of this anion (3.74 eV) is higher than the small particle limit in Mie theory of 3.5 eV. Different methods to extract cross sections from the spectra are applied. In particular, we compare

    https://www.cluster-nano.physik.uni-rostock.de/en/

Displaying results 3201 to 3210 of 4888.
  • Previous
  • ...
  • 317
  • 318
  • 319
  • 320
  • 321
  • 322
  • 323
  • 324
  • 325
  • 326
  • ...
  • 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