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

4888 Results:

  1. Current

    outlines idealized pathways to limit warming below 2°C, yet record-high emissions in 2024 breached the 1.5°C threshold, underscoring the persistent gap between aspirational targets and real-world progress. Meanwhile [...] disruptions. Link: https://www.nature.com/articles/s44168-025-00224-7 Publication reference (April 2025) #5 The dispositif of a closed future and the paradoxical effects of the eco-emancipatory project Zierott

    https://www.isd.uni-rostock.de/en/theorie/aktuelles/

  2. Publications

    machines. In 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) . University of Rostock, June 2025. Peter Danielis, Helge Parzyjegla, and Stefan Lüdtke, editors. 5th European [...] Torres, Peter Danielis, and Frank Golatowski. Cooperative mission planning for autonomous vehicles. In 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) . University of Rostock [...] Business Information Processing , pages 54-69. Springer, September 2012. DOI: 10.1007/978-3-642-33281-4_5 . Nikolaus Jeremic, Gero Mühl, Anselm Busse, and Jan Richling. Dataset management aware software ar

    https://www.ava.uni-rostock.de/en/ava-research/publications/

  3. Publications

    and Subsequent Suzuki-Miyaura Reactions Revisited. The Products are Benzo[1,2-b;5,6-b']dithiophenes and not Benzo[1,2-b;4,5-b']dithiophenes. Adv. Synth. Catal., 354, 4, 731-739, 2012 S. Reimann, M. Sharif [...] for Selective Recognition of Fluoride Anion: A Spectroscopic and Theoretical Study R. Soc. open sci., 5, 18046, 2018 F. S. Menges, H. J. Zeng, T. Niemann, A. Strate, R. Ludwig, M. A. Johnson Elucidating the [...] Hydrogen: Photocatalytic Hydrogen Generation from Water with Molecular-Defined Iron Complexes Inorganics, 5 (1), 2017 M. Moghayedi, E. K. Goharshadi, K. Ghazvini, H. Ahmadzadeh, R. Ludwig, M. Namayandeh Jorabchi

    https://www.ludwig.chemie.uni-rostock.de/en/publications/publications/publications/

  4. 2022

    Berufsbildung in Finnland Der 5. Band der Rostocker Schriften der Berufspädagogik erscheint mit Artikeln von Lehramtstudierenden zum finnischen (Berufs-)bildungssystem. Die Beiträge des 5. Bandes der Rostocker [...] learners: measures on how teachers can support learners in career guidance and career management. (5) Integration: ways in which teacher training can promote the integration of disadvantaged groups. (6) [...] Arbeitstätigkeiten“ (TAG-MA) ist (auch) zur Beurteilung psychischer Belastungen bei der Arbeit gemäß § 5 ArbSchG geeignet und gibt wertvolle Hinweise zur gesundheitsförderlichen Arbeitsgestaltung. Zwei qualitative

    https://www.ibp.uni-rostock.de/en/aktivitaeten/2021-1/

  5. Veranstaltungsarchiv

    entdecken (September 2021) Altjiddisch lernen, edieren, entdecken (September 2021) Veranstaltungsreihe vom 5. bis 12. September mit Mare Balticum-Fellow Dr. Diana Matut Die Erschließung altjiddischer Texte der [...] Universitäten im In- und Ausland, darunter in Halle (Saale), Genua, Rom, Jerusalem, Toronto und Graz. Vom 5. bis 12. September öffnete die Rostock Old Yiddish Summer School für alle mit Interesse daran, Jiddisch [...] 2021) WKT-Vollversammlung inkl. Meet and Greet mit Department "Maritime Systeme" (Mai 2021) Termin: 5. Mai 2021, online WKT-Sprecherwechsel aufgrund personeller Veränderungen: Nachdem Prof. Dr. Soham Al-Suadi

    https://www.inf.uni-rostock.de/en/wkt/veranstaltungen/veranstaltungsarchiv/

  6. Kontakt

    Entwicklung, Lernen und Sprache im Rügener Inklusionsmodell (RIM). Zeitschrift für Heilpädagogik, 67 (5) , 104-118. *Marten, K., Voß, S. & Blumenthal, Y. (2016). Zur Anwendung des Nominierungsverfahrens als [...] Sekundarstufe I, Bergen auf Rügen. Classroom Management zur Förderung von Aufmerksamkeit und Motivation, 5. ISER Fachtagung, Universität Rostock, Zeitraum: 26.10.2013. Forschungsgebiete Forschungsprojekte Rügener [...] Entwicklung, Lernen und Sprache im Rügener Inklusionsmodell (RIM). Zeitschrift für Heilpädagogik, 67 (5) , 104-118. *Marten, K., Voß, S. & Blumenthal, Y. (2016). Zur Anwendung des Nominierungsverfahrens als

    https://www.igsp.uni-rostock.de/en/lehre/praktika/kontakt/

  7. Alle Filmtermine im Detail

    n. Organisation : Svea Dietz, Andrea Betti Dienstag, 5. Mai 2026: "Welcome Venice" (2021) Film: “Welcome Venice”; Regisseur: Andrea Segre Zeit: 5.5.26, 19 Uhr Ort: Philologicum, 2. Stock, Großer Hörsaal [...] in Italien als auch international Anerkennung findet. Dienstag, 5. Dezember 2023: "Gli studenti della Umberto Primo" (2021) Dienstag, 5. Dezember 2023, 19.00 Uhr Gli studenti della Umberto Primo (2021) [...] quadri attorno a Dante Alighieri (prodotto da Napoli Teatro Festival Italia) e il progetto Dante nei 5 Continenti (in collaborazione con il MAECI). Il lavoro di Martinelli ha vinto numerosi premi ed è stato

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

  8. Prof. Dr.-Ing. Bert Buchholz

    fuel type and photochemical aging" , (2025) Environmental Science: Atmospheres, 5 (9), pp. 973 - 986, DOI: 10.1039/d5ea00040h Saraji-Bozorgzad, M.R., Bendl, J., Jeong, S., Padoan, S., Mudan, A., Etzien [...] Single-Cylinder Engine, 20 th Symposium “Sustainable Mobility, Transport and Power Generation”, 4 th - 5 th September 2025, Graz, Österreich Schümann, U., Richter, M., Buchholz, B. “Besonderheiten bei der [...] "Development trends for air pollution reduction of large engines – on the way to a greener shipping", 4.-5. November 2019, 40. Duisburger Kolloquium Schiffstechnik / Meerestechnik, Duisburg Najar, I.; Stengel

    https://www.lkv.uni-rostock.de/en/team/department-leadership/prof-dr-ing-bert-buchholz/

  9. 2018

    Studienpreises 2018 in der Kategorie „Sozialwissenschaften“ ausgezeichnet worden. Sie erhielt die mit 5.000 Euro dotierte Auszeichnung für ihr Promotionsprojekt „Bildungsziel Ingenieur*in – Techniksozialisation

    https://www.iasp.uni-rostock.de/en/aktuelles/vorlage-aktuelles/archiv/2018/

  10. 2019

    Vorträge finden in der Aula des Universitätshauptgebäudes der Universität Rostock (Universitätsplatz 1-5, 18055 Rostock) statt und richten sich an alle Studierende und Lehrende der bildungswissenschaftlichen

    https://www.iasp.uni-rostock.de/en/aktuelles/vorlage-aktuelles/archiv/2019/

Displaying results 3471 to 3480 of 4888.
  • Previous
  • ...
  • 344
  • 345
  • 346
  • 347
  • 348
  • 349
  • 350
  • 351
  • 352
  • 353
  • ...
  • 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