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

4861 Results:

  1. AE22 - Konrad-Zuse-Haus

    Konrad-Zuse-Haus Albert-Einstein-Straße 22, 18059 Rostock Laborbesichtigung, Demonstrationen Alter: → ab 5 Jahre print(“Waffelstand”) Der Fachschaftsrat Informatik verkauft vor dem Konrad-Zuse-Haus (AE22) vegane

    https://www.ief.uni-rostock.de/en/studieninteressierte/oeffentliche-veranstaltungen/lange-nacht-der-wissenschaften/ae22-konrad-zuse-haus-1/

  2. Pflanze des Monats

    in rispigen oder traubigen Blütenständen. Die Blütenfarbe ist rosa, purpurn oder weiß. Sie können 2–5 cm Durchmesser erreichen. Die Anzahl der Kelchblätter beträgt 6–9. Die meist 6 wellig-krausen Kronblätter

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/

  3. Research Topics

    202100226. [link] Value-added chemicals from biomass-derived furans: radical functionalisations of 5-chloromethylfurfural (CMF) by metal-free ATRA reactions Rajesh Dasi, Daniel Schmidhuber, Lisa Marie

    https://www.brasholz.chemie.uni-rostock.de/en/research-topics/

  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. List of presentations

    Dieter Bauer High-Harmonic Generation in Topological Condensed Matter APS Virtual DAMOP Meeting, June 1-5, 2020 Helena Drüeke , Dieter Bauer Interacting Su-Schrieffer-Heeger Chains Modeled in Optical Waveguides: [...] Waveguides: Doublons, Edge States, and Transitions between them APS Virtual DAMOP Meeting, June 1-5, 2020 T. Liseykina , D. Bauer, S. Popruzhenko, A. Macchi Collective effect of radiation friction in laser-driven [...] Physics in Topological Condensed Matter 7th International Conference (ATTO2019), Szeged, Hungary, July 1-5, 2019 Dieter Bauer Wie können wir das Innenleben von Atomen fotografieren? Science@Sail, Rostock, 09

    https://www.qtmps.physik.uni-rostock.de/en/forschung/vortraege/list-of-presentations/

  10. Ankündigungen

    der Verbundtagung vom 16.03.2021 Die Ergebnisse der Verbundtagung vom 16.03.2021 finden sie hier . 5. überregionale Verbundtagung am 16.03.2021 Sehr geehrte Damen und Herren, im Rahmen des BMBF-Projektes [...] veranstaltet das landesweite Zentrum für Lehrerbildung und Bildungsforschung (ZLB) am 16. März 2021 die 5. überregionale Verbundtagung. Ziel der Veranstaltung ist es, Interessierte über die Ergebnisse der einzelnen [...] Uhr - Vorstellung der geplanten Vorhaben/Maßnahmen in den Projektbereichen – pro Projektbereich ca. 5-7 min. (Projektbereichsleiter*innen) 12.50 Uhr - Get together mit Imbiss Für eine bessere Planung senden

    https://www.zlb.uni-rostock.de/en/qualitaetsoffensive-lehrerbildung/aktuelles/ankuendigungen/

Displaying results 3481 to 3490 of 4861.
  • Previous
  • ...
  • 345
  • 346
  • 347
  • 348
  • 349
  • 350
  • 351
  • 352
  • 353
  • 354
  • ...
  • 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