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

4879 Results:

  1. Der Senat informiert
    10.01.2025

    hierzu können Sie gern in den Medieninformationen nachlesen. Die nächste Sitzung des Senats findet am 5. Februar 2025, im Konzilzimmer/Universitätshauptgebäude, statt. Informationen hierzu finden Sie zeitnah

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/n/der-senat-informiert-230543/

  2. Writing grant proposals (Online)
    28.01.2025, 2:00 pm - 28.01.2025, 4:00 pm

    Gruber, Caroline Plumejeau Anmeldung: über diesen LInk: https://www.eu-conexus.eu/en/events/workshop-5-writing-grant-proposals/ Format: Workshop

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/writing-grant-proposals-online-230571/

  3. Trennverfahren attraktiv in heterogenen Lerngruppen unterrichten
    14.11.2024, 3:00 pm

    Uhr Ort: Gabriele-von-Bülow-Gymnasium (Tile-Brügge-Weg 63, 13509 Berlin) Nawi- Lehrer:innen Klasse 5/& und Chemielehrer:innen SEK I ----- Der Workshop stellt eine digitale Unterrichtseinheit zur Stofftrennung

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/trennverfahren-attraktiv-in-heterogenen-lerngruppen-unterrichten-202419/

  4. Nanoscale-dosing system

    Pico Tip Dosage volume ~400 pl ~60 pl Reproducibility (1000 droplets) <2% <2% Viscosity limit 20 mPas 5 mPas Specials heatable heatable

    https://www.lfm.uni-rostock.de/en/equipment/micro-machining/nanoscale-dosing-system/

  5. Pupile Core Glasses

    Sample Rate 200 Hz Eye tracking technique Dark pupil with 3D model Calibration procedure 9-point and 5-point Accuracy 0.6° Slippage compensation Yes, 3D eye tracking model Pupil measurement Relative size

    https://www.pe.uni-rostock.de/en/laboratories/design-lab/ausstattung/pupile-core-glasses/

  6. Travel Information

    ngius-Straße (3 stations), → timetable Driveway is on the right before the roundabout or Tram line 5/6 to Erich-Schlesinger-Straße (1 station), → timetable Left onto Erich-Schlesinger-Straße (towards Kaufland

    https://www.leichtbau.uni-rostock.de/en/translate-to-english-footer/travel-information/

  7. Labore

    Schleusenzugängen versehen. Zwei übereinander liegende Labore sind mit einer Extratreppe verbunden 5 Labore haben zur Abschirmung elektromagnetischer Strahlung keine Fenster Ein Labor ist Strahlenschutz

    https://www.physik.uni-rostock.de/en/das-institut/austattung/labore/

  8. 5. Science Slam 2022 (17.11.2022)
    17.11.2022, 2:00 pm - 17.11.2022, 4:00 pm

    5. Science Slam 2022 Am 17. November 2022 findet der Science Slam der Graduiertenakademie der Universität Rostock im Rahmen des Forschungscamps der Universität Rostock statt. Bis zu sieben Nachwuchswi

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/veranstaltungen/detailansicht-des-events/n/5-science-slam-2022-17112022-124431/

  9. Erste-Hilfe-Lehrgang (ausgebucht)
    23.06.2022, 9:00 am - 23.06.2022, 4:00 pm

    Ersthelfer. Datum: 23.06.2022, 09:00 - 16:00 Uhr Ort: Besprechungsraum SR Theologie, Schwaansche Str. 5 Anbieter: Zentrale Universitätsverwaltung Kursleitung/Referent: Matthias Möller Anmeldung: Dieser Lehrgang

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/erste-hilfe-lehrgang-9/

  10. Institut für Berufspädagogik mit zwei Vorträgen auf der 20. gtw-Konferenz vertreten
    04.10.2018

    Am 4. und 5.10.2018 fand an der Otto-von-Guericke-Universität Magdeburg die 20. gtw-Herbstkonferenz der Arbeitsgemeinschaft „Gewerblich-Technische Wissenschaften und ihrer Didaktiken“ statt. Das ibp beteiligte

    https://www.ibp.uni-rostock.de/en/aktivitaeten/news/detail-news/n/translate-to-english-institut-fuer-berufspaedagogik-mit-zwei-vortraegen-auf-der-20-gtw-konferenz-vertreten-79177/

Displaying results 1071 to 1080 of 4879.
  • Previous
  • ...
  • 104
  • 105
  • 106
  • 107
  • 108
  • 109
  • 110
  • 111
  • 112
  • 113
  • ...
  • 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