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

4868 Results:

  1. 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/

  2. 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/

  3. 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/

  4. 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/

  5. 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/

  6. Team

    analysis and balancing in aquaponic systems Contact Phone: 0381-4983739 Send E-Mail Office: Room 1.5, building LAG 1 M. Sc. Berit Wasenitz Research associate Degrees: Dipl. -Ing (FH) Food Technology M

    https://www.auf.uni-rostock.de/en/professorships/agricultural-area/aquaculture-and-sea-ranching/team/

  7. Förderphase 3

    und Wiederherstellungschirurgie Förderphase 1 Förderphase 2 Förderphase 3 Förderphase 4 Förderphase 5 Good-Practice-Beispiele

    https://www.roc.uni-rostock.de/en/foerderfonds-carpe-digitale/foerderphase-3/

  8. Jahresfachtag "Alte Sprachen"

    im Anschluss noch zu einer Mitgliederzusammenkunft des DAV M-V Jahresfachtag "Alte Sprachen 2016 Am 5. März fand der Verbandstag der Alten Sprachen 2016 mit dem Thema „Reisen in der Antike“ in unserem Hause

    https://www.altertum.uni-rostock.de/en/institut/faecher/fachdidaktik-der-alten-sprachen/jahresfachtag-alte-sprachen/

  9. Lysimeterstation

    Höhe, Lufttemperatur (in °C) am Boden, Bodentemperatur (in °C) an der agrarmeteorologischen Station in 5 cm Tiefe, Bodentemperatur (in °C) an der Feldmessstation unter einem Grasbestand in 7 verschiedenen

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/hydrologie-und-angewandte-meteorologie/forschung/lysimeterstation/

  10. Beutin, Johanna

    der Future Skills. Didacticum - Zeitschrift für (Fach)Didaktik in Forschung und Unterricht. Ausgabe 5/1/2024. Beutin, J. , Arndt, M., Neumann, L. & Blumenthal, S. (2024). Fachfremdes Unterrichten im We

    https://www.igsp.uni-rostock.de/en/institut/personen/wissenschaftliche-mitarbeitende/beutin-johanna/

Displaying results 3201 to 3210 of 4868.
  • 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