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. Häufig gestellte Fragen

    kannst du als Student:in für etwa 3-5 Euro Mittag essen. Wie sieht es mit Essensmöglichkeiten auf dem Campus aus? Die Rostocker Mensa Süd liegt auf dem Südstadt-Campus in 5-10 Gehminuten Entfernung vom Institut [...] veganen Optionen, und das Essen ist immer lecker! Studierende zahlen einen ermäßigten Preis von etwa 3-5 Euro für ein Mittagsgericht. Außerdem findest du verschiedene Supermärkte, Bäcker, Imbisse etc. in näherer

    https://www.chemie.uni-rostock.de/en/studium-lehre/studiengaenge/haeufig-gestellte-fragen/

  2. 1st semester

    Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to 1:00 p.m. | Phone: +49 381 498-1230 Office hours Ulmenstraße 69, House 3: Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to [...] can only be made by them. Please do not staple or clip the documents and submit them in at least A5 format. The submitted documents will be destroyed after processing. Therefore, in your own interest

    https://www.uni-rostock.de/en/study/german-prospective-students/enrolment/1st-semester/

  3. Tagungen

    on ATUS-Jahrestagung 2022 (Arbeitsgruppe Trainings von Unterrichts- und Sozialkompetenz) Am 4. und 5. März 2022 fand am Institut für Sonderpädagogische Entwicklungsförderung und Rehabilitation der Universität

    https://www.sopaed.uni-rostock.de/en/institut/das-iser/tagungen/

  4. Reaktionsmechanismen

    ischen Lösungen und den Verlauf dieser SN2-Reaktion" [Journal für praktische Chemie, Bd. 331, Heft 5 (1989), S. 709ff.] A. Flint et al. "Neue Ergebnisse zur alkalischen Hydrolyse von Alkylhalogeniden in

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/weitere-forschungsgebiete/reaktionsmechanismen/

  5. Audio

    Uhr Rostock" in October 2022. Aired 15.11.2023 in the "Kulturmagazin" program at 7:05 p.m.. Duration 5 min. Author: Ramon Gerwien. Audio file HERE with kind permission.

    https://www.aur.uni-rostock.de/en/table-of-contents/audio-and-video/audio/

  6. 2. Spieltags-Bericht 24.04.2024 (Sommersaison 2024) 
    29.04.2024

    Durch den Feiertag am kommenden Mittwoch, findet der nächste Spieltag der Uni-Liga erst wieder am 8.5.2024 statt. Wie gewohnt wird dann ab 16:00 Uhr der Ball an der Waldessaumsportanlage (Am Waldessaum

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/2-spieltags-bericht-uni-liga-fussball-24042024-sommersaison-2024-193379/

  7. Gohl_2023

    and connecting ice masses in its catchment hinterland would contribute to a sea-level rise of up to 1.5 to 2 m. Records of its behavior during past warm periods will provide constraints on this vulnerability

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/geological-sciences/gohl-2023/

  8. Kalenderblatt Juli 2013

    Harnack (1851-1888), 2. H. Bruns (1848-1919), 3. S. Günther (1848-1923), 4. A. Wangerin (1944-1933), 5. M. Krause (1851-1920), 6. Voss (1869?). Bemerkenswert ist der Hinweis auf einen sehr geeigneten siebten

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2013/kalenderblatt-juli-2013/

  9. Schriftenreihe

    e Untersuchung zur Erhöhung des Leistungsgrades vertraglicher Vertriebssysteme, Wiesbaden 1997 Bd. 5 Olandt, H.: Dienstleistungsqualität in Krankenhäusern – Operationalisierung und Messung der Patient

    https://www.bwl.uni-rostock.de/en/institut/lehrstuehle/dienstleistungsmanagement/promotion-habilitation/schriftenreihe/

  10. Downloads

    institutions abroad who are significantly involved in the project. New : → Please note points 6.4 and 6.5 of the new guidelines for submitting applications, in particular the reference to any agreements on

    https://www.spp-antarktisforschung.uni-rostock.de/en/organisation/application-process/downloads/

Displaying results 2821 to 2830 of 4797.
  • Previous
  • ...
  • 279
  • 280
  • 281
  • 282
  • 283
  • 284
  • 285
  • 286
  • 287
  • 288
  • ...
  • 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