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

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

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

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

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

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

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

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

  9. Prof. Dr. Malte Brasholz

    Lehrveranstaltungen Vorlesung: Organische Chemie 4: Radikal- und Photochemie Vorlesung: Organische Chemie 5: Organische Moleküle - Synthese und Nutzung Vorlesung + Seminar: Organische Chemie 6: Natur- und Wirkstoffe

    https://www.chemie.uni-rostock.de/en/arbeitsgruppen/organische-chemie/prof-dr-malte-brasholz/

  10. Grundlagen der Strömungsmechanik

    Prüfungsvorleistung: keine Prüfungsleistung: Klausur (120 Minuten) Lehrveranstaltungen und Lehrzeit Gesamt 5 SWS davon Vorlesung 3 SWS Übung 2 SWS Arbeitsaufwand für Studierende Gesamtarbeitsaufwand 180 Std. 6

    https://www.lsm.uni-rostock.de/en/lsm-lehre/bsc/grundlagen-der-stroemungsmechanik/

Displaying results 3051 to 3060 of 4868.
  • 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