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

    Riaz, A.; Lund, H.; Boccaccini, A.R.; Seitz, H.: Field-Assisted Sintering of Barium Titanate and 45S5 Bioactive Glass for Biomedical Applications. Ceramics International, 50 (2024), 37314-37321 DOI: 10 [...] (DLP). Current Directions in Biomedical Engineering. Current Directions in Biomedical Engineering, 5 (2019), 249-252 DOI: 10.1515/cdbme-2019-0063 Drescher, P.; Oldorf, P.; Dreier, T.; Peters, R.; Seitz [...] lubrication. Current Directions in Biomedical Engineering. Current Directions in Biomedical Engineering, 5 (2019), 57-60 DOI: 10.1515/cdbme-2019-0015 Rekowska, N.; Arbeiter, D.; Konasch, J.; Riess, A.; Mau,

    https://www.lfm.uni-rostock.de/en/publications/

  2. Prof. Dr. Judith Gärtner

    alles Volk sage: ‚Amen!‘… (Ps 106,48) – Buchgrenze oder Übergang. Zur Kompositionsgeschichte des 4. und 5. Psalmenbuches“, in: F. Hartenstein / Th. Willi (Hg.), Psalmen und Chronik, FAT 2. Reihe 107, Tübingen [...] im Alten Israel, FAT 127, Tübingen 2019, 233–252. „‚Deine Fremden‘ oder ‚deine Vermessenen‘ (Jes 29,5)? – das Ineinander von Gericht und Heil im Arielwort (Jes 29,1–8)“, in: A. Graupner / J. Lanckau / S [...] Psalmentheologische und psalterkompositorische Überlegungen zur Funktion von Geschichte im 4. und 5. Psalmenbuch“, in: F.-L. Hossfeld / J. Bremer / T. Steiner (Hg.), Trägerkreise in den Psalmen, BBB 178

    https://www.theologie.uni-rostock.de/en/fachgebiete/altes-testament/prof-dr-judith-gaertner/

  3. Archive Regulations of the University of Rostock

    Archival Materials § 5 Entry into Force Terms of Use of the University Archive of the University of Rostock § 1 Duties § 2 Permission to Use the Archive § 3 Type of Use § 4 Requests for Use § 5 User Approval [...] Use of the Archival Materials The use of the archival materials is regulated in the Terms of Use. § 5 Entry into Force These Archive Regulations shall enter into force upon the decision passed by the Senate [...] project, the university and the name of the user’s supervisor. Users shall present ID upon request. § 5 User Approval The Director of the University Archive shall decide on requests for use. Approval to use

    https://www.ub.uni-rostock.de/en/universitaetsbibliothek/grundlagen-unseres-handelns/ordnungen/archivordnung/

  4. Liste

    read more 20.09.2018 5th International Workshop on Sensor-based Activity Recognition and Interaction – iWOAR 2018 (20.09. – 21.09.2018) Am 20. und 21. September 2018 findet der 5th International Workshop [...] at Elektrotechnik (FSR ET) für das Studienjahr 2018/2019. Die Fachschaftsratswahl wurde vom 3. bis 5. Dezember 2018 durchgeführt. read more 11.12.2018 Internationale X-Mas Party der Universität Rostock [...] Zertifikatskurs für Studierende“ 2018 erfolgreich abgeschlossen (19.10.2018) Vom 24. September bis 5. Oktober 2018 fand der erstmalig angebotene SAP Zertifikatskurs für Studierende am Lehrstuhl für Wi

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2018/liste/

  5. Publikationen

    Issue 5. https://doi.org/10.1111/ffe.14616 Ignatev, M.; Oterkus, E.: Remote stress fracture criterion in peridynamics. Engineering with Computers (2025). https://doi.org/10.1007/s00366-025-02149-5 Mutschler [...] e Untersuchungen zu verschiedenen Einflüssen auf den Thresholdwert der Aluminiumlegierung CuAl10Ni5Fe5-C unter Seewasserbedingungen . In: 52. Tagung DVM-Arbeitskreis Bruchvorgänge und Bauteilsicherheit [...] finite element analysis in experimental testing of total hip stems. In: Materials Testing: Vol. 60, No. 5, 2018, pp. 489-494. DOI.org/10.3139/120.111182 Ritz, F.; Stäcker, C.; Beck, T.; Sander, M.: FGA formation

    https://www.stm.uni-rostock.de/en/publikationen/publikationen/

  6. Hendrik Schubert

    pattern on encrustation of charophytes, Botanical Studies 59:31. https://doi.org/10.1186/s40529-018-0247-5 Schubert, H. , Marquardt, R., Schories, D., Blindow, I., (2015), Biogeography of Chilean charophytes

    https://www.oekologie.uni-rostock.de/en/mitarbeitende/hendrik-schubert/

  7. Jakob Heller

    preclinical deep brain stimulation research in rodents In Journal of Neural Engineering, Vol. 18, Iss. 5, ISSN: 1741-2560, pp. 1-20, DOI: 10.1088/1741-2552/ac23e1, September 2021 Fabian Hölzke, Jakob Heller

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/jakob-heller-1/

  8. Henning Puttnies

    2017 Henning Puttnies, Peter Danielis, Christian Koch, Dirk Timmermann: Java Extensions for OMNeT++ 5.0 In Proceedings of the OMNeT++ Community Summit 2017, pp. 38-42, Bremen, Deutschland, September 2017

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/henning-puttnies/

  9. About Water & Plants

    tropics. These Higher Plants are capable of enduring long periods in a virtually desiccated state of only 5% water content. The Department of Botany does research on drought-resistant vascular plants in Africa

    https://www.garten.uni-rostock.de/en/veranstaltungen/fruehere-veranstaltungen/about-water-plants/

  10. Angewandte Biologiedidaktik - Schulpraktische Übung SPÜ (WPM2)

    ng, -durchführung, -auswertung und -reflexion. Die SPÜs werden in der Regel in den Jahrgangsstufen 5 bis 9 durchgeführt. Während der Veranstaltung werden Sie eigenverantwortlich Unterrichtsstunden vorbereiten

    https://www.biodidaktik.uni-rostock.de/en/studium/lehrveranstaltungen/angewandte-biologiedidaktik-schulpraktische-uebung-spue-wpm2/

Displaying results 3181 to 3190 of 4868.
  • Previous
  • ...
  • 315
  • 316
  • 317
  • 318
  • 319
  • 320
  • 321
  • 322
  • 323
  • 324
  • ...
  • 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