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

4868 Results:

  1. 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/

  2. Publications

    R. Schoch, H. Egold, J. Steube, F. R. Fischer, S. Lochbrunner and M. Bauer Dalton Trans. 25 (12), D5DT02915E (2026) involved projects: W06 Cross-Process Interference in Single-Cycle Electron Emission from [...] pper Perovskite Nanostripes S.B. Malani, E. Klein, R.M. Piehler, R. Lesyuk and C. Klinke Small 22 (5), e09443 (2026) involved projects: W05 Imaging domain boundaries of rubrene thin crystallites by ph [...] T. Völzer, R. Lange, K. Oldenburg, S. Lochbrunner, I. Barke and S. Speller Adv. Optical Mater. 14 (5), e02744 (2025) involved projects: W06 High-order harmonic generation in an organic molecular crystal

    https://www.limati.uni-rostock.de/en/publications/

  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 2871 to 2880 of 4868.
  • Previous
  • ...
  • 284
  • 285
  • 286
  • 287
  • 288
  • 289
  • 290
  • 291
  • 292
  • 293
  • ...
  • 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