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. Johann-Peter Wolff

    Wellnitz, Christian Haubelt: Activity Recognition using Head Worn Inertial Sensors In Proceedings of the 5th international Workshop on Sensor-based Activity Recognition and Interaction (iWOAR), pp. 14:1 – 14:7

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/johann-peter-wolff/

  2. Lehre und Skripten

    "Partielle Differentialgleichungen aus der Physik" Vorlesungen "Mathematik für Physiker 1,2,3" (6, 5, 2 mal) Skripte Lehrveranstaltungen an der Uni Rostock Topology and Fourier Transform Lehrveranstaltung

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/analysis-differentialgleichungen/prof-dr-rer-nat-michael-dreher/lehre-und-skripten/

  3. Nebentätigkeit anzeigen

    einer Nebentätigkeit beachten Sie bitte folgende gesetzliche Regelungen: Die gesetzlichen Ruhezeiten (§ 5 Absatz 1 ArbZG) dürfen durch Abend- oder Nachtarbeit nicht unterschritten werden. Ebenso ist die So

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-prozesse/detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=140247&cHash=913bc9c3d549dca71106860ad245eea0

  4. ULTRHAS

    Air 2019 report, air pollution ranked fifth among all mortality risk factors in 2017, accounting for 5 million deaths and 147 million years of life lost, worldwide. An increasing number of studies indicate

    https://www.zimmermann.chemie.uni-rostock.de/en/projekte/ultrhas/

  5. Leadership Skills for Early Career Researchers (September 2026)

    LEADERSHIP SKILLS FOR EARLY CAREER RESEARCHERS Date 30 September/1 October 2026 Time 9:00 a.m. – 5:00 p.m. Lecturer Peter Wagner Kleist-Wagner Weimar Number of Participants 7 to 12 Location Seminarraum

    https://www.uni-rostock.de/en/forschung/nachwuchsfoerderung/graduiertenakademie/qualifizierungsprogramm/leadership-skills-for-early-career-researchers-september-2026/

  6. 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/transfer/services-fuer-forschende/forschungscamp/poster-session/posterbeitraege-poster-session-a/

  7. NH3-Lubricants (Kopie 1)

    Sc. Tanja van Alphen M.Sc. Richard Tröltzsch M.Sc. Uwe Etzien M.Sc. Frithjof Bauer Funding amount: 3.5 million euros Project partners: Lehrstuhl für Kolbenmaschinen und Verbrennungsmotoren (LKV) – Prof.

    https://www.lkv.uni-rostock.de/en/research/current-research-projects/nh3-schmierstoffe-1/

  8. M.Sc. Yannic Ege

    (Decapoda, Anomura, Paguridae). Zoomorphology 144, 22 (2025). https://doi.org/10.1007/s00435-025-00707-5 Ege, Y., Foth, C., Baum, D., Wirkner, C.S. , Richter, S. (2020): Adapting spherical-harmonics-based

    https://www.zoologie.uni-rostock.de/en/team/translate-to-english-doktorandinnen/msc-yannic-ege/

  9. Theology and Philosophy Library

    located on the ground floor, near the circulation desk. Study Spaces PC Workspaces The library offers 5 PC workspaces. How to log in . Find a workspace Workspaces The library has 50 workspaces. Connect to

    https://www.ub.uni-rostock.de/en/libraries-facilities/campus-library-innenstadt/theology-and-philosophy-library/

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

Displaying results 3071 to 3080 of 4889.
  • Previous
  • ...
  • 304
  • 305
  • 306
  • 307
  • 308
  • 309
  • 310
  • 311
  • 312
  • 313
  • ...
  • 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