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

4781 Results:

  1. Prüfungstermin für die PPEL- und PPGY-Klausur im Wintersemester 2021/22 (Prof. Dr. Eva Stumpf)
    16.11.2021

    Nahrungsaufnahme oder der Einnahme von Medikamenten o.ä. abgenommen werden, wenn ein Mindestabstand von 1,5 m eingehalten wird. ... Link hierzu: https://www.dienstleistungsportal.uni-rostock.de/corona-sonder

    https://www.ipprdk.uni-rostock.de/en/institut/institutsleitung-und-sekretariat/aktuelles-aus-dem-institut/detailansicht-der-news/n/pruefungstermin-fuer-die-ppel-und-ppgy-klausur-im-wintersemester-2021-22/

  2. Vortrag im Rahmen der Reihe „Kultur im Kloster“ am 01. Dezember 2020 um 17.15 Uhr (online)
    26.11.2020

    dieses Mal online auf BigBlueButton statt. Unter https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5 können Sie zur angegebenen Zeit einfach per Browser an den Veranstaltungsterminen teilnehmen. Eine Übersicht

    https://www.geschichte.uni-rostock.de/en/aktuelles/newssytem/aktuelles-des-hi/detailansicht-der-news/n/vortrag-im-rahmen-der-reihe-kultur-im-kloster-am-01-dezember-2020-um-1715-uhr-online-80212/

  3. Wirkungsvoll präsentieren und vortragen
    22.02.2023, 9:30 am - 23.02.2023, 4:30 pm

    Für den zweiten Workshop-Tag bereiten Sie bitte eine kurze, allgemeinverständliche Präsentation (ca. 5 min) aus ihrem Arbeitsbereich vor und bringen diese mit. Methoden: praxisnah, motivierend, interaktiv

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/wirkungsvoll-praesentieren-und-vortragen/

  4. Spanische Nationalpreisträgerin für Übersetzung am Institut für Romanistik
    03.06.2022

    stock.de 24. Juni 2022 August-Bebel-Straß 28, Seminarraum 10.017a 30. Juni 2022 Schwaansche Straße 5 (Theologie) , Besprechungsraum 1. Juli 2022 August-Bebel-Straß 28, Seminarraum 10.017a – alle Veran

    https://www.inf.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/preistraegerin-des-spanischen-nationalpreises-fuer-uebersetzung-zu-gast-am-institut-fuer-romanistik/

  5. Actors/Staff

    ☏ +49 381 498-7510 Professional support: Stefan Lüdtke Phd student: Hima Areti Project participant P5 - University of Rostock, Institute of German Studies From computer-aided document analysis to technological

    https://www.neiss.uni-rostock.de/en/hauptmenue/actorsstaff/

  6. Bachelor- und Masterthemen für Informatiker m/w/d
    05.05.2022

    Technologien: Java Frameworks (z.B. Spring, FreeMarker, Hibernate, JSP) GUI (z.B. Ajax, JavaScript, HTML5, AngularJS, Node.js, Vue.js) Database (z.B. MySQL, MongoDB, Redis, Oracle) Operating Systems (Linux

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/bachelor-und-masterthemen-fuer-informatiker-m-w-d/

  7. Braun_2022

    (Polar-CORDEX) modelling strategy, the focus is on the Representative Concentration Pathway (RCP) 8.5 scenario. To tackle these questions, we will rely on suitable oceanic and atmospheric fields. In particular

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/geological-sciences/translate-to-english-braun-2022/

  8. Rückamp_2022

    (Polar-CORDEX) modelling strategy, the focus is on the Representative Concentration Pathway (RCP) 8.5 scenario. To tackle these questions, we will rely on suitable oceanic and atmospheric fields. In particular

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/geological-sciences/translate-to-english-rueckamp-2022/

  9. Spreen_2017

    decreasing with a rate of about -4%/decade the sea ice area in the Antarctic is slowly increasing (about 1.5%/decade). Especially pronounced is the decrease in thick, multiyear sea ice in the Arctic with a rate

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/current-projects/physics-chemistry/spreen-2017/

  10. 9. Quistorp-Symposium „Nachhaltig leben zwischen Wunsch und Wirklichkeit“
    11.11.2022, 1:00 pm - 11.11.2022, 12:00 am

    Boss AG, Metzingen, referiert über „Nachhaltigkeit bei HUGO BOSS – ein fester Bestandteil der „Claim 5“ Wachstumsstrategie“. Prof. Dr. Gerhard Kruip, Professur für Christliche Anthropologie und Sozialethik

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/9-quistorp-symposium-nachhaltig-leben-zwischen-wunsch-und-wirklichkeit-4/

Displaying results 2291 to 2300 of 4781.
  • Previous
  • ...
  • 226
  • 227
  • 228
  • 229
  • 230
  • 231
  • 232
  • 233
  • 234
  • 235
  • ...
  • 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