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. Zweitägiges Einführungsseminar | Doktorandinnen
    10.10.2022, 9:00 am - 11.10.2022, 3:00 pm

    aufgenommen. Rostock: Di. 11.10.2022 , 10.00 bis ca. 15.00 Uhr im Seminarraum Theologie, Schwaansche Straße 5, Universität Rostock Referentinnen: Dr. Ulrike Marz, Ivette Döring

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/postdocs-junprofs-1/

  2. Latin exams

    können unter Entrichtung einer Gebühr als Externe das LATINUM am Sprachenzentrum ablegen. Vgl. Anlage 5 der Hochschulgebührenordnung Gebührenordnung In der Prüfung zum LATINUM muss der Bewerber nachweisen

    https://www.sprachenzentrum.uni-rostock.de/en/exams/final-examinations/latin-exams/

  3. Neuer Nährstoffanalyser installiert
    13.05.2011

    sehr gering. Der neue Analyser misst jeweils 2 Ionen gleichzeitig und mit höchster Genauigkeit (0,2-5 µmol l -1 Messbereich). Für eine Messung braucht er 2 min. Nun können wir nicht nur unser Langzeitmonitoring

    https://www.bsz.uni-rostock.de/en/aktuelles/detailansicht-der-news/n/neuer-naehrstoffanalyser-installiert-6965/

  4. Rostocker Autor liest aus Roman über Carl von Linné
    16.09.2022, 5:00 pm - 16.09.2022, 8:00 pm

    em zur Pflanzenbestimmung durchsetzen. Weitere Informationen: www.garten.uni-rostock.de Eintritt : 5,00 EUR Kontakt: Dr. Dethardt Götze Kustos des Botanischen Gartens Universität Rostock Institut für

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/rostocker-autor-liest-aus-roman-ueber-carl-von-linne/

  5. Bachelor Physik mit neuem Studienprogramm ab WS 2022/23
    21.07.2022

    Experimentalphysik 3 in diesem Semester behandelt. "Statistische Physik und Thermodynamik" wird im 5. FS, die "Spezielle Relativitätstheorie“ im 6. FS gelehrt. Im Wahlbereich sind Module mit insgesamt

    https://www.physik.uni-rostock.de/en/translate-to-english-neuigkeiten-und-highlights/translate-to-english-detailansicht-der-news/n/bachelor-physik-mit-neuem-studienprogramm-ab-ws-2022-23/

  6. Feigenblatt-Kürbis (Cucurbita ficifolia)

    gefärbt ist. Die oval-rundlichen Früchte erreichen einen Durchmesser von ca. 20 cm und ein Gewicht von 5 bis 6 kg. In jeder Frucht werden etwa 500 schwarze Samen produziert. Die hell- oder dunkelgrünen Früchte

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2022/feigenblatt-kuerbis-cucurbita-ficifolia/

  7. Dreimasterblaum (Tradescantia sillamontana)

    Dröchnis oewerduern. In de Sommermaande kamen rosa-vigelette Bläuten rut, de einen Dörchmesser von 1,5 cm hemmen können. Sei warden von lowwbläderähnliche Hochbläder ümgäben. De Plant is nich winterhart

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/dreimasterblaum-tradescantia-sillamontana/

  8. Tag der Mathematik am 25. Mai – „x!*x=600 Jahre Universität Rostock“ am x*x.x.
    15.05.2019

    Jahrgangsstufen, Eltern sowie Mathematiklehrerinnen und -lehrer. Schülerinnen und Schüler der 4. und 5. Klassen können sich auch wieder am Mathematik-Wettbewerb „Pokal des Rektors“ beteiligen mit anschließender

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/tag-der-mathematik-am-25-mai-xx600-jahre-universitaet-rostock-am-xxx-46687/

  9. VERANSTALTUNGSHINWEIS: MVpreneur Day 2019 | 5. Juni | Ulmencampus Rostock
    28.05.2019

    Am 5. Juni 2019 findet ab 13 Uhr der 8. MVpreneur Day auf dem Campus Ulmenstraße 69 der Universität Rostock statt. Unter dem Motto: „Start-up-Festival“ teilen junge Ideenträger/innen aus dem ganzen Land

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/veranstaltungshinweis-mvpreneur-day-2019-5-juni-ulmencampus-rostock-47571/

  10. Internationaler Tag der Universität Rostock online
    06.05.2021

    treten. Abgerundet wurde das Programm durch die Lokale Erasmus Initiative (LEI). Studierende, die am 5. Mai nicht dabei sein konnten, haben die Möglichkeit einige aufgezeichnete Teile der Veranstaltung im

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/internationaler-tag-der-universitaet-rostock-online/

Displaying results 1471 to 1480 of 4868.
  • Previous
  • ...
  • 144
  • 145
  • 146
  • 147
  • 148
  • 149
  • 150
  • 151
  • 152
  • 153
  • ...
  • 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