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. Erschließung und Digitalisierung des Nachlasses von Oluf Gerhard Tychsen (1734-1815)
    25.01.2017, 3:00 pm - 25.01.2017, 4:15 pm

    che Sprachen und Bibliothekar an den Universitäten Bützow und Rostock wirkte. Hauptthemen des etwa 5.000 Stücke umfassenden Nachlasses sind neben jüdischer Geschichte und Tradition insbesondere islamische

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/erschliessung-und-digitalisierung-des-nachlasses-von-oluf-gerhard-tychsen-1734-1815-5329/

  2. Archiv-News

    des Departments Leben, Licht & Materie (LL&M) der Universität Rostock hat sich am 19. Januar 2018 zum 5. Workshop im… read more 25.11.2017 Ein MRT für Forscher im Maschinenbau Ein MRT im Maschinenbau? „Ja“

    https://www.inf.uni-rostock.de/en/archiv-news/

  3. Vorstellung der Seminare und Projektveranstaltungen

    Parzyjegla) English Version Data Provenance-Tools (T. Auge) Zusatzangebot für B.Sc. Informatik (ab 5. Semester) & M.Sc. Informatik Lecture Series on Quantum Information (Regularien zur Anrechnung des Moduls

    https://www.informatik.uni-rostock.de/en/studium-lehre/vorstellung-der-seminare-und-projektveranstaltungen-1/

  4. Das Jahr 2002

    en der Universität Rostock. Fotos: Seniorenakademie Biosphäre-Schaalsee Tour "Mensch und Natur" am 5. Juni 2002 Die Tour zum Schaalsee führte die Teilnehmenden zum Uhlenhof. Es wurde altertümliches bestaunt

    https://www.rsa.uni-rostock.de/en/bildergalerie/die-2000er/das-jahr-2002/

  5. Rogozhina_2017

    climate conditions, such as inferred for the Pliocene and Marine Isotope Stages 11c (420 - 400 ka) and 5e (124 - 119 ka), providing analogs for the EAIS response to anticipated future climate warming. DFG

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/physics-chemistry/rogozhina-2017/

  6. Subproject 3: Ab initio simulations for thermophysical properties of molecular HCNO mixtures

    the development of novel evolution and layer-formation models for Neptune-like planets in subproject 5. Thermal conductivity of fluid water at high temperature. Dashed lines show the contribution of electrons

    https://www.for2440.uni-rostock.de/en/projects/subproject-3-ab-initio-simulations-for-thermophysical-properties-of-molecular-hcno-mixtures/

  7. VETteach Conference

    learners: measures on how teachers can support learners in career guidance and career management. (5) Integration: ways in which teacher training can promote the integration of disadvantaged groups. (6)

    https://www.ibp.uni-rostock.de/en/vetteach-conference/

  8. Stipendium für Doktoranden und Postdoktoranden zur Forschung in Japan
    08.03.2019

    2019 : https://www.daad.de/ausland/studieren/stipendium/de/70-stipendien-finden-und-bewerben/?status=5&target=31&subjectGrps=&daad=&q=&page=1&detail=10000361 Postdoktoranden mit Aufenthaltsdauer ab 6 Monate:

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/stipendium-fuer-doktoranden-und-postdoktoranden-zur-forschung-in-japan-43391/

  9. Kurzanleitung zum Aufbau einer FTPS-Verbindung

    Reiter " Transfer-Einstellungen " und klicken Sie anschließend auf " Passiv " wie im Bild dargestellt. 5. Klicken Sie auf den OK-Knopf. Schritt 2: Verbindung mit dem FTPS-Server herstellen 1. Klicken Sie auf

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/universitaetsweite-dienste/ftps-server/kurzanleitung-zum-aufbau-einer-ftps-verbindung/

  10. Online-Veranstaltungen zu den US-Wahlen
    02.11.2020

    Der LpB Onlinetalk: Die USA haben gewählt. Was nun? (04.11.2020, 18:00-19:30 Uhr) Am Donnerstag, den 5. November 2020, wird Prof. Wolfgang Muno, Lehrstuhlinhaber für Vergleichende Regierungslehre am IPV

    https://www.ipv.uni-rostock.de/en/aktuelles/detailansicht-der-news/n/online-veranstaltungen-zu-den-us-wahlen-78703/

Displaying results 1891 to 1900 of 4797.
  • Previous
  • ...
  • 186
  • 187
  • 188
  • 189
  • 190
  • 191
  • 192
  • 193
  • 194
  • 195
  • ...
  • 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