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. Instantaneous Soundness Checking - Test of Time Award 2019 Runner-Up
    10.09.2019

    Informatik wurden mit einem "Test of Time Award 2019 Runner Up" ausgezeichnet. Der Preis wurde am 5. September 2019 im Rahmen der International Conference of Business Process Management verliehen. Mit [...] Science were honored with a "Test of Time Award 2019 Runner Up". The title was awarded on September 5, 2019 on occasion of the International Conference of Business Process Management. The test of time award

    https://www.informatik.uni-rostock.de/en/news/detailansicht-der-news/n/instantaneous-soundness-checking-test-of-time-award-2019-runner-up-64067/

  2. Instantaneous Soundness Checking - Test of Time Award 2019 Runner-Up
    10.09.2019

    Informatik wurden mit einem "Test of Time Award 2019 Runner Up" ausgezeichnet. Der Preis wurde am 5. September 2019 im Rahmen der International Conference of Business Process Management verliehen. Mit [...] Science were honored with a "Test of Time Award 2019 Runner Up". The title was awarded on September 5, 2019 on occasion of the International Conference of Business Process Management. The test of time award

    https://theo.informatik.uni-rostock.de/en/news/detailansicht-der-news/n/instantaneous-soundness-checking-test-of-time-award-2019-runner-up-51443/

  3. Fotos von der Feierlichen Zeugnisübergabe 2018
    23.11.2018

    Telemann: kanonische Sonate Nr.1: Vivace, Adagio, Allegro Begrüßung: Prof. Dr. Oliver Kühn Belá Bartók: 5 aus den 44 Duos für 2 Violinen M.Sc. Helena Drüeke, B.Sc. Daniel Moos: Einfluss topologischer Randzustände [...] Spirituoso, Cantabile, Allegro assai Übergabe Zeugnisse Jean-Marie Leclair: Sonate e-moll Opus 3 Nr. 5 1. u. 2. Satz Elisa Eyßelein de Rodrigues und Marit Behnke (HMT)spielten Duos für Violine.

    https://www.physik.uni-rostock.de/en/translate-to-english-neuigkeiten-und-highlights/translate-to-english-detailansicht-der-news/n/fotos-von-der-feierlichen-zeugnisuebergabe-2018-37309/

  4. Innenstadtcampus: Fensterreinigung in den Gebäuden der gesamten Innenstadt
    16.06.2026, 7:00 am

    ng an folgenden Standorten vorgesehen: Schwaansche Straße 2, 3, 3a und 3b; Universitätsplatz 3, 5 und 5a; Neuer Markt 3; Am Reifergraben 4. Datum/Uhrzeit: Konkrete Ausführungstermine konnte uns die beauftragte

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=278803&cHash=84fdc757c1ae3137459f426ec00beb8f

  5. 2019

    athematik vom 5. Juli 2019 SPSO ( AB 40/2018 ) Nr. 34/2019 Erste Satzung zur Änderung der Studiengangsspezifischen Prüfungs- und Studienordnung für den Masterstudiengang Mathematik vom 5. Juli 2019 SPSO [...] den Masterstudiengang Chemie vom 5. Juli 2019 Nr. 32/2019 Studiengangsspezifische Prüfungs- und Studienordnung für den Masterstudiengang Schiffs- und Meerestechnik vom 5. Juli 2019 Nr. 31/2019 Erste Satzung [...] Engineering Science) vom 5. Juli 2019 SPSO ( AB 26/2017 ) Nr. 30/2019 Studiengangsspezifische Prüfungs- und Studienordnung für den Bachelorstudiengang Umweltingenieurwissenschaften vom 5. Juli 2019 Nr. 29/2019

    https://www.uni-rostock.de/en/universitaet/organisation/rechtsgrundlagen/amtliche-bekanntmachungen/2019/

  6. 2014

    Philosophischen Fakultät vom 5. Juli 2014 Erste Änderung ( AB 34/2017 ) Nr. 36/2014 Studiengangsspezifische Prüfungs- und Studienordnung für den Bachelorstudiengang Berufspädagogik vom 5. Juli 2014 Erste Änderung [...] Chemie vom 5. Juli 2014 gültig bis 331.03.2022 - neue SPSO ( AB 33/2019 ) Nr. 34/2014 Studiengangsspezifische Prüfungs- und Studienordnung für den Masterstudiengang Wirtschaftspädagogik vom 5. Juli 2014 [...] Wirtschaftspädagogik vom 5. Juli 2014 Nr. 27/2014 Erste Satzung zur Änderung der Studiengangsspezifischen Prüfungs- und Studienordnung für den Masterstudiengang Volkswirtschaftslehre vom 5. Juli 2014 SPSO ( AB

    https://www.uni-rostock.de/en/universitaet/organisation/rechtsgrundlagen/amtliche-bekanntmachungen/2014/

  7. Aspekte der Nachhaltigkeit ausgewählter Gehölzarten

    und trockenheitstolerant, in der Heimat sehr selten Park-, Gartenbaum Aralia elata Teufelskrückstock 5 m kulinarische Nutzung, hoher dekorativer Wert Park-, Gartenstrauch Aralia racemosa Amerikanische Narde [...] magnificum Pracht-Kuchenbaum 10 m hoher dekorativer Wert Park-, Gartenbaum Decaisnea fargesii Blaugurke 5 m hoher dekorativer Wert Park-, Gartenstrauch Eleutherococcus henryi Henrys Fingeraralie 3 m Medizi [...] anze, hoher dekorativer Wert Park-, Gartenstrauch Enkianthus perulatus Frühblühende Prachtglocke 2,5 m hoher dekorativer Wert Park-, Gartenstrauch Eucommia ulmoides Chinesischer Guttaperchabaum 20 m zähes

    https://www.garten.uni-rostock.de/en/studium-und-lehre/vertiefung-ausgewaehlter-themen/aspekte-der-nachhaltigkeit-ausgewaehlter-gehoelzarten/

  8. Podcasts

    en. Infos aus den ROCinaren In diesem Beitrag aus dem ROCinar zum Thema "Podcasts in der Lehre" (S5E5) erzählt Dennis Kranz (Stadtbibliothek Rostock) etwas über die Erstellung von Podcasts. Thematisch [...] Veröffentlichung von Podcasts. In diesem Beitrag aus dem ROCinar zum Thema "Podcasts in der Lehre" (S5E5) erzählt Silvia Retzlaff (ZLB) etwas über die OER Goldstandars beim Podcasting. Sie erläutert, worauf [...] Podcasts als OER nutzen möchte. In diesem Beitrag aus dem ROCinar zum Thema "Podcasts in der Lehre" (S5E5) stellen Christian Leistikow (Institut für Betriebswirtschaftslehre) und Saskia Badel ihre Erfahrungen

    https://www.roc.uni-rostock.de/en/andere/ur-roc/lehre-digital-gestalten/themenseiten/vorlage-themenseiten-2/

  9. Completed Doctoral Theses

    2013. 67. “Design and Synthesis of Pyrimidine C-Nucleosides, 5-Polyfluoroalkyl-5-deazaalloxazines and Spiro[pyrimido[4,5-b]quinoline-3',5-indoline-2'-one]-3,10-dihydro-2,4-diones”, Dr. Sergii Dudkin (Ukraine) [...] trichlormethylierten Cyclohexenonen. Synthese und Strukturaufklärung von 1,3,5,7-Tetraketiden und permethylierten 1,3,5-Tri- und 1,3,5,7-Tetraketiden.”, Dr. Silke Erfle (Germany), University of Rostock, 2011 [...] Knepper (Germany), University of Rostock, 2011. 55. “Neue Konzepte zum Einsatz von 1,3-Di-, 1,3,5-Tri- und 1,3,5,7-Tetracarbonylverbindungen in der organischen Synthese. Selektive Darstellung von Carba- und

    https://www.langer.chemie.uni-rostock.de/en/workgroup/alumni/completed-theses/abgeschlossene-promotionen/

  10. Internationale Open Access-Woche - 25./29. Oktober 2021
    26.10.2021 - 29.10.2021

    Daten anreichern; 29.10.2021, 13:30 Uhr: https://hu-berlin.zoom.us/meeting/register/u5Esce6orTgqHtw2PMVnUXEcKx8Aw6-s5ieU Interessant auch die stastende Veranstaltungsreihe „Lessons in Open Science“ an der [...] nachträglich frei zugänglich machen; 28.10.2021, 13:30 Uhr: https://hu-berlin.zoom.us/meeting/register/u5Yld-GgrT0iGtFqnprTK2sPD7AcQ-SizdWY Workshop: ORCID iD von 0 auf 100 in 90 Minuten – die eigene ORCID

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/internationale-open-access-woche-25-29-oktober-2021/

Displaying results 211 to 220 of 4883.
  • Previous
  • ...
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • ...
  • 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