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

    Christologie des Korans und die deutschsprachige Theologie, Köln, Weimar und Wien 2000, in: ThLZ 128/5, Sp. 483-486. 2002 Abdullahi Ahmed An-Na’im, Proselytization and Communal Self-Determination in Africa [...] und Girschek, G., Das religiöse Wissen der Menschheit, Bd. 1, Freiburg/Basel/Wien 1999, in: ThLZ 125/5, Sp. 490-491. Ezugwu, Tony Ifeanyi, Reconciliation: A Community Celebration. A Case Study in Inculturation [...] 23/3 (1987), S. 77. Michael Klöckner/Udo Tworuschka (Hg.), Ethik der Religionen - Lehre und Leben, 5 Bde., München/Göttingen 1984-1986, in: ZMiss XIII/2 (1987), S. 123-126. Anton Wessels, De Koran verstaan

    https://www.theologie.uni-rostock.de/en/fachgebiete/religionswissenschaft-und-interkulturelle-theologie/prof-dr-klaus-hock/rezensionen/

  2. Volume III: Continuity

    434–545), Marius Victorius (Aleth. 2.456–97), Dracontius (laud. dei 2.154–75 and 2.378–407), Avitus (4 and 5), as well as a few other shorter passages. All these texts combine biblical passages depicting sea-storms [...] (531–61), for instance, contains strong intertextual references to Vergil’s funeral games in Aeneid 5, which shape its meaning, especially the concept of the figure of Jesus. References to epic structures [...] description of the race in the Hippodamia , for example, refers not only to Vergil’s ship race in Aeneid 5 but also to other events during the funeral games. De Opera Pistoria , a non-mythological poem, transposes

    https://www.epische-bauformen.uni-rostock.de/en/translate-to-english-volume-iii-continuity/

  3. Publications

    fuel type and photochemical aging" , (2025) Environmental Science: Atmospheres, 5 (9), pp. 973 - 986, DOI: 10.1039/d5ea00040h Saraji-Bozorgzad, M.R., Bendl, J., Jeong, S., Padoan, S., Mudan, A., Etzien [...] Single-Cylinder Engine, 20th Symposium “Sustainable Mobility, Transport and Power Generation”, 4th - 5th September 2025, Graz, Österreich Schümann, U., Richter, M., Buchholz, B. “Besonderheiten bei der [...] "Development trends for air pollution reduction of large engines – on the way to a greener shipping", 4.-5. November 2019, 40. Duisburger Kolloquium Schiffstechnik / Meerestechnik, Duisburg Stengel, B.; Pinkert

    https://www.lkv.uni-rostock.de/en/research/publications/publications/

  4. Selig

    fields. Abstract 46 th Annual Meeting of the Ecological Society of Germany, Austria and Switzerland, 5-9 September, Marburg, Germany, 349-350. Selig, C., Pannwitt, H., Westerman, P. R., Gerowitt, B. (2016)

    https://www.auf.uni-rostock.de/en/professorships/h-w/crop-health/team/selig/

  5. Kalenderblatt September 2015

    berechnet. In den Absaugleitungen lagerte sich Eisensilicofluorid ab (Phosphor wurde aus Fluorapatit Ca 5 [F(PO 4 ) 3 ] gewonnen, das von der Halbinsel Kola stammte). Diese Fluoremission interessierte mich

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2015/kalenderblatt-september-2015/

  6. Kalenderblatt Dezember 2015

    Bienen. Eine tierpsychologische Untersuchung. In: Zoologische Jahrbücher (Physiologie) Band 40, 1923. [5] Die Nobelpreisrede ist zu finden unter: http://www.nobelprize.org/nobel_prizes/medicine/laureates/

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2015/kalenderblatt-dezember-2015/

  7. Digitale Systeme

    2001 Bähring: Mikrorechner-Technik, Springer Verlag, 2002 Tanenbaum: Structured Computer Organization, 5. Auflage, Prentice Hall, 2006 Links Vorlesung EECS150 - Components and Design Techniques for Digital

    https://www.imd.uni-rostock.de/en/lehre/lehrangebote/prof-t-timmermann/digitale-systeme/

  8. Speicherung elektrischer Energie mit neuartigen, organischen Redox-Flow-Batteries

    10-13 Rosenberg, D., Busker, M., Jansen, W. (2019): Modellversuche zu Redox-Flow-Batteries. ChemKon 26 (5), 203-208 (peer-review) Rosenberg, D., Wachhholz, M., Böttger, S., Busker, M., Jansen, W. (2019): Organische

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/innovative-batterien-fuer-den-chemieunterricht/speicherung-elektrischer-energie-mit-neuartigen-organischen-redox-flow-batteries/

  9. 4. Spieltags-Bericht 15.05.2024 (Sommersaison 2024)
    24.05.2024

    Gesundheitstags ein unabhängiges Fußballturnier zu der Zeit der Uni-Liga stattfinden. Somit ist der 5. Spieltag der Uni-Liga erst am 05.06.2024. Ab 17:00 Uhr wird an der Waldessaumsportanlage (Am Waldessaum

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/4-spieltags-bericht-15052024-sommersaison-2024-195791/

  10. BloSSom 2019

    on the Blockchain Assoc. Prof. Dr. Alex Norta (Tallinn) & MSc Benjamin Leiding (Göttingen) Module 5: Blockchain and the Law Assoc. Prof. Dr. Thomas Hoffmann (Tallinn) Module 6: Authentication and Digital

    https://www.uni-rostock.de/en/international-affairs/rostock-international-house/summer-schools/blossom/blossom-2019/

Displaying results 3111 to 3120 of 4868.
  • Previous
  • ...
  • 308
  • 309
  • 310
  • 311
  • 312
  • 313
  • 314
  • 315
  • 316
  • 317
  • ...
  • 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