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

4778 Results:

  1. Annika Bostelmann

    Präsentation im Internet. Münster (u.a.) 2014 (= Rostocker Beiträge zur Volkskunde und Kulturgeschichte. 5), S. 151–168. Bostelmann, Annika / Brandt, Doreen: 'Schönes Rimbökelin' und 'Künstlike Werltspröke' [...] (Institut für Germanistik/Universität Rostock) Konzeption und Durchführung der durch den DAAD geförderten 5. Interdisziplinären Sommerakademie Rostock 2015 (ISAR 2015) "Modernes Mittelalter" unter der Leitung [...] k Rostock" (zusammen mit Doreen Brandt und Hellmut Braun) Sommersemester 2015: Lehreinheit bei der 5. Interdisziplinären Sommerakademie Rostock (ISAR) mit dem Thema "Aller guten Dinge sind drei. Das Sprichwort

    https://www.germanistik.uni-rostock.de/en/forschung/germanistische-mediaevistik/amn/mitglieder/annika-bostelmann/

  2. List of completed student projects

    Windenergieanlage (Klatt, Benjamin) »Ba« Entwicklung von Prüfprofilen und CATIA V5 Makros zur Erhöhung und Sicherstellung der CATIA V5 Datenqualität im Hause Peguform (Furche, Frank) »Ba« Entwicklung einer Pr [...] transportoptimiertes Teilungskonzept einer Maschinenhausverkleidung am Beispiel einer Windenergieanlage der 5 MW-Klasse (Nele Kayser) »Ma« Ermittlung von Betriebslasten zur optimierten Auslegung von Schiffs- und [...] Zegel, Sebastian; Schröder, Ingomar) »PMb« 2013 Untersuchung zum Einsatz von Gleitlagern in einer 2,5 MW WEA (Lippmann, Martin) »Ma« Schwachstellenanalyse eines vorhandenen Hybridtriebkopfes im Hinblick

    https://www.pe.uni-rostock.de/en/publications/student-works/

  3. Prof. Dr. Steffi Morkötter

    für eine Kooperation zwischen Lehrkräften verschiedener Sprachen. Praxis Fremdsprachenunterricht 5, 2019, 5-7 ● Sprachencamps (Französisch und Spanisch) in Kooperation mit dem Richard-Wossidlo-Gymnasium [...] für eine Kooperation zwischen Lehrkräften verschiedener Sprachen. Praxis Fremdsprachenunterricht 5, 2019, 5–7. • mit Felix Hartleb: Fremdsprachenunterricht in der DDR: historischer Überblick und Interviews [...] Inhalt & Vielfalt: Neue Herausforderungen für das Sprachenlernen und -lehren an Hochschulen. Erträge des 5. Bremer Symposions zum Fremdsprachenlehren und -lernen an Hochschulen . Bochum: AKS-Verlag 2017, 95–107

    https://www.romanistik.uni-rostock.de/en/institut/mitarbeitende/professoren-und-professorinnen/prof-dr-steffi-morkoetter/

  4. Scientific publications

    in Industry 4.0/5.0: Identification, clustering and developing mitigation strategies In: Proceedings of the Design Society, International Conference on Engineering Design ICED25, Volume 5, Cambridge University [...] In: Proceedings of the Design Society, International Conference on Engineering Design ICED25, Volume 5, Cambridge University Press. https://doi.org/10.1017/pds.2025.10248 Keisuke Yamashita, Stefan Zorn, [...] In: Proceedings of the Design Society, International Conference on Engineering Design ICED25, Volume 5, Cambridge University Press. https://doi.org/10.1017/pds.2025.10071 Lisa Siewert, Kilian Gericke, Nadja

    https://www.pe.uni-rostock.de/en/publications/scientific-publications/

  5. Bibliometrie

    2015+2016 32544 (Jahr 2015) + 20560 (Jahr 2016) = 79,26 342 (Jahr 2015) + 328 (Jahr 2016) 5-Year-Journal Impact Factor Der "5-Year Journal Impact Factor" (verfügbar seit 2007) ergibt sich aus der durchschnittlichen

    https://www.ub.uni-rostock.de/en/wissenschaftliche-services/e-publizieren/bibliometrie/

  6. Higher study semesters

    the above mentioned address. Please don’t staple the documents and hand them in, in minimal size of A5. Confirmation of arrival can only be given if a prepared and post-paid postal card is attached with [...] be found here . Selection procedure Selection for higher study semesters is regulated as per Article 5 paragraph 2 and 3 of the Higher Education Act of Mecklenburg-Vorpommern and in accordance with the statutes

    https://www.uni-rostock.de/en/study/international-students/degree-students/basic-courses-of-study-for-non-german-prospective-students/higher-study-semesters/

  7. BaSoTI 2015

    July, 2015, 5 p.m. Venue: University Center for Innovation and Entrepreneurship – Mektory, Raja 15, 12618 Tallinn Social event: IT Faculty Café, Tallinn University of Technology, Ehitajate tee 5, 12618 Tallinn

    https://www.uni-rostock.de/en/internationales/rostock-international-house/sommerschulen-alt/basoti/basoti-2015/

  8. Dr. Lutz Hellmig

    (LNI) - Proceedings: Series of the Gesellschaft für Informatik (GI), Volume P-249, ISBN 978-3-88579-643-5, ISSN 1617-5468, Dr. Jens Gallenbacher (Hrsg.), Gesellschaft für Informatik, Bonn 2015 Hellmig, L.: [...] & Roscher, M.: Gute Schule: Zum Arbeiten mit offenen Aufgaben im Mathematikunterricht der Klassen 5 und 6. L.I.S.A. Mecklenburg-Vorpommern, Schwerin, 2007. Hellmig, L. Zur Evaluation von Lehrerfortbildungen

    https://pidi.informatik.uni-rostock.de/en/lutz-hellmig/

  9. Erstmals Plattdeutsche Kulturwoche in Rostock
    03.06.2018, 10:00 am - 10.06.2018, 12:00 am

    Kulturwoche. Text: Wolfgang Thiel Programm zur Plattdeutschen Kulturwoche: 3. Juni 2018: 10.00-17.00 Uhr 5. Plattdütsch-Bäukerdag Botanischer Garten, Hamburger Str. 28, 18069 Rostock 4. Juni 2018: 10.30 Uhr/14 [...] Uhr Besuch des Wossidlos-Archivs Institut für Ethnologie/Volkskunde, Am Reifergraben 4, 18055 Rostock 5. Juni 2018: 14.30 Uhr Plattdeutsche und maritime Lieder Kulturhistorisches Museum Rostock, Klosterhof

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/erstmals-plattdeutsche-kulturwoche-in-rostock-29543/

  10. Erstmals Plattdeutsche Kulturwoche in Rostock - Botanischer Garten der Universität Rostock organisiert größte niederdeutsche Veranstaltung des Jahres in Mecklenburg-Vorpommern (M-V)
    25.05.2018

    Kulturwoche. Text: Wolfgang Thiel Programm zur Plattdeutschen Kulturwoche: 3. Juni 2018: 10.00-17.00 Uhr: 5. Plattdütsch-Bäukerdag Botanischer Garten, Hamburger Str. 28, 18069 Rostock 4. Juni 2018: 10.30 Uhr/14 [...] Uhr: Besuch des Wossidlos-Archivs Institut für Ethnologie/Volkskunde, Am Reifergraben 4, 18055 Rostock 5. Juni 2018: 14.30 Uhr: Plattdeutsche und maritime Lieder Kulturhistorisches Museum Rostock, Klosterhof

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/erstmals-plattdeutsche-kulturwoche-in-rostock-botanischer-garten-der-universitaet-rostock-organisiert-groesste-niederdeutsche-veranstaltung-des-jahres-in-mecklenburg-vorpommern-m-v-29549/

Displaying results 2201 to 2210 of 4778.
  • Previous
  • ...
  • 217
  • 218
  • 219
  • 220
  • 221
  • 222
  • 223
  • 224
  • 225
  • 226
  • ...
  • 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