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

4797 Results:

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

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

  3. Enrolment international students

    in Germany before) Please do not staple or clip the documents and submit them in the minimum size A5. Confirmation of receipt of documents will only be issued if a stamped and addressed postcard prepared

    https://www.uni-rostock.de/en/study/international-students/translate-to-english-enrollment-internationale-studieninteressierte/

  4. Posterbeiträge / Poster Session A

    Schultz A4 Effects of Metal Implant Corrosion Products on Human iPSC-derived Cardiomyocytes Marie Heilen A5 In Vitro Evaluation of the Cytotoxicity and Antimicrobial Efficacy of Silver Containing Nanofiber Wound

    https://www.uni-rostock.de/en/forschung/forschungscamp/poster-session/posterbeitraege-poster-session-a/

  5. Daniel Reiser

    Towards a Memristor-Based Circuit Implementation of the Hindmarsh-Rose Model On TechRxiv-Server, pp. 1-5, DOI: 10.36227/techrxiv.173603074.48447112/v1 , Authorea Preprints, Januar 2025 Markus Fritscher, Simranjeet

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/daniel-reiser/

  6. Weiterbildung

    beherrschen. Sie muss zuvor als Forschungstaucher*in – unter ähnlichen Bedingungen – getaucht sein. 5. die Befähigung als taucheinsatzleitende Person von einem anerkannten Ausbildungsbetrieb (siehe Anhang

    https://www.fotau.uni-rostock.de/en/weiterbildung/

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

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

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

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

Displaying results 2991 to 3000 of 4797.
  • Previous
  • ...
  • 296
  • 297
  • 298
  • 299
  • 300
  • 301
  • 302
  • 303
  • 304
  • 305
  • ...
  • 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