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

4796 Results:

  1. Großer Erfolg für Rostocker Geistes- und Sozialwissenschaftler
    24.02.2017

    Greifswald und der Hochschule für Musik und Theater eine Förderung. Das gesamte Fördervolumen beträgt 2,5 Mio. Euro. „Das ist ein großer Erfolg für unsere Universität und eine Bestätigung für die herausragende

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/grosser-erfolg-fuer-rostocker-geistes-und-sozialwissenschaftler-6047/

  2. Untersuchung der piezoelektrischen Eigenschaften von spongiösem Knochen

    direkten Umgebung der Endoprothese vorliegt. Ziel ist dabei ein elektrisches Wechselfeld (20 Hz) zwischen 5 und 70 V/m in direkter Umgebung des Implantats zu erzeugen, um einerseits den Knochen besser an das

    https://www.iae.uni-rostock.de/en/forschung/theoretische-elektrotechnik/wechselwirkung-elektromagnetischer-feldern-mit-biologischem-gewebe/untersuchung-der-piezoelektrischen-eigenschaften-von-spongioesem-knochen/

  3. Regulations concerning the care of children and the care of relatives

    period of the leave of absence, there is a claim to care support benefit in accordance with § 150 Para. 5d SGB XI, which you must apply for at the care insurance fund of the relative to be cared for. It is

    https://www.dienstleistungsportal.uni-rostock.de/en/corona-sonderinformationen/staff/regulations-concerning-the-care-of-children-and-the-care-of-relatives/

  4. Beurlaubung

    parental leave if an employment relationship existed 4. a study-related stay at a foreign university; 5. absence due to an internship outside the university prescribed in the study or examination regulations

    https://www.uni-rostock.de/en/study/study-organization/during-studies/beurlaubung/

  5. Aktuelles Archiv

    E-Books des Verlags Cambridge University Press im Campusnetz der Universität verfügbar; darunter mehr als 5.000 Titel der Fachgebiete Geschichte und Archäologie . Abkürzungsdatenbank "Abbreviationes" Die Abk

    https://www.ub.uni-rostock.de/en/wissenschaftliche-services/facheinstiege-ii/philosophische-fakultaet/geschichte/aktuelles-archiv/

  6. Doctoral- and Research Scholarships Programs

    taken into account if the requirements of the collective bargaining agreement pursuant to § 16 para. 5 TV-L are met. At the University of Rostock there are various scholarship programs and contact persons

    https://www.uni-rostock.de/en/research/funding-opportunities/doctoral-and-research-scholarships-programs/

  7. Universität, Stadt und Land in den elektronischen Medien

    interdisziplinärer Fakultät (2007), eine von nur ca. 6 Voll-Uni's in Deutschland, ca. 290 Professuren, ca. 5.800 Beschäftigte inkl. Kliniken, ca. 13.000 Studierende aus ca. 100 Nationalitäten die Uni bei Social

    https://www.ief.uni-rostock.de/en/studieninteressierte/informieren/hochschul-informations-plattform/weitere-informationen-studieren-in-rostock-und-in-mv/universitaet-stadt-und-land-in-den-elektronischen-medien/

  8. Energieoptimierung

    Größere Verbraucher sind Elektroauto (11 oder 22 kW), Waschmaschine (2000 W), Herd (6 kW) und Ofen (3,5 kW), Geschirrspüler und ähnliche Geräte mit jeweils üblicher Leistung. Ein Teil des Stromverbrauchs

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

  9. Datenanalyse zur Optimierung des Schiffsbetriebs

    Diese reichen bei NMEA 2000 von ca. 0,1 bis zu ca. 10 Samples pro Sekunde, bei den Motordaten von 0,5 bis ca. 50 Samples pro Sekunde. Konkret liegen uns Daten von über 100 Datenpunkten mit unterschiedlicher

    https://iuk.uni-rostock.de/en/lehre-studium/abschlussarbeiten/outlier-erkennung-in-nautischen-und-motor-daten-auf-schiffen-1/

  10. DFG/ANR project AIFIT "Aerodynamics of insect flight in turbulent flow"

    lehmannuni-rostockde Vorticity of inflow and behind an insect Vorticity in a virtual wind tunnel (2,5 m/s) with turbulent flow conditions. The modelled insect flies at Re=2042. Turbulence does not change

    https://www.tierphysiologie.uni-rostock.de/en/research-jobs/current-third-party-funding/dfganr-project-aifit-aerodynamics-of-insect-flight-in-turbulent-flow/

Displaying results 2881 to 2890 of 4796.
  • Previous
  • ...
  • 285
  • 286
  • 287
  • 288
  • 289
  • 290
  • 291
  • 292
  • 293
  • 294
  • ...
  • 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