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

4797 Results:

  1. Effects of cycling positions

    beginning of test trials. Participants were then instructed to continuously perform a series of three 5-min cycling sessions with workload levels of 100, 140 and 180 Watts, respectively. Cardiorespiratory

    https://www.isportwi.uni-rostock.de/en/forschung/biomechanik/projekte/effects-of-cycling-positions/

  2. Ahuurnblädrige Platan (Platanus x hispanica)

    kugelorrigen Köppen. Mit `ner Höch` von bet tau 45 m un mit Stämm, de `nen Dörchmesser von mihr as 1,5 m kriegen können, seihen de Böm bannig statsch ut. De winterharten Böm können `n bäten Afgas af un wassen

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/ahuurnblaedrige-platan-platanus-x-hispanica/

  3. Master-Arbeit

    Prüfungsausschuss die Bearbeitungsfrist ausnahmsweise um höchstens 4 Wochen verlängern. Gemäß § 25 (5) der Prüfungsordnung für den Master-Studiengang Chemie ist die Zulassung zur Masterarbeit schriftlich

    https://www.chemie.uni-rostock.de/en/studium-lehre/studium-aktuell/master-arbeit-2-2/

  4. Küstenmammutbaum (Sequioa sempervirens)

    Bestände vernichtet wurden. Im Botanischen Garten Rostock gibt es zwei im Jahr 2017 gepflanzte 3 und ca. 5 m hohe Küstenmammutbäume im Auwald unterhalb des oberen Teichs. Foto: Prof. Wilhelm Barthlott

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2022/kuestenmammutbaum-sequioa-sempervirens/

  5. Sie geht, um zu bleiben!
    04.08.2021

    für die sie den 2. Preis Deutscher Studienpreis (Sektion Sozialwissenschaften) der Körber Stiftung (5.000 Euro) erhielt, ist Dr. Lea Puchert der Universität treu geblieben und arbeitete weiter als wiss

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/sie-geht-um-zu-bleiben/

  6. Lageplan und Anfahrt

    Busliniennetz der RSAG ( zur Fahrplanauskunft ): vom Hauptbahnhof (Rostock Hbf): Straßenbahn Linie 5 - Richtung Südblick oder Linie 6 - Richtung Campus Südstadt jeweils bis Haltestelle E.-Schlesinger-Straße

    https://www.lmt.uni-rostock.de/en/footer/lageplan-und-anfahrt/

  7. Installation unter Linux

    nächsten Anweisungen. 3. Installation Directory: /opt --> Next 4. Log Directory: /var/log --> Next 5. Would you like to assign a dedicated Unix group? --> Standard: No 6. Client/Physical machine host name

    https://www.itmz.uni-rostock.de/en/onlinedienste/speicherdienste/backup-commvault/streaming-client/installation/installation-unter-linux/

  8. Silvia Holm

    Sukzessionsproblematik im römischen Palastkaisertum – im Spannungsfeld von Dynastie und Meritokratie vom 5. bis in das 7. Jahrhundert“ (Dissertationsprojekt betreut von Prof. Dr. Henning Börm)

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/silvia-holm/

  9. Externe Fördermöglichkeiten

    Einzelförderung Open Access-Zeitschriftenpublikationen mit 750 €/jährlich und Open Access-Monografien mit 5.000 €/jährlich. Auch andere Mittelgeber ermöglichen eine Finanzierung von Open Access Publikationen

    https://www.ub.uni-rostock.de/en/wissenschaftliche-services/open-access/open-access-foerdermoeglichkeiten/externe-foerdermoeglichkeiten/

  10. 16. Rostocker Firmenlauf
    27.06.2025

    -Vorpommern. Über 1 000 Teams mit mehr als 4 000 Teilnehmer*innen gingen in Staffeln auf die ca. 3,5 Kilometer lange Strecke entlang der Haedgehalbinsel. Der Hochschulsport Rostock war in diesem Jahr mit

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=243283&cHash=4d7ab0362930b515499c83a9ac2ece2f

Displaying results 1711 to 1720 of 4797.
  • Previous
  • ...
  • 168
  • 169
  • 170
  • 171
  • 172
  • 173
  • 174
  • 175
  • 176
  • 177
  • ...
  • 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