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

4880 Results:

  1. Tipps

    Verhaltensweisen im Umgang mit den Ressourcen notwendig. Laut Studien können Einsparungen zwischen 5% und 15% durch ein verändertes Nutzerverhalten erreicht werden. Einige Tipps für den sparsamen Umgang [...] 60 min Für das Notebook im Akkubetrieb: Monitor ausschalten: nach 2 min Festplatte ausschalten: nach 5 min Stand-by-Modus: nach 10 min Ruhezustand: nach 30 min Was der Umwelt noch zu gute kommt Kein unnötiges

    https://www.uni-rostock.de/en/universitaet/uni-gestern-und-heute/nachhaltige-uni/energie/tipps/

  2. Moderner Systementwurf mit VHDL und SystemC

    Realisierung Modellierung von digitalen Systemen mit SystemC Rahmenbedingungen Termin: 23. Januar 2017 bis 5. Juni 2017 Anmeldung: bis 09. Januar 2017 - Online-Anmeldung Zugangsvoraussetzungen: erster Hochsch [...] Studiengänge und Deutschkenntnisse auf dem Niveau C1 Arbeitsaufwand: 150 Stunden - das entspricht 5 Leistungspunkten Kosten Durch eine Förderung des Bundesministeriums für Bildung und Forschung entfällt

    https://www.uni-rostock.de/en/weiterbildung/weiterbildung/projekte/projekt-kosmos/kosmos-phase-2-2015-bis-2017/studienformate-in-erprobung/moderner-systementwurf-mit-vhdl-und-systemc/

  3. Physics Colloquium: Prof. Dr. Jianshu Cao (MIT Cambridge)
    20.10.2022, 4:15 pm - 20.10.2022, 5:15 pm

    fractional vibronic resonance, which has implications for the antenna effect and quantum transport [5] [1] Efficient energy transfer in light-harvesting systems: Quantum-classical comparison, flux network [...] data: Applications to resonant energy transfer. Chenu and Cao, Phys. Rev. Lett. 118, 013001 (2017) [5] Long-range nonequilibrium coherent tunneling induced by fractional vibronic resonances. Kessing, Yang

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/physics-seminar-prof-dr-jianshu-cao-mit-cambridge-238007/

  4. Device Monitoring

    Applied Energy 339 (2023): 121030. MQTT Spezifikation ( https://docs.oasis-open.org/mqtt/mqtt/v5.0/mqtt-v5.0.html ) Baumgarth, Siegfried, et al. Digitale Gebäudeautomation . Springer-Verlag, 2013. (bei

    https://iuk.uni-rostock.de/en/lehre-studium/abschlussarbeiten/device-monitoring/

  5. Spanish

    bilden. WICHTIGER HINWEIS: Für das Ausstellen des Sprachnachweises ist gemäß der Gebührenordnung (Anlage 5, S.11-12) eine Gebühr von 15,- Euro zu bezahlen. [] Inhalt und Ablauf 1. Reading 1. Reading [] (am Computer/ [...] en zu Verbformen (10 Minuten). b) Sie machen einen C – Test (25 Minuten). Ein C – Test besteht aus 5 kurzen Texten unterschiedlichen Schwierigkeitsgrades. Informationen zum C – Test 3. Listening comprehension

    https://www.sprachenzentrum.uni-rostock.de/en/exams/daad-language-assessments/spanish/

  6. Biokraftstoffblends - biofuel blends

    this backdrop, the use of fuel blends (mixed fuels) will become increasingly important. To date, a 5% (V/V) share of biodiesel in accordance with DIN EN 14214 is covered by the diesel fuel standard DIN [...] injection systems. Conventional, sulphur-free diesel fuel (S<10ppm) in accordance with DIN EN 590 with 5% biodiesel additive is used as the reference fuel.

    https://www.lkv.uni-rostock.de/en/research/previous-research-projects/biokraftstoffblends-biofuel-blends/

  7. Laboratory

    of RAM are available, running TCAD simulators. Basic Research: Six test cells with DC voltage up to 5.5kV and up to 120kW supply power are available, equipped with the latest measuring technology such as

    https://www.iee.uni-rostock.de/en/research/power-electronics-and-electrical-drives-lea/laboratory/

  8. Hauptpraktikum

    erstellt, der neben Literaturhinweisen ebenfalls im ILIAS-Kurs hinterlegt ist. 5_Fragen_an_die_Praktikumsschule.docx 5_Fragen_an_mich_selbst.docx Steckbrief_Hauptpraktikum.docx Ziele_im_Hauptpraktikum

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/didaktik-der-mathematik/studium-und-lehre/hauptpraktikum/

  9. Deutsch als Zweitsprache

    Bericht aus der Praxis, Teil II Video 3: L1,L2, Bilingualismus Video 4: Konsekutiver Spracherwerb Video 5: Spracherwerbstheorien Video 6: Lernervariablen Video 7: Mythen über Mehrsprachigkeit Video 8: Spra [...] Video 1: Einführung Teil II Video 2: Sprechgymnastik Video 3: Hörverstehen Video 4: Sprechen Video 5: Grammatik Teil I Video 6: Grammatik Teil II Video 7: Wortschatz Teil I Video 8: Wortschatz Teil II

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/micro-lectures/daz-4-everyone/

  10. Screenings

    dem Gesundheitscoach besprochen. https://gps.gib-gesundheit.de/schedule-voting?uuid=be50d5f0-b4f7-4cc9-956b-6db5c42b8939

    https://www.uni-rostock.de/en/campusleben/gesundheit-und-sport/universitaeres-gesundheitsmanagement/allgemeine-angebote/gesundheitstag-und-sommernachtssportfest-2025/screening/

Displaying results 851 to 860 of 4880.
  • Previous
  • ...
  • 82
  • 83
  • 84
  • 85
  • 86
  • 87
  • 88
  • 89
  • 90
  • 91
  • ...
  • 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