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

4883 Results:

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

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

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

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

  5. White_Paper_BWL_DL_Leyer_Vol2_Nr5.pdf

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

  6. Praktikum5_Loes.pdf

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

  7. Praktikum5_Aufg.pdf

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

  8. Broschuere-eATA5-en.pdf

    storages/uni-rostock/Andere/Welcome_Center/Formalitaeten/Broschuere-eATA5-en.pdf

  9. NR_5_2008.pdf

    storages/uni-rostock/UniHome/Gremien/Rechtsgrundlagen/Amtliche_Bekanntmachungen/2008/NR_5_2008.pdf

  10. 2007_06_20_-_PM_IEF_-_Raus_aus_der_Schule_-_rein_in_die_Uni_-_5te_studienorientierte_Summer_School_an_der_Universitaet_Rostock.pdf

    storages/uni-rostock/Alle_IEF/IEF/Presseinformationen/2007_IEF/2007_06_20_-_PM_IEF_-_Raus_aus_der_Schule_-_rein_in_die_Uni_-_5te_studienorientierte_Summer_School_an_der_Universitaet_Rostock.pdf

Displaying results 3841 to 3850 of 4883.
  • Previous
  • ...
  • 381
  • 382
  • 383
  • 384
  • 385
  • 386
  • 387
  • 388
  • 389
  • 390
  • ...
  • 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