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

4867 Results:

  1. StudIP-Service für die Philosophische Fakultät

    Meetings in StudIP hat das ZMD eine kurze Anleitung erstellt, die Sie hier aufrufen können (PDF, ca.5 MB). Bitte beachten Sie, dass dieses Meeting-Tool nur innerhalb der Mitglieder Universität genutzt werden

    https://www.phf.uni-rostock.de/en/fakultaet/it-service-pc-pool/zentrum-fuer-multimedia-und-datentechnik-it-service/studip-service-fuer-die-philosophische-fakultaet/

  2. Schriftenreihe "Diktaturen in Deutschland"

    in Güstrow. Von den Anfängen bis ins 21. Jahrhundert. Inhaltsverzeichnis Einleitung Leseprobe Bd. 5 Günter Schabowski Der Zerfall einer Leihmacht. Inhaltsverzeichnis Einleitung Leseprobe Bd. 6 Ingo Sens

    https://www.dokumentationsstelle.uni-rostock.de/en/publikationen/schriftenreihe-diktaturen-in-deutschland/

  3. Mensasimulation

    der Informatik im Rahmen einer Wahlpflicht-Projektveranstaltung entworfen und programmiert, die im 5. oder 6. Semester des Bachelorstudiums Informatik belegt wird. Die Studierenden arbeiten an diesen Projekten

    https://www.ief.uni-rostock.de/en/fakultaet/institute-und-lehrstuehle/lehrende/institute/visual-and-analytic-computing/prof-dr-rer-nat-habil-adelinde-m-uhrmacher/mensasimulation/

  4. Literature and Space (Hybrid Workshop)
    01.10.2024

    Nico Förster. At a Glance: Hybrid Workshop Language: German Date: October 1, 2024 Time: 9:00 AM to 5:00 PM Location: Seminar Room 9 at the Institut für Germanistik (Jakobipassage, 4th Floor, Kröpeliner

    https://www.inf.uni-rostock.de/en/vorlage-veranstaltungen/detailansicht-des-events/n/literatur-und-raum-hybrider-workshop-200847/

  5. RMB 25 (2015)

    Coastal System Analysis and Status Evaluation (BACOSA) 2015 Piepho, M., 2015, Introduction. RMB (25) S. 5 [ pdf ] Berthold, M, Zimmer, D. & Schumann, R., 2015, A simplified method for total phosphorus digestion

    https://www.oekologie.uni-rostock.de/en/rostocker-meeresbiol-beitraege/rmb-25-2015/

  6. Contact angle measuring system

    pl...1000 nl Optics: 7-fold zoom lens with integrated fine focus (± 4 mm) Mikro lens 20-fold with 7.5 ... 55-fold magnification 1/2“ standard camera 0.85 x 0.64...0.116 x 0.087 mm

    https://www.lfm.uni-rostock.de/en/equipment/analyse/contact-angle-measuring-system/

  7. Archiv

    Schulunterricht einsetzen 13:15 - 16:45 Uhr | Workshop | in Präsenz| für Studierende read more 1 2 3 4 5 ❯

    https://www.ub.uni-rostock.de/en/portal-rostock-university-library/news-and-events/news-ub/archiv/

  8. Verteilte Systeme

    AE-22, SR 110, Beginn: 10.04.2024 Belegung: Vorlesung: LSF , StudIP Übung: LSF , StudIP SWS (CP): 3 (4.5) Geeignet für: Bachelor Studiengänge: Informatik und Wirtschaftsinformatik Sprache: Deutsch Vorausgesetzte

    https://www.ava.uni-rostock.de/en/lehre/sommersemester-2023/verteilte-systeme-1/

  9. 2014 - Schumann

    Implementierung des Avalanche ist dieses Modell auch für Hochvolt-IGBTs verwendbar. Das wird anhand von 6,5kV-IGBTs gezeigt. Mit Hilfe von experimentellen Untersuchungen an realen Leistungshalbleitermodulen kann

    https://www.iee.uni-rostock.de/en/forschung/leistungselektronik-und-elektrische-antriebe-lea/promotionen-lea/2014-schumann/

  10. 2019 - Rump

    Bezug auf Frequenzpendelungen ergibt sich eine dämpfende Wirkung für niedrige Frequenzen unterhalb von 5 Hz. In diesem Bereich ist die Frequenzmessung maßgeblich, so dass sich das Verhalten von Ladegerät und

    https://www.iee.uni-rostock.de/en/forschung/leistungselektronik-und-elektrische-antriebe-lea/promotionen-lea/2019-rump/

Displaying results 2311 to 2320 of 4867.
  • Previous
  • ...
  • 228
  • 229
  • 230
  • 231
  • 232
  • 233
  • 234
  • 235
  • 236
  • 237
  • ...
  • 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