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. Workshop der Hochschuldidaktik
    26.04.2019, 9:00 am - 26.04.2019, 2:30 pm

    erfahrener Mediengestalter steht hilfreich zur Seite. Wenn Sie eine PowerPoint-Präsentation von höchstens 5 Minuten (3 Folien) zum Beispiel zum Thema "Vorstellung des eigenen Bereiches oder Projektes" vorbereiten

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/workshop-der-hochschuldidaktik-40479/

  2. „Von Ammen, Müttern und Mägden – die Wahrnehmung von Frauen in florentinischen Familienbüchern“
    10.11.2020, 5:15 pm - 10.11.2020, 12:00 am

    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. Alle Termine:

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/von-ammen-muettern-und-maegden-die-wahrnehmung-von-frauen-in-florentinischen-familienbuechern-79083/

  3. Formel SPURT – 20 Jahre Roboterwettbewerb in Warnemünde
    24.05.2019, 1:00 pm - 24.05.2019, 12:00 am

    Steuerung oder Energieversorgung von außen sind nicht gestattet. Der Rundenrekord liegt derzeit bei 3,5 Sekunden. Für Schulen und andere Bildungseinrichtungen, die SPURT-Mobile bauen möchten, können Must

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/formel-spurt-20-jahre-roboterwettbewerb-in-warnemuende-46727/

  4. Erstes Treffen von Stipendiat*innen an der Universität Rostock
    02.07.2018, 3:00 pm - 02.07.2018, 5:00 pm

    Afterwards, there is the possibility to exchange stories with coffee and cake. For conversations after 5pm we booked a table at the Freigarten at the Peter-Weiß-Haus . If you would like to take part in the

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/erstes-treffen-von-stipendiatinnen-an-der-universitaet-rostock-34867/

  5. Erstes Treffen von Stipendiat*innen an der Universität Rostock
    02.07.2018, 3:00 pm - 02.07.2018, 5:00 pm

    Afterwards, there is the possibility to exchange stories with coffee and cake. For conversations after 5pm we booked a table at the Freigarten at the Peter-Weiß-Haus . If you would like to take part in the

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/erstes-treffen-von-stipendiatinnen-an-der-universitaet-rostock-29781/

  6. 23. Thementag - Was ist Bibliothek?
    17.05.2021

    christine.braeuning@uni-rostock.de Online-Zugang: https://uni-rostock-de.zoom.us/j/64754631454?pwd=TFE5RHRGN3BaWG1TMjhOWG1wVURqUT09

    https://www.imf.uni-rostock.de/en/institut/aktuelles/aktuelles/detailansicht-der-news/n/23-thementag-was-ist-bibliothek-1/

  7. Rostocker Medizinstudentin ist „Studentin des Jahres“
    09.04.2019

    begründeten DHV und DSW gemeinsam ihre Entscheidung. Mit der Auszeichnung ist ein Preisgeld in Höhe von 5.000 Euro verbunden, das vom Stifterverband für die Deutsche Wissenschaft gestiftet wird. Den Preis

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/rostocker-medizinstudentin-ist-studentin-des-jahres-44921/

  8. Fleeder (Syringa spp.)

    (Liguster) un den`n Ölbom (Ölbaum) un tellen tau de Familie von de Ölbömgewächse (Oleaceae). De meist 5–8 m hogen sommergräunen Strüker sünd gegenstännig beblädert un drägen de Bläuten in meistendeils en

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

  9. Einladung zum Sonderkolloquium der MNF
    02.11.2017, 9:40 am

    Press, moving on to Physical Review B, Physical Review Letters and Physical Review X. He also spent a 1.5-year sabbatical as scientific advisor to the President of the European Research Council. He returned

    https://www.mathnat.uni-rostock.de/en/aktuelles-veranstaltungen/veranstaltungen/aktuelle-veranstaltungen/detailansicht-des-events/n/einladung-zum-sonderkolloquium-der-mnf-19433/

  10. Erste Weiterbildung „SAP Zertifikatskurs für Studierende“ 2018 erfolgreich abgeschlossen
    09.11.2018

    Vom 24. September bis 5. Oktober 2018 fand der erstmalig angebotene SAP Zertifikatskurs für Studierende am Lehrstuhl für Wirtschaftsinformatik im Konrad-Zuse-Haus in Zusammenarbeit mit der Wissenschaftlichen

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/first-certificate-course-sap-for-students-finished-successfully-in-2018-37757/

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