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

4797 Results:

  1. Best Paper Award der EECSS 2022 (30.07.2022)
    30.07.2022

    Bereichen Elektrotechnik und Computersysteme sowie Naturwissenschaften zu werden. Der Kongress besteht aus 5 Konferenzen und bietet Wissenschaftlerinnen und Wissenschaftlern, Forscherinnen und Forschern, Wirt

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news/detailansicht-der-news/n/best-paper-award-der-eecss-2022-30072022-129131/

  2. Araukarien (Araucaria spp.)

    bi uns dunnemals as Stuwenplant sihr beleiwt wier. Sei benödigt in`n Winter `nen hellen un käuhlen (5–10 Grad C) Rum. Plattdütsch: Christa Winkelmann, Vereinsmaat in'n Plattdütsch-Verein Klönsnack-Rostocker

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

  3. ab 2020

    Städte- und Verkehrsbau In einem weiteren Landtagsbeschluss (10.06.2020) wird die Bereitstellung von 2,5 Millionen Euro aus dem Strategiefond zur Umsetzung von BLU abgesichert. Weitere Mittel werden dann in

    https://www.auf.uni-rostock.de/en/fakultaet/ueber-uns/historie/ab-2020/

  4. Mobile Technik

    Zur Ausstattung gehören: 1. Rucksack 2. Laptop 3. Netzkabel für den Laptop 4. Maus für den Laptop 5. Verbindungskabel für die Webcam zum Laptop 6. Mikrofon und Mikrofonempfänger 7. HDMI-Kabel 8. Verb

    https://www.phf.uni-rostock.de/en/fakultaet/digitale-lehre/hybride-lehre/technische-ausstattung/mobile-technik/

  5. Dr. Lea Puchert Professur EUFH

    für die sie den 2. Preis Deutscher Studienpreis (Sektion Sozialwissenschaften) der Körber Stiftung (5.000 Euro) erhielt, ist Dr. Lea Puchert der Universität treu geblieben und arbeitete weiter als wiss

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/karrierewegementoring/dr-lea-puchert-professur-eufh/

  6. Aktuelle Ereignisse und Informationen

    eziehungen Januar 2013 2012 2012 Studieren im Mittelalter 12. Oktober 2012 Goldenes Doktorjubiläum 5. Juli 2012 Studienfahrt Greifswald 30. Mai 2012

    https://www.mathnat.uni-rostock.de/en/geschichte/aktuelles/aktuelle-ereignisse-und-informationen/

  7. Gremienwahlen (05.-19.06.2024)
    05.06.2024, 8:00 am - 19.06.2024, 10:00 pm

    r 2024: Wahl der studentischen Mitglieder für Konzil, Akademischen Senat und die Fakultätsräte vom 5. bis 19. Juni 2024 Mit dem Aushang der Wahlbekanntmachung in den Fakultäten, Einrichtungen, Mensen und

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/veranstaltungen/detailansicht-des-events/n/gremienwahlen-05-19062024-192223/

  8. Information zur Anerkennung von Stipendienzeiten auf die Stufenzuordnung
    14.01.2025

    haben wir die Möglichkeit, Stufen zur Deckung des Personalbedarfes vorweg zu gewähren, vgl. § 16 Abs. 5 i.d.F. von § 40 TV-L. Sollte sich eine solche Fallgestaltung darstellen, die unabhängig vom Vorgesagten

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/n/anfrage-der-uni-an-das-land-information-zur-anerkennung-von-stipendienzeiten-auf-die-stufenzuordnung-230943/

  9. Bilder

    Die Universität - Kraftzentrum der Region 5.000 Mitarbeiter in Universität und Universitätsklinikum und 15.000 Studierende prägen Rostock mit seinen 200.000 Einwohnern wissenschaftlich, wirtschaftlich

    https://www.uni-rostock.de/en/beispielseiten/inhaltselemente/bilder/

  10. Digitale Diversity-Woche des Vielfaltsmanagements und der Stabstelle Diversity
    17.05.2021, 1:00 pm - 21.05.2021, 5:00 pm

    Digitaler Workshop / „Einführung in die Gebärdensprache – mehr als nur fliegende Hände“ Freitag, 21.5. 2021 / 9:00-12:00 Uhr / Digitaler Workshop / „LSBTTIQA* - Begrifflichkeiten und Selbstreflexion“ Freitag

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/digitale-diversity-woche-des-vielfaltsmanagements-und-der-stabstelle-diversity/

Displaying results 1761 to 1770 of 4797.
  • Previous
  • ...
  • 173
  • 174
  • 175
  • 176
  • 177
  • 178
  • 179
  • 180
  • 181
  • 182
  • ...
  • 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