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

4864 Results:

  1. Im Dienste des Klima- und Gewässerschutzes
    12.04.2017

    Vorhaben wird im Rahmen des Exzellenzforschungsprogramms des Landes Mecklenburg-Vorpommern mit ca. 5 Mio. Euro über einen Zeitraum von vier Jahren aus dem Europäischen Sozialfonds gefördert. Das Verbundprojekt

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/im-dienste-des-klima-und-gewaesserschutzes-9125/

  2. Universität Rostock begrüßt internationale Studierende zum neuen Semester
    04.04.2017

    Gesamtzahl der Studierenden ausmacht. Das zeigt eine Steigerung innerhalb der letzten zwei Jahre von ca. 1,5%. Die stärksten Studierendengruppen kommen aus Asien, vor allem aus Indien und China, gefolgt von e

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/universitaet-rostock-begruesst-internationale-studierende-zum-neuen-semester-8749/

  3. Zweiter Preis des Deutschen Studienpreises 2018 für Lea Puchert von der Universität Rostock
    31.07.2018

    Sie erhält die mit 5.000 Euro dotierte Auszeichnung für ihr Promotionsprojekt „Bildungsziel Ingenieur*in – Techniksozialisation weiblicher und männlicher Ingenieurstudierender jenseits gängiger Techni

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/zweiter-preis-des-deutschen-studienpreises-2018-fuer-lea-puchert-von-der-universitaet-rostock-32636/

  4. Endausscheid der Landesolympiade Informatik Mecklenburg-Vorpommern fand online statt (29.01. – 30.01.2021)
    10.02.2021

    Informatik der Universität Rostock. Sie wurden dabei von Julian Oertel (Student im Bachelor Informatik im 5. Semester) und Glenn Skrzypczak (Student im Bachelor Informatik im 1. Semester und in den Vorjahren

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/endausscheid-der-landesolympiade-informatik-mecklenburg-vorpommern-fand-online-statt-2901-30012021-84669/

  5. Zwischen Statusgewinn und Statusverlust. Die Bedeutung der Ehre für die Wismarer Stadtmusikanten im 17. Jahrhundert
    18.01.2022, 5:15 pm - 18.01.2022, 6:45 pm

    Hochschule für Musik und Theater Rostock. online ( https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5 ) Arbeitskreis mediävistischer NachwuchswissenschaftlerInnen Universität Rostock · Institut für Germanistik

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/zwischen-statusgewinn-und-statusverlust-die-bedeutung-der-ehre-fuer-die-wismarer-stadtmusikanten-im-17-jahrhundert/

  6. Scientific Writing: Towards Organization and Motivation
    03.02.2022, 9:00 am - 03.02.2022, 5:00 pm

    supervisors Target Audience : Ph.D. candidates and early Postdocs Date : 02.-03.02.2022, 9:00 a.m. - 5:00 p.m. Location: tba Lecturer: Andrea Sanchini, Berlin Registration: Online Registration Participation

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/scientific-writing-towards-organization-and-motivation-new61d4014c72cd0143618745/

  7. Projektseminar Eingebettete Systeme

    SWS: 2 Seminar, 1 Konsultation LP: 6 Prüfung: Präsentation, 20 Minuten und Bericht/Dokumentation (ca. 5 bis 20 Seiten) Voraussetzungen: __ Systemnummer: 1351120 LSF-Nummer: 24206 Ziel Eigenständiges Erarbeiten

    https://www.imd.uni-rostock.de/en/lehre/lehrangebote/prof-c-haubelt/projektseminar-eingebettete-systeme/

  8. Online-Vortrag von Prof. Dr. Andris Levans (Riga) in der interdisziplinären Veranstaltungsreihe „Kultur im Kloster“
    07.06.2021

    . Zeit: 08.06.2021, 17.15 Uhr Ort: digital ( https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5 )

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/online-vortrag-von-prof-dr-andris-levans-riga-in-der-interdisziplinaeren-veranstaltungsreihe-kultur-im-kloster/

  9. 2018

    mammalian farm animals: Concepts, measures, and relationship to welfare. Frontiers in Veterinary Science 5:131 Goursot C, Düpjan S, Tuchscherer A, Puppe B & Leliveld LMC (2018): Behavioural lateralization in

    https://www.auf.uni-rostock.de/en/professorships/h-w/ethology/translate-to-english-forschung/translate-to-english-publikationen/translate-to-english-2018/

  10. Projektmanagement für Akademiker*innen / Project Management for Academics
    28.04.2021, 9:00 am - 28.04.2021, 5:00 pm

    doctoral candidates and postdocs Datum/ Date: 27.04.2021 & 28.04.2021 09:00 Uhr & 17:00 Uhr / 9 a.m. - 5 p.m. Ort/ Location: tba Anbieter/Providers: Graduiertenakademie Kursleitung/ Referent/ Lecturer: Peter

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/projektmanagement-fuer-akademikerinnen-project-management-for-academics-82298/

Displaying results 2171 to 2180 of 4864.
  • Previous
  • ...
  • 214
  • 215
  • 216
  • 217
  • 218
  • 219
  • 220
  • 221
  • 222
  • 223
  • ...
  • 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