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

4887 Results:

  1. Kooperationswerkstatt Lehrkräftebildung für berufliche Schulen

    5. Kooperationswerkstatt Lehrkräftebildung für berufsbildende Schulen in Mecklenburg-Vorpommern 5. Kooperationswerkstatt Lehrkräftebildung für berufsbildende Schulen in Mecklenburg-Vorpommern Am 3. Juli

    https://www.zlb.uni-rostock.de/en/forschung-entwicklung/campus-bwp-mv/vernetzung-und-dialog/kooperationswerkstatt-lehrkraeftebildung-fuer-berufliche-schulen/

  2. Appali, Revathi

    attaining their functionalities. In this proposal, we aim to investigate the synergistic potentials of 5 distinct parameters to recapitulate bone developmental processes in a perfusion bioreactor. Through [...] 3) Young´s modulus of 3D-printed scaffolds; 4) multi-step osteochondral differentiation regimes and 5) Transformer-like induced electric field (TLC-EF) stimulation to emulate piezoelectric stimuli during

    https://www.iae.uni-rostock.de/en/appali/

  3. Prof. Dr. Janet Langer

    erfahrungen und den sozialen Ort Schule in Zeiten der Pandemie. Zeitschrift für Heilpädagogik , 72(5). Verfügbar unter: sonderpaedagogik.de/aktuell/2021-05-zimmermann.html Langer, J . & Matthes, E. (2020) [...] Emotionale und Soziale Entwicklung in der Pädagogik der Erziehungshilfe und bei Verhaltensstörungen. Heft 5 - Reichweite einer Pädagogik sozio-emotionaler Entwicklungsförderung . Verlag Julius Klinkhardt. doi

    https://www.sopaed.uni-rostock.de/en/institut/personen/wissenschaftliche-mitarbeiterinnen-des-iser/dr-phil-janet-langer-1/

  4. Library Regulations of the University of Rostock

    University Library § 3 Duties of the University Library § 4 The Centre for Patents and Standards § 5 The University Archive and University Collections Department § 6 Library Management § 7 Advisory Board [...] edingungen des PNZ ) and the University Fee Regulations ( Hochschulgebührensatzung ) as amended. § 5 The University Archive and University Collections Department As a public archive, the University Archive

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

  5. Adopt a Tree (in German)

    giganteum ) 4. Baum-Patenschaft Margit Weinmann über einen Schneeglöckchenbaum ( Halesia carolina ) 5. Baum-Patenschaft Dr. Dirk-Michael Mach über einen Chinesischen Blauglockenbaum ( Paulownia tomentosa [...] Alpinum -Anlage 4. Abteilungs-Patenschaft Bärbel und Werner Brinckmann über die Offizinellen -Anlage 5. Abteilungs-Patenschaft Plattdeutsch-Verein Klönsnack-Rostocker 7 e.V. über die Staudengarten-Anlage

    https://www.garten.uni-rostock.de/en/about-us/friends-of-rostock-botanical-garden/adopt-a-tree-in-german/

  6. Bucherscheinungen

    Archive und ihrer Präsentation im Internet (= Rostocker Studien zur Volkskunde und Kulturgeschichte, 5). Münster/New York: Waxmann 2014. 320 S., mit zahlreichen, teils farbigen Abb. Sichtweisen in der M [...] herausgegeben von Hans Joachim Schmidt. Rostock 2009 (= ewa ., editionen des wossidlo-archivs, Bd. 5). Außerdem als Hör-CD erhältlich Wossidlo Lesebuch Das große Wossidlo-Lesebuch. Herausgegeben von S

    https://www.wossidlo.uni-rostock.de/en/wossidlo-forschungsstelle/aktuelles/medienspiegelnews-archiv/bucherscheinungen/

  7. Katharina Alter

    amphibians and freshwater fishes: Drivers, patterns and data limitations. Global Change Biology , 30(5): e17318. https://doi.org/10.1111/gcb.17318 Alter K , Jacquemont J, Claudet J, Lattuca ME, Barrantes [...] oxygen availability in early life stages of decapods developing in distinct environments. Mar Biol , 162(5): 1111–1124. https://doi.org/10.1007/s00227-015-2654-4 Pöhlmann K, Koenigstein S, Alter K , Abele D

    https://www.meeresbiologie.uni-rostock.de/en/team/katharina-alter/

  8. Short summary of dissertations

    Dudkin 04.02.2013 Design and Synthesis of Pyrimidine C-Nucleosides, 5-Polyfluoroalkyl-5-deazaalloxazines and Spiro[pyrimido[4,5-b]quinoline-3',5-indoline-2'-one]-3,10-dihydro-2,4-diones deutsch und englisch [...] trichlormethylierten Cyclohexenonen. Synthese und Strukturaufklärung von 1,3,5,7-Tetraketiden und permethylierten 1,3,5-Tri- und 1,3,5,7-Tetraketiden deutsch und englisch Organische Chemie Prof. P. Langer Frau [...] (LIKAT) Herr M. Sc. Bartosz Wozniak 03.12.2018 Bio-based building blocks from 5-hydroxymethylfurfural via 1-hydroxyhexane-2,5-dione as intermediate deutsch und englisch Chemie Prof. J. de Vries (LIKAT) Frau

    https://www.mathnat.uni-rostock.de/en/studium/promotion-/-habilitation/kurze-zusammenfassung-von-dissertationen/

  9. Homepage Olaf Engler

    Zentrums für Logik, Wissenschaftstheorie und Wissenschaftsgeschichte (ZLWWG) 2008 bis 2013 Herausgeber von 5 Bänden der Schlickiana (gemeinsam mit Dr. Mathias Iven und Prof. Hans Jürgen Wendel) seit 2010 Mitglied [...] Physiker und Philosoph 2006/07: 4. Natur & Geist - Prozesse in natürlicher und geistiger Welt 2007/08: 5. Natur & Geist - Ein Philosoph aus Rostock 2008/09: 6. Natur & Geist - Kulturen des Wissens 2009/10: [...] Falkenburg (Dortmund), 2. Elie G. Zahar (Cambridge), 3. Volker Gadenne (Linz), 4. Friedrich Stadler (Wien), 5. Don Howard (Notre Dame), 6. Michael Friedman (Stanford), 7. Brian McGuinness (Siena), 8. Michael H

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-olaf-engler/

  10. News

    audience. Technical field trip to the Berlinertordamm Bridge and the construction site of the new U5 subway line in Hamburg on June 12, 2026. IL student assistants Jonathan, Anika, and Anica (from r. to [...] ecological dimension to the structure. Our second stop was the construction site of Hamburg’s new U5 underground railway line. With 22 stations and a planned route length of around 25 km, the project is [...] films and visualisations provided an impressive overview of the project. We then visited two future U5 stations and gained first-hand insights into the construction process. One of the key challenges is

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/massivbau/news/

Displaying results 3411 to 3420 of 4887.
  • Previous
  • ...
  • 338
  • 339
  • 340
  • 341
  • 342
  • 343
  • 344
  • 345
  • 346
  • 347
  • ...
  • 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