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

4868 Results:

  1. 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/

  2. 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/

  3. 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/

  4. 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/

  5. 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/

  6. 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/

  7. „War das schon sexuelle Belästigung?“

    War das schon sexuelle Belästigung? 5 Fragen, die bei der Einschätzung helfen Viele Menschen sind sich unsicher, ob eine Situation, die sie erlebt haben, bereits als sexuelle Belästigung gilt. Oft bleibt

    https://www.uni-rostock.de/en/universitaet/vertretungen-und-beauftragte/gleichstellungsbeauftragte-gba/veranstaltungen-und-aktuelles/war-das-schon-sexuelle-belaestigung/

  8. Prof. Dr. Peter Huy

    Chemie für Biowissenschaften und Lehramt Biologie Vorlesung OC 3B: Naturstoffe (BSc Ch) Vorlesung OC 5: Organische Moleküle – Synthese und Nutzung (MSc Ch) Seminar zu aktuellen Fragestellungen (mit AG Brasholz

    https://www.chemie.uni-rostock.de/en/arbeitsgruppen/organische-chemie/prof-dr-peter-huy/

  9. Prof. Dr. Ralf Zimmermann

    Strukturaufklärung (LA Ch) Vorlesung AnC 3: Instrumentelle Analytik (MSc Ch) Vorlesung + Seminar AnC 5: Moderne Methoden der Massenspektrometrie und Chromatographie (MSc Ch) Seminar Aktuelle Themen in der

    https://www.chemie.uni-rostock.de/en/arbeitsgruppen/analytische-technische-chemie/prof-dr-ralf-zimmermann/

  10. EFRE projects

    allows the syntheses of the relevant nanomaterials to be improved. The fluorescence spectrometer (FS5 by Edinburgh Instruments), which is funded by the European Regional Development Fund of the European

    https://www.nanomaterials.uni-rostock.de/en/efre-projects/

Displaying results 2941 to 2950 of 4868.
  • Previous
  • ...
  • 291
  • 292
  • 293
  • 294
  • 295
  • 296
  • 297
  • 298
  • 299
  • 300
  • ...
  • 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