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

4883 Results:

  1. 12 Jahre Betrieb eines Telemetriemastes

    Marinestützpunktkommando Hohe Düne 4/2008 - 5/2010 19.5.2010: Überführung ins Nautineum / Dt. Meeresmuseum Stralsund - bis 5/2011: Vorbereitung Exponat ab 9.5.2011: Offizielle Übergabe ans Dt. Meeresmuseum [...] Form dem Museumsbesucher künftig präsentiert werden kann. Am 9.5.2011 erfolgte die offizielle Übergabe, worüber die OZ (Stralsund) am 20.5.2011 berichtete. Damit fand eine Erfolgsgeschichte - der Betrieb [...] definitiv nicht finanzierbar. GfK war aufgrund seiner geringen Dichte, der begrenzten Wassertiefe (11,5m), hoher Zugfestigkeit und geringer Kosten ein geeigneter Werkstoff. Die Aussetz- und Hievtechnologie

    https://www.fotau.uni-rostock.de/en/berichte/verschiedenes/12-jahre-betrieb-eines-telemetriemastes/

  2. Grinder and polisher

    samples metallographically. Specifications: Working wheels: Ø 200/250 mm Sample size: 1-5 samples Ø 40 mm Single pressure: 5-80 N Speed: 30 - 600 min -1 Contact: Benjamin Eichler

    https://www.lfm.uni-rostock.de/en/equipment/analyse/grinder-and-polisher/

  3. 20. Girls'Day / 11. Boys'Day (22.04.2021)
    22.04.2021, 8:00 am - 22.04.2021, 4:00 pm

    bundesweit jährlich stattfindenden Aktionstag Girls’Day als Mädchen-Zukunftstag für Schülerinnen ab der 5. Klasse stellen Universitäten, Hochschulen, Unternehmen, Institutionen und Organisationen Studiengänge [...] Seit 2010 gibt es auch den bundesweiten Aktionstag Boys’Day als Jungen-Zukunftstag für Schüler ab der 5. Klasse , der mit analogem Konzept jeweils am selben Tag stattfindet, um Schülern Studiengänge und

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/20-girlsday-11-boysday-22042021-77627/

  4. Präsenz (mit Termin)

    March 2025 April 2025 Mon Tue Wed Thu Fri Sat Sun 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 March 2025

    https://www.weiterbildungsportal.uni-rostock.de/en/fachkompetenzen/hochschulfuehrung/compliance/praesenz-mit-termin/

  5. Unterweisung

    March 2025 April 2025 Mon Tue Wed Thu Fri Sat Sun 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 1 2 3 4 5 6 March 2025

    https://www.weiterbildungsportal.uni-rostock.de/en/fachkompetenzen/hochschulfuehrung/compliance/unterweisung/

  6. Staffel 1

    gestalten Folge 3 Seminare online gestalten Folge 4 Lehrvideos Folge 5 Online-Lehre betreuen Staffel 1 Staffel 2 Staffel 3 Staffel 4 Staffel 5 Staffel 6

    https://www.roc.uni-rostock.de/en/veranstaltungen/rocinar/rocinar-staffel-1/

  7. ILIAS

    In diesem Beitrag aus dem ROCinar zum Thema "Integriertes Lernen und H5P" (S4E5) spricht Max Kabisch (ITMZ) über die Erstellung von H5P Inhalten in ILIAS. weiterführende Informationen Lehrveranstaltungen

    https://www.roc.uni-rostock.de/en/andere/ur-roc/lehre-digital-gestalten/themenseiten/vorlage-themenseiten-7-1-1-2-3/

  8. Formulare

    illness 4) Rücktritt von Prüfungen / Withdrawal from an examination 5a) Anmeldung des Praktikums 5b) Richtlinien Praktikumsbericht (INF + WIN) 5c) Benotung des Praktikums 6a) Anmeldung zur Bachelorarbeit 6b)

    https://www.ief.uni-rostock.de/en/studierende/ansprechpartner/studienbuero-und-pruefungsamt/formulare/

  9. Arrival

    RE1 From Berlin: RE5 From Greifswald (via Stralsund): RE3/RE9 Intercity trains: ICE from Hamburg to Rostock IC from Dresden via Berlin to Rostock Tram https://www.rsag-online.de Line 5 (Mecklenburger Al [...] these lines from the Rostock Central Station to the university. The closest stops are “Neuer Markt” (5 minutes’ walk) and “Lange Straße” (3 minutes’ walk). S-Bahn lines S1, S2 and S3 run regularly between

    https://www.imf.uni-rostock.de/en/forschung/kommunikations-und-medienwissenschaft/symposium-quo-vadis-defa-research-english/arrival/

  10. 5.-7. Semester

    Informatik B.Sc. - 5.-7. Semester Im 5.-7. Semester sind die Pflichtmodule "Computergraphik für Informatik" und "Projekt B.Sc. Informatik", zu studieren. Außerdem ist im 5. bis 7. Semester ist Rahmen des

    https://www.informatik.uni-rostock.de/en/studium-lehre/bachelor-studiengaenge/informatik-bsc-aktuell/5-7-semester-1/

Displaying results 171 to 180 of 4883.
  • Previous
  • ...
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • ...
  • 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