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

4782 Results:

  1. Projekt Tychsen

    ndkatalog sowie die Digitalisierung des gesamten handschriftlichen Nachlasses. Insgesamt sind etwa 5.000 Einzeldokumente zu katalogisieren und ca. 50.000 digitale Images zu erstellen. DFG-Projektnummer

    https://www.ub.uni-rostock.de/en/universitaetsbibliothek/kooperationen/projekte/projekt-tychsen/

  2. Aktuelle Veranstaltungen

    gerüstet ist – Talkthema zum Start der 4. UNI IM RATHAUS-Staffel auf der Hanse Sail 2024,… 1 2 3 4 5 … ❯

    https://www.inf.uni-rostock.de/en/wkt/veranstaltungen/aktuelle-veranstaltungen/

  3. Research focus

    thermal characterization of high-blocking power semiconductors are available, reaching voltages up to 5kV and currents into the double-digit and for fault studies, also into the triple-digit kA range. Component

    https://www.iee.uni-rostock.de/en/research/power-electronics-and-electrical-drives-lea/research-focus-1/

  4. Windows

    administrativen Benutzers Administrative Rechte ohne Administrator Passwort 2. Regel 3. Regel 4. Regel 5. Regel Kurzanleitung Grundregeln für das sichere Arbeiten als Administrator auf Windows-Systemen Erzwingen

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/

  5. Vortrag: „Vom Ringen um das Wort Gottes auf Niederdeutsch im Zeitalter der Reformation." – online
    15.12.2020, 5:15 pm - 15.12.2020, 6:45 pm

    Semester online auf BigBlueButton statt. Unter https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5 können Kontakt: Annika Bostelmann Arbeitskreis mediävistischer NachwuchswissenschaftlerInnen Universität

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/vortrag-vom-ringen-um-das-wort-gottes-auf-niederdeutsch-im-zeitalter-der-reformation-online-81086/

  6. Vortrag im Rahmen der Reihe „Kultur im Kloster“ am 15. Dezember 2020 um 17.15 Uhr (online)
    09.12.2020

    dieses Mal online auf BigBlueButton statt. Unter https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5 können Sie zur angegebenen Zeit einfach per Browser an den Veranstaltungsterminen teilnehmen. Eine Übersicht

    https://www.germanistik.uni-rostock.de/en/institut/aktuelles/aktuelle-informationen-des-instituts/detailansicht-der-news/n/vortrag-im-rahmen-der-reihe-kultur-im-kloster-am-15-dezember-2020-um-1715-uhr-online-81058/

  7. Vortrag im Rahmen der Reihe „Kultur im Kloster“ am 15. Dezember 2020 um 17.15 Uhr (online)
    09.12.2020

    dieses Mal online auf BigBlueButton statt. Unter https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5 können Sie zur angegebenen Zeit einfach per Browser an den Veranstaltungsterminen teilnehmen. Eine Übersicht

    https://www.geschichte.uni-rostock.de/en/aktuelles/newssytem/aktuelles-des-hi/detailansicht-der-news/n/vortrag-im-rahmen-der-reihe-kultur-im-kloster-am-15-dezember-2020-um-1715-uhr-online-81060/

  8. Universitätsjubiläum 2019 – Bitte vormerken!
    15.06.2018

    Südstadtcampus gegen 21 Uhr aus. Insgesamt wird es im Jubiläumsjahr fünf Höhepunkte geben: 22. März bis 5. Mai 2019 Multimediale Ausstellung „Experiment Zukunft“ in der Kunsthalle Rostock (freier Eintritt für

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/n/universitaetsjubilaeum-2019-bitte-vormerken-32055/

  9. Universität Rostock sammelte 10.500 Euro für Vogelpark Marlow
    11.05.2018

    10.500 Euro kamen bei einer Benefizveranstaltung der Universität Rostock am 5. Mai 2018 für den Vogelpark Marlow zusammen. „Ich bin einfach nur stolz“, sagt Dr. Petra Wolf, Professorin für Ernährungsp

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/universitaet-rostock-sammelte-10500-euro-fuer-vogelpark-marlow-28953/

  10. Wissenschaftliche Mitarbeiterin der Universität Rostock für ehrenamtliches Engagement ausgezeichnet
    28.05.2018

    will. Die Ernennung zum „Botschafter der Wärme“ ist mit einer finanziellen Unterstützung von jeweils 5.000 Euro verbunden, mit denen die Botschafter ihre Vereinsprojekte voranbringen sollen. Die „Botschafter

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/wissenschaftliche-mitarbeiterin-der-universitaet-rostock-fuer-ehrenamtliches-engagement-ausgezeichnet-29619/

Displaying results 2411 to 2420 of 4782.
  • Previous
  • ...
  • 238
  • 239
  • 240
  • 241
  • 242
  • 243
  • 244
  • 245
  • 246
  • 247
  • ...
  • 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