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

4889 Results:

  1. Lehrveranstaltungsankündigung Wintersemester 2025/26

    ungen oder akustische Signale Lehrpult: Das Pult hat insgesamt eine Länge von 2,50m. Dabei haben 1,5m die Höhe von 0,78m und 1m eine Höhe von 1,07m. Das Pult ist 70cm tief. Parkplätze: Behindertenparkplätze

    https://www.bwl.uni-rostock.de/en/institut/junior-seniorprofessuren/bwl-der-dienstleistungen-rouven-seifert/aktuelle-meldungen/lehrveranstaltungsankuendigung-wintersemester-2025/26/

  2. Zugriff auf Kalender und Aufgaben des universitären Postfaches mit Thunderbird (ab Version 115)

    tester@uni-rostock.de/calendar/ Klicken Sie anschließend auf "Find calendars" oder "Kalender suchen". 5. Nach der Kennworteingabe können Sie über einen Klick auf "Properties" oder "Eigenschaften" die Eig

    https://www.itmz.uni-rostock.de/en/onlinedienste/e-mail-und-kollaboration/kalender/faq/zugriff-auf-kalender-und-aufgaben-des-universitaeren-postfaches-mit-thunderbird-ab-version-115/

  3. Praktikum BA Sportwissenschaften

    zukünftige Tätigkeitsfelder getestet werden. Das Praktikum ist laut Studienplan im 3. Studienjahr (5.& 6. Semester) zu absolvieren. Es ist möglich das Praktikum ein wenig weiter nach vorne zu schieben

    https://www.isportwi.uni-rostock.de/en/bachelor-und-master/praktikum-ba-sportwissenschaften/

  4. Key to researching large planets: Research team discovers novel form of water
    12.01.2026

    at European XFEL. These facilities enable researchers to compress water to pressures of more than 1.5 million atmospheres and heat it to temperatures of several thousand degrees Celsius – while simultaneously

    https://www.physik.uni-rostock.de/en/translate-to-english-neuigkeiten-und-highlights/translate-to-english-detailansicht-der-news/n/schluessel-zur-erforschung-grosser-planeten-forscherteam-weist-neuartige-form-von-wasser-nach-261842/

  5. Mechanisms of insect flight

    intends to keep the azimuth position of a black stripe by changing its wing stroke amplitudes by only 2-5° angular degrees. Electrophysiological investigations and Calcium Imaging of the asynchronous indirect

    https://www.tierphysiologie.uni-rostock.de/en/research-jobs/workgroups/prof-dr-lehmann/neurobiology-of-insect-flight/

  6. SoilDiatoms: Terrestrial diatoms as bioindicators for the soil ecological status

    experimentally validating species-specific bioindicator values from the previous correlation analysis; 5.) to develop a new soil diatom index (SDI) for the soil ecological status, thereby providing fundamental

    https://www.angewandteoekologie.uni-rostock.de/en/research/projects/current-projects/soildiatoms-terrestrial-diatoms-as-bioindicators-for-the-soil-ecological-status/

  7. Gender Equity Policy (GEP) Analysis

    -Studie-zur-Geschlechterverteilung-in-Filmproduktionen-id31778212.html?fbclid=IwAR1eosSLG7b8jTrb-4K5fnBF51CzRs4ak1isL43DljthWeI6HJnmFCgIDN0 Find more information about the project in English here: kinomatics

    https://www.imf.uni-rostock.de/en/forschung/kommunikations-und-medienwissenschaft/gender-equity-policy-gep-analysis/

  8. Prof. Dr. Klaus Boldt

    Liebig-Stipendium des Fonds der Chemischen Industrie 2014-2015 Postdoc, TU Dresden 2016 Marie Curie 5-Year Research Fellow, Zukunftskolleg Konstanz 2015-2022 Forschungsgruppenleiter, Universität Konstanz

    https://www.chemie.uni-rostock.de/en/arbeitsgruppen/physikalische-chemie/prof-dr-klaus-boldt/

  9. Prof. Dr. Martin Köckerling

    Vorlesung + Seminar Allgemeine Chemie im Nebenfach Vorlesung AC 3: Festkörperchemie (BSc Ch) Vorlesung AC 5A: Vom Molekül zum Material (BSc Ch) Vorlesung AC 6: Materialdesign (MSc Ch) Vorlesung + Seminar AC 7:

    https://www.chemie.uni-rostock.de/en/arbeitsgruppen/anorganische-chemie/prof-dr-martin-koeckerling/

  10. Certificates

    ). Don't forget to sign the paper. download authorisation paper You can hand in an envelope (size A5), with your address and with sufficient postage on it, at our Office of Student Affairs. As soon as

    https://www.sprachenzentrum.uni-rostock.de/en/languages/languages-a-g/german-as-a-foreign-language/certificates/

Displaying results 3051 to 3060 of 4889.
  • Previous
  • ...
  • 302
  • 303
  • 304
  • 305
  • 306
  • 307
  • 308
  • 309
  • 310
  • 311
  • ...
  • 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