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

4877 Results:

  1. 5. Rostocker Großmotorentagung am 13./14.09.2018
    04.09.2018

    Veranstaltungslink

    https://www.msf.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/5-rostocker-grossmotorentagung-am-13-14092018-33901/

  2. Disputation (Dissertations-Verteidigung), Katharina Romoth 31.01.2020, 5 pm
    31.01.2020, 5:00 pm - 31.01.2020, 6:30 pm

    Baltic TRANSCOAST PhD-Student Katharina Romoth will defend her thesis. Title: „Einfluss landseitiger Stoffeinträge und Salinitätsschwankungen auf das Makrophytobenthos im Flachwasser der Ostsee“ Lectu

    https://www.baltic-transcoast.uni-rostock.de/en/news/news-2020-2017/events/detailansicht-des-events/n/disputation-dissertations-verteidigung-katharina-romoth-31012020-5-pm-57923/

  3. Disputation (Dissertations-Verteidigung), Fouzia Haider, 06.12.2019, 5 pm
    06.12.2019, 5:00 pm - 06.12.2019, 6:30 pm

    “Bioenergetics-mediated effects of multiple stressors on a dominant bivalve in the shallow coastal waters of the Baltic Sea” Hörsaal 001 „Hans Spemann“ des IfBi, Albert-Einstein-Straße 3

    https://www.baltic-transcoast.uni-rostock.de/en/news/news-2020-2017/events/detailansicht-des-events/n/disputation-dissertations-verteidigung-fouzia-haider-06122019-5-pm-56395/

  4. 5. Internationale Uwe Johnson-Tagung: Twenty-five Years with J. – Die ersten 25 Jahre Johnson-Jahrbuch
    29.05.2018

    Vom 1. bis zum 3. Juni 2018 findet im Rostocker Rathaus eine internationale Tagung zu Uwe Johnson statt. Sie wird von der Uwe Johnson-Gesellschaft in Zusammenarbeit mit der Uwe Johnson-Forschungsstell

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/5-internationale-uwe-johnson-tagung-twenty-five-years-with-j-die-ersten-25-jahre-johnson-jahrbuch-29711/

  5. 1,5 km Bücher und Zeitschriften der Fachbibliothek Altertumswissenschaften ziehen um
    30.01.2019

    Die Universitätsbibliothek Rostock ist derzeit auf 10 Standorte innerhalb Rostocks verteilt. Ab dem 18. Februar 2019 erfolgt der Umzug der Fachbibliothek Altertumswissenschaften an den Standort Fachbi

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/15-km-buecher-und-zeitschriften-der-fachbibliothek-altertumswissenschaften-ziehen-um-41795/

  6. Internationaler Tag am 10.5.2017
    09.05.2017

    Sehr geehrte MitarbeiterInnen der Universität Rostock, sehr geehrte Damen und Herren, das Rostock International House veranstaltet am 10. Mai 2017 den alljährlichen Internationalen Tag . Ab 13:00 Uhr

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/n/internationaler-tag-am-1052017-31835/

  7. Einladung zur Antrittsvorlesung am 5. April 2018
    05.04.2018, 5:00 pm

    Mit der Entwicklung des Ozongenerators durch Werner Siemens im Jahre 1857 begann eine Ära, die bis in unsere heutige Zeit anhält: Die Nutzung nicht-thermischer Plasmen für die chemische Stoffwandlung.

    https://www.mathnat.uni-rostock.de/en/aktuelles-veranstaltungen/veranstaltungen/aktuelle-veranstaltungen/detailansicht-des-events/n/einladung-zur-antrittsvorlesung-am-5-april-2018-25917/

  8. White_Paper_BWL_DL_Leyer_Vol2_Nr5.pdf

    storages/uni-rostock/Alle_WSF/IBWL/BWL_Dienstleistungen/White_Paper_BWL_DL_Leyer_Vol2_Nr5.pdf

  9. Praktikum5_Loes.pdf

    storages/uni-rostock/Alle_MNF/Chemie_Boeck/Lehrmaterialien/Lehrmaterialien/Uebungsaufgaben/Praktikum5_Loes.pdf

  10. Praktikum5_Aufg.pdf

    storages/uni-rostock/Alle_MNF/Chemie_Boeck/Lehrmaterialien/Lehrmaterialien/Uebungsaufgaben/Praktikum5_Aufg.pdf

Displaying results 3831 to 3840 of 4877.
  • Previous
  • ...
  • 380
  • 381
  • 382
  • 383
  • 384
  • 385
  • 386
  • 387
  • 388
  • 389
  • ...
  • 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