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

4883 Results:

  1. Publications Chair "Reliability and Security of Electronic Systems"

    нагнетательных структур, интегрированных в печатные платы”, Технологии с электронной промышленностью, No. 5, pp. 66–70, 2017 Mathias Nowottnick, Andrej Novikov, Jörg Trodler, “Восможности и ограничения припоев

    https://www.igs.uni-rostock.de/en/professors/reliability-and-security-of-electronic-systems/prof-dr-ing-habil-mathias-nowottnick/publications-chair-reliability-and-security-of-electronic-systems/

  2. Master's theses

    he Fakultät, University of Rostock. SCHMIDT, Michel (2018): Analyzing kinematic parameters of the P5 of true swimming crabs in comparison to non-swimming crab species (Decapoda, Brachyura, Portunoidea)

    https://www.zoologie.uni-rostock.de/en/bibliography/masters-theses/

  3. Ehemalige

    der Universität Rostock 09/2009 - 04/2010 Weiterbildung „Praxisorientierte Konstruktion mit CATIA V5 und Technologie der faserverstärkten Kunststoffe (CFK)“ bei CADpartner Ingenieurgesellschaft mbH Rostock

    https://www.lmt.uni-rostock.de/en/ehemailige/

  4. Block - Katharina

    Anschluss an Helmuth Plessner, Schwerpunktheft der Allgemeine Zeitschrift für Philosophie 47.1/2022, S. 5-11. Block, K. (2021): Ecology of Care. In: Dies./Kloeg, J. (Hrsg.): Ecology 2.0 – The Contribution of

    https://www.isd.uni-rostock.de/en/theorie/block-katharina/

  5. Veranstaltungen

    Seel Vorsitzender Richter am Landesarbeitsgericht Mecklenburg-Vorpommern a.D. 37. Arbeitsrechtsabend 5. November 2015 Generalthema: "300 Tage Mindestlohngesetz – Grundlagen und erste Erfahrungen" Referenten:

    https://www.juf.uni-rostock.de/en/fakultaet/pfad/fakultaet/institute/institut-fuer-arbeitsrecht/veranstaltungen/

  6. EFRE Geräteübersicht

    Lehrstuhl für Strukturmechanik 24.07.2024 - 31.08.2025 34.554,30 Euro WIG-24-0030 Axialprüfmaschine 5 kN Herr Prof. Weißgräber & Herr Vertretungsprof. Spitzer Fakultät für Maschinenbau und Schiffstechnik

    https://www.uni-rostock.de/en/forschung/forschungsprojekte/eu-projekte-und-wissenschaftliche-geraete/efre-geraeteuebersicht/

  7. em. Prof. Dr. Thomas Klie

    Religiöse Kommunikation und ihre Wahrheitsbedingungen PThW Bd. 24 Berlin: deGruyter 2020 472 Seiten, 5 Abbildungen ISBN: 978-3-11-063133-3 99,95 EUR Auch als e-Book erhältlich. Ohne einen Wahrheits- und [...] Dienstleistung. Ökonomie des Abschieds Stuttgart: Kohlhammer-Verlag 2019 176 Seiten ISBN: 978-3-17-0361654-5 32,00 EUR Bestattungen sind nicht nur ein trauriger Kasus, sondern immer auch ein Anlass, an dem vielfältige [...] Kommunikationen in der Bestattungskultur Stuttgart: Kohlhammer 2016 224 Seiten ISBN 978-3-17-029250-5 35,00 EUR Seit geraumer Zeit wird bereits im Cyberspace bestattet und getrauert. In dem Maße, wie sich

    https://www.theologie.uni-rostock.de/en/fachgebiete/praktische-theologie/prof-dr-thomas-klie-1/

  8. Aktuelles

    Verbundprojekt Emissionsminderung in der Nutztierhaltung (EmiMin) startete im Frühjahr 2021 im Teilprojekt 5: „Emissionsarme planbefestigte Böden in der Milchviehhaltung“ für die Professur Agrartechnologie und [...] (A.F.E.R. e.V.-Institut) auf einem Standort am Radelsee und im Recknitztal über einen Zeitraum von 5 Jahren (2015 - 2020) verschiedene Bewirtschaftungsmaßnahmen untersucht. Dazu wurde alle 2 Jahre die [...] Verbundprojekt: Emissionsminderung in der Nutztierhaltung (EmiMin) startet im Frühjahr 2021 im Teilprojekt 5: „Emissionsarme planbefestigte Böden in der Milchviehhaltung“ für die Professur Agrartechnologie und

    https://www.auf.uni-rostock.de/en/professuren/agrarbereich/landwirtschaftliche-verfahrenstechnik/aktuelles/

  9. 2020

    Untersuchungen zur Expression und pharmakologischen Modulation des metabotropen Glutamatrezeptors 5 in Dystoniemodellen: dtsz Hamstermutante und DYT1 knock-in Maus. Dissertation, Universität Leipzig, [...] Stefanie; Richter, Franziska; Richter, Angelika (2020): Striatal and cortical metabotropic glutamate 5 receptor expression and behavioral effects of the positive allosteric modulator CDPPB in a model of

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

  10. Abstracts

    s Lernen schon in der Grundschule? The Potential of Picture Books." In: Grundschule Englisch. 63.2-5. BIG-Kreis (2015). Der Lernstand im Englischunterricht am Ende von Klasse 4: Ergebnisse der BIG Studie [...] Zielgruppen können, je nach Zusammensetzung der TeilnehmerInnen, SchülerInnen der Jahrgangsstufe 4, 5 oder 6 sein. References: Chung, Arree (2018): Mixed. A Colorful Story . New York: Henry Holt and Company

    https://www.iaa.uni-rostock.de/en/aktuelles-/-veranstaltungen/aktuelle-veranstaltungen/teaching-with-picturebooks/abstracts/

Displaying results 4581 to 4590 of 4883.
  • Previous
  • ...
  • 455
  • 456
  • 457
  • 458
  • 459
  • 460
  • 461
  • 462
  • 463
  • 464
  • ...
  • 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