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

4781 Results:

  1. RMB 3

    Ergebnisse des ökologischen Monitorings Greifswalder Bodden September 1993 bis März 1995. RMB (3) S. 5–68 [ pdf ] Vietinghoff, U., 1995, Zur Strategie der Meßwerterfassung im Programm "Ökologie Greifswalder

    https://www.oekologie.uni-rostock.de/en/rostocker-meeresbiol-beitraege/rmb-3/

  2. Lehrveranstaltungen

    licensed under the GNU Free Documentation License 1.2 or the Creative Commons Attribution ShareAlike 2.5 license.

    https://theo.informatik.uni-rostock.de/en/theo-lehre/lehrveranstaltungen/

  3. "The Greatest Show" Sommerkonzert CELEBRATE Rock Pop Gospel Chor
    20.07.2019, 8:00 pm - 20.07.2019, 12:00 am

    während des Semesters immer mittwochs im Arno-Esch-Hörsaal der Universität Rostock. Eintritt 8 Euro, 5 Euro ermäßigt Vorverkauf im Pressezentrum & in der StadtHalle (zzgl. VVK-Gebühren) www.celebrate-rostock

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/the-greatest-show-sommerkonzert-celebrate-rock-pop-gospel-chor-48513/

  4. Vortrag im Rahmen der Reihe „Kultur im Kloster“ am 26.Januar 2021 um 17.15 Uhr (online)
    22.01.2021

    Semester 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-26januar-2021-um-1715-uhr-online-83471/

  5. Vortrag im Rahmen der Reihe „Kultur im Kloster“ am 26.Januar 2021 um 17.15 Uhr (online)
    22.01.2021

    Semester 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-26januar-2021-um-1715-uhr-online-83467/

  6. Universitätsbibliothek Rostock nimmt den Ausleihbetrieb an vier Standorten unter Auflagen wieder auf
    08.05.2020

    Anzahl von Personen gleichzeitig in die Gebäude gelassen werden, um den vorgeschriebenen Abstand von 1,5 Metern einzuhalten. Abstandsmarkierungen und Leitsysteme helfen bei der Einhaltung des Mindestabstands

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/universitaetsbibliothek-rostock-nimmt-den-ausleihbetrieb-an-vier-standorten-unter-auflagen-wieder-auf-64511/

  7. Erschließung und Digitalisierung des Nachlasses von Oluf Gerhard Tychsen (1734-1815)
    20.01.2017

    che Sprachen und Bibliothekar an den Universitäten Bützow und Rostock wirkte. Hauptthemen des etwa 5.000 Stücke umfassenden Nachlasses sind neben jüdischer Geschichte und Tradition insbesondere islamische

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/erschliessung-und-digitalisierung-des-nachlasses-von-oluf-gerhard-tychsen-1734-1815-5299/

  8. News / Events

    offers an exchange between artists, scientists and the public. The artistic works… read more 13.02.2025, 5:00 pm QuantumYear2025: Jour Fixe with artists and scientists The Jour Fixe is part of the symposium

    https://www.limati.uni-rostock.de/en/news-/-events/

  9. Exkursion Wintersport - Ausbildung Ski Alpin und Snowboard

    Samstag möglich (Preis 11€) Ski- und Snowboardleihe (32 - 58€ je nach Umfang), sowie Nutzung Skidepot (5,50€) für je sechs Skitage sind möglich. Derzeit stehen die aktuellen Coronaregeln noch nicht fest. Bitte

    https://www.hochschulsport.uni-rostock.de/en/sportangebote/reisen/skireise/

  10. Neuer Webauftritt und weitere Kontaktmöglichkeiten zur Biologischen Station Zingst
    13.04.2017

    Login der Universität). Externe Interessenten lesen bitte auf der FAQ-Seite des Teamservers die Punkte 5 und 9 und fordern eine entsprechende Emailadresse an, die Sie mir weiterleiten. Sie finden uns unter

    https://www.bsz.uni-rostock.de/en/aktuelles/detailansicht-der-news/n/neuer-webauftritt-und-weitere-kontaktmoeglichkeiten-zur-biologischen-station-zingst-9235/

Displaying results 2051 to 2060 of 4781.
  • Previous
  • ...
  • 202
  • 203
  • 204
  • 205
  • 206
  • 207
  • 208
  • 209
  • 210
  • 211
  • ...
  • 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