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

4883 Results:

  1. Kursangebot - Details

    Anmeldung Onlinereihe: Computerprofi in den MINT-Fächern in 6 Schritten — 5|6 Onlinereihe: Computerprofi in den MINT-Fächern in 6 Schritten — 5|6 Tauchen Sie ein in die faszinierende Welt der digitalen Bildgestaltung [...] Fächerübergreifende Lehr-/Lernmethoden 4. „Dive in“: Formeln und Rechnungen in Mathe, Physik und Chemie 5. Aufgaben mit Beispielen und Lösungen Sie können sich entweder für einzelne Teile oder für die ganze [...] aufzeichnen 3. Daten vorbereiten und evtl. verrechnen 4. Streudiagramm mit Tabellensoftware erstellen 5. wissenschaftliches Diagramm mit LaTeX aus Vorlagen anfertigen Sie können sich entweder für einzelne

    https://www.lfbz.uni-rostock.de/en/kursangebot/kursangebot-details/

  2. Publikationen aus der Arbeitsgruppe

    gik, 67 (5), 133-149. Voß, S., Diehl, K., Sikora, S. & Hartke, B. (2016). Inklusiver Mathematik- und Deutschunterricht im Rügener Inklusionsmodell (RIM). Zeitschrift für Heilpädagogik, 67 (5), 119-132 [...] Eine empirische Analyse eines Systems zur Strukturierung von Wortschätzen. Forschung Sprache,10(2), 5-18. Schurig, M., Blumenthal, S. & Gebhardt, M. (2022). Continuous norming in learning progress monitoring [...] DeVries, J. M., Gebhardt, M. F. & Voß, S. (2017). An assessment of measurement invariance in the 3- and 5-factor models of the Strengths and Difficulties Questionnaire: New insights from a longitudinal study

    https://www.rim.uni-rostock.de/en/publikationen-literatur/publikationen-aus-der-arbeitsgruppe/

  3. Publications

    dynamics in response to environmental change. Journal of Geophysical Research: Biogeosciences , 129 (5), e2024JG008001. Berg, S., Wagner, B., Bennike, B., Leicher, N., Kappelsberger, M., Heidrich-Meisner [...] the uncertainty of sea-ice area and sea-ice extent from satellite retrievals. The Cryosphere , 18 (5), 2473-2486. Wild, C. T., Drews, R., Neckel, N., Lee, J., Kim, S., Han, H., Lee, W. S., Helm, V., Rosier [...] Mengel M. 2019. Stabilizing the West Antarctic Ice Sheet by surface mass deposition. Science advances 5 (7): eaaw4132. Gong D, Fan X, Li Y, Li B, Zhang N, et al. 2019. Coring of antarctic subglacial sediments

    https://www.spp-antarktisforschung.de/en/research/fachbereiche/geological-sciences/translate-to-english-publikationen/

  4. Task and Domain-specific Assistance Systems

    - A Driving Simulator Study. In: Proceedings of the 33rd IEEE Intelligent Vehicles Symposium, June 5-9 2022, Aachen, Germany, pp. 729–733. Driesen-Micklitz, T.; Fellmann, M.; Röcker, C. (2022): Human-centered [...] MCI-WS10: 9th Workshop Automotive HMIs: Natural and Adaptive UIs to Support Future Cars. September 5. –8., 9 Pages. Mucha, H.; Robert, S.; Breitschwerdt, R.; Fellmann, M. (2021): Interfaces for Explanations [...] Intelligence (KI 2020), Bamberg, Germany, September 21, 2020 (Virtual Workshop). CEUR-WS.org (vol. 2796), 5 Pages. Rosenberger, M.; Fellmann, M.; Lambusch, F.; Poppe, M.; Spitzer, M. (2020): Zur Messung des

    https://www.wirtschaftsinformatik.uni-rostock.de/en/research/research-focus/analytic-self-reflection-support-1-1/

  5. Fachschaftsrat

    du unter folgendem Link: www.uni-rostock.de/storages/uni-rostock/UniHome/Studium/5._Studienorganisation/5.1_Studienbeginn/5.1.3_Einfuehrungswoche_Erstsemester/Stundenplanerstellung_final.pdf Kolloquien besuchen [...] Universität Rostock. Für die Beantragung der Mensa-Card benötigst du deinen Studienausweis und 10 Euro (je 5 Euro Pfand bzw. Guthaben). Um die Karte für deine gesamte Studienzeit nutzen zu können, musst du sie

    https://www.altertum.uni-rostock.de/en/foerderverein-und-fachschaftsrat/fachschaftsrat/

  6. Termine im Überblick

    erradicar dichos males. (FILMAFFINITY) https://www.youtube.com/watch?v=aGPPr5FqYkU 5. Dezember 2024: El lugar de la otra (2024) 5. Dezember: El lugar de la otra (2024), drama. Dirección: Maite Alberdi Chile [...] antes que afrontar la soledad en Estados Unidos. (FILMAFFINITY) https://www.youtube.com/watch?v=ngl5wCDw840 Wann: 17.00 Uhr Wo: August-Bebel-Str. 28, Raum SR 4039 16. November 2023 – Lorena, la de pies

    https://www.romanistik.uni-rostock.de/en/aktuelles/italienische-filmreihe-cinema-italiano/spanflix-tertulia-de-cine/termine-im-ueberblick/

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

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

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

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

Displaying results 2671 to 2680 of 4883.
  • Previous
  • ...
  • 264
  • 265
  • 266
  • 267
  • 268
  • 269
  • 270
  • 271
  • 272
  • 273
  • ...
  • 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