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. Degree Students

    Oral Expression. Each of the categories is assessed with a TestDaF level (TDN) from TDN 3 to TDN 5, with TDN 5 being the highest level to be achieved. At the University of Rostock, the TestDaF levels are [...] 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

    https://www.uni-rostock.de/en/study/international-students/degree-students/

  2. publication

    Derived From Sentinel‐2 Data: Along the MOSAiC Drift and Arctic‐Wide. Geophysical Research Letters 50 (5): e2022GL102102. Ognev I, Ebbing J, Lösing M, Nurgaliev D. 2023. The thermal state of Volgo–Uralia from [...] al. 2022. Greenland Geothermal Heat Flow Database and Map (Version 1). Earth System Science Data 14 (5): 2209-2238. Gutt J, Arndt S, Barnes DKA, Bornemann H, Brey T, et al. 2022. Reviews and syntheses: A [...] Marshall GJ, Colwell S, Arndt S, Allen‐Sader C, et al. 2022. The Performance of the ERA‐Interim and ERA5 Atmospheric Reanalyses Over Weddell Sea Pack Ice. Journal of Geophysical Research: Oceans 127 (9):

    https://www.spp-antarktisforschung.de/en/research/fachbereiche/physics-and-chemistry/translate-to-english-publikationen/

  3. Heimat macht Schule

    Berufe_frueher_und_heute.pptx 39 MB Fragebogen_zur_Evaluation.pdf 31 KB Handreichungen_fuer_Lehrkraefte.pdf 5 MB Kulturhistrische_Muserum_-_komplett1.pdf 14 MB Der_Hufschmied.pdf 148 KB Der_Hufschmied_einfacher__1_

    https://www.igsp.uni-rostock.de/en/institut/lehrprojekte-am-igsp/heimat-macht-schule/

  4. University of Rostock Physicist Awarded an Advanced Grant from the European Research Council
    31.03.2023

    of 218 scientific projects selected for funding by the European Research Council this year. The €2.5 million grant will foster Goulielmakis and his team’s high-risk, high gain research at the interface

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/physiker-der-universitaet-rostock-erhaelt-einen-der-renommiertesten-forschungspreise-in-europa/

  5. University of Rostock Physicist Awarded an Advanced Grant from the European Research Council
    31.03.2023

    of 218 scientific projects selected for funding by the European Research Council this year. The €2.5 million grant will foster Goulielmakis and his team’s high-risk, high gain research at the interface

    https://www.physik.uni-rostock.de/en/translate-to-english-neuigkeiten-und-highlights/translate-to-english-detailansicht-der-news/n/physiker-der-universitaet-rostock-erhaelt-einen-der-renommiertesten-forschungspreise-in-europa-1/

  6. Gymnasiales Schulzentrum „Felix Stillfried“ Stralendorf

    g zu einem binnendifferenzierten inklusiven Schulzentrum Fremdsprachenfächer o Englisch (ab Klasse 5) o Französisch, Latein, Spanisch (ab Klasse 7, alle auch als 2. Fremdsprache in der Regionalschule)

    https://www.zlb.uni-rostock.de/en/landpraktikummv/partnerschule/gymnasiales-schulzentrum-felix-stillfried-stralendorf/

  7. Elektrochemie

    Modell zu Versuch 9 - CuCl 2 an Kohleelektroden 4. Modell zu Versuch 11 - CuCl 2 an Kupferelektroden 5. Modell zu Versuch 11 - CuCl 2 an Kupferelektroden (ohne Reverse) 6. Modell zu Versuch 13 - Hittorf

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/chemie-fuers-leben-sek-ii/elektrochemie/

  8. Quality Assurance

    - an Indispensable Task Important Instruments of Quality Assurance Accreditation at intervals of 3-5 years by the AKS Course evaluations Participation in the Senate Commission for Studies, Teaching and

    https://www.sprachenzentrum.uni-rostock.de/en/about-us/overview/quality-assurance/

  9. Open-BIM (BBSR)

    Information Model In Proceedings of the 3rd IEEE Global Conference on Internet of Things (GCIoT), pp. 1-5, ISBN: 978-1-7281-4873-1, DOI: 10.1109/GCIoT47977.2019.9058404, Dubai, United Arab Emirates, Dezember

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/open-bim-bbsr/

  10. News1

    and walkers along the beach promenade to the information board of Saturn, which is actually around 1.5 billion kilometers away from the sun. The 8 km route turned around near Wilhelmshöhe and the information

    https://www.hed.physik.uni-rostock.de/en/start/news1/

Displaying results 2681 to 2690 of 4868.
  • Previous
  • ...
  • 265
  • 266
  • 267
  • 268
  • 269
  • 270
  • 271
  • 272
  • 273
  • 274
  • ...
  • 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