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

4793 Results:

  1. Kurzanleitung

    Kurzanleitung zur Umsetzung der 5 Grundregeln für den sicheren Betrieb von Windows-Systemen Melden Sie sich als administrativer Benutzer an Ihrem System an. Aktivieren Sie die Windows-Firewall, wie unter

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/fuenf-grundregeln-fuer-den-sicheren-betrieb-von-windows-systemen/kurzanleitung/

  2. Koordinator

    Tobias Götze deutungsmachtuni-rostockde tobias.goetzeuni-rostockde 0381-498-8468 Universitätsplatz 5 18055 Rostock Anthropologie als Feld von Deutungsmachtkonflikten Wer sich einen Überblick über die

    https://www.deutungsmacht.uni-rostock.de/en/kolleg/mitglieder/koordinator/

  3. Tobias Götze

    Tobias Götze +49 381 498 - 8468 tobias.goetzeuni-rostockde Universitätsplatz 5, 18055 Rostock Philosophical Anthropology as a Realm of Conflicts over the Power of Interpretation That human cognition is

    https://www.deutungsmacht.uni-rostock.de/en/kolleg/mitglieder/koordinator/tobias-goetze/

  4. CHE Hochschulranking 2023: Ergebnisse der Bachelorbefragung online für die Universität Rostock (10.05.2023)
    10.05.2023

    zeigte sich insgesamt eine weitgehende Zufriedenheit (fast alle Kategorien wurden mit mindestens 4 von 5 Sternen bewertet). Beim Thema Prüfungen (Wiederholungsmöglichkeiten für Prüfungen, zeitliche Verteilung

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news/detailansicht-der-news/n/che-hochschulranking-2023-ergebnisse-der-bachelorbefragung-online-fuer-die-universitaet-rostock-10052023-177175/

  5. Sicherheitsmechanismen für eingebettete Systeme im Smart Home Bereich

    ons & Networking Conference (CCNC), pp. 1-2, DOI: 10.1109/CCNC.2018.8319304, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, Januar 2018

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/sicherheitsmechanismen-fuer-eingebettete-systeme-im-smart-home-bereich/

  6. Internationale Studierende der Universität Rostock vom DAAD ausgezeichnet
    04.12.2017

    300 Euro dotierte Preis geht in diesem Jahr an den syrischen Masterstudenten Mohamad Albadawi, der im 5. Fachsemester im Studiengang Visual Computing studiert. Er gehört zu den leistungsstärksten Studierenden

    https://www.langer.chemie.uni-rostock.de/en/willkommen/aktuelles/meldungen/aktuelles/detailansicht-der-news/n/internationale-studierende-der-universitaet-rostock-vom-daad-ausgezeichnet-21501-1/

  7. Internationale Studierende der Universität Rostock vom DAAD ausgezeichnet
    04.12.2017

    300 Euro dotierte Preis geht in diesem Jahr an den syrischen Masterstudenten Mohamad Albadawi, der im 5. Fachsemester im Studiengang Visual Computing studiert. Er gehört zu den leistungsstärksten Studierenden

    https://www.langer.chemie.uni-rostock.de/en/news/news/detailansicht-der-news/n/internationale-studierende-der-universitaet-rostock-vom-daad-ausgezeichnet-21501/

  8. Kostenlos ins Volkstheater: Kabale und Liebe
    22.04.2018

    im Volkstheater Rostock KOSTEN? Die ersten 30 Karten sind kostenlos, jede weitere kostet symbolische 5 €/Person. Verbindliche Anmeldung ab 09.04.2018 bis spätestens Montag, den 16.04.2018 an: seraphin.f

    https://www.germanistik.uni-rostock.de/en/institut/aktuelles/aktuelle-informationen-des-instituts/detailansicht-der-news/n/kostenlos-ins-volkstheater-kabale-und-liebe-new65af0041b5bb5287844625/

  9. Goldenes Doktorjubiläum

    verteidigt hatten. Außerdem wurden Absolventen eingeladen, die 2009 noch nicht gefunden worden waren. Am 5. Juli 2012 führte die Mathematisch-Naturwissenschftliche Fakultät ihr Kolloquium als akademische Fe

    https://www.mathnat.uni-rostock.de/en/geschichte/aktuelles/aktuelle-ereignisse-und-informationen/2012/goldenes-doktorjubilaeum/

  10. Download von Dateien

    angezeigt werden. 4. Wählen sie das Verzeichnis oder die Datei aus, die sie wiederherstellen möchten. 5. Klicken Sie oben auf der Seite auf Download . 6. Es wird eine Meldung angezeigt, die besagt, dass der

    https://www.itmz.uni-rostock.de/en/onlinedienste/speicherdienste/backup-commvault/virtuelle-maschine/download-von-dateien/

Displaying results 1871 to 1880 of 4793.
  • Previous
  • ...
  • 184
  • 185
  • 186
  • 187
  • 188
  • 189
  • 190
  • 191
  • 192
  • 193
  • ...
  • 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