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

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

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

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

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

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

  9. Exkursionen

    Waisenhauses mit Schule zu verwirklichen. Nur wenige Jahre später begann der Bau des Haupthauses (Abb. 5 links). Hierin befanden sich ursprünglich Klassenzimmer, Schlafsäle und im seitlichen Eingang eine Mensa [...] Geplant ist der Besuch der Herzog August Bibliothek (inkl. Führung und ein Gespräch mit dem Direktor). Am 5. September findet dort eine vier- bis sechsstündige Seminareinheit mit frühneuzeitlichen Drucken statt [...] 2015). 2013: Exkursion nach Südtirol Exkursion unter der Leitung von Prof. Dr. Michael North (31.08.-5.09.2013) 2011: Exkursion in die USA (Berkeley, Los Angeles, Santa Barbara) Seminar "Collections and

    https://geschichte.uni-greifswald.de/en/arbeitsbereiche/fnz/exkursionen/

  10. Applocker-Toolkit

    Kommandozeile aus: sc config AppIDSvc start= auto sc start AppIDSvc PowerShell 5 (Windows 10/Windows Server 2016 enthält PowerShell 5) Hinweise und Download-Links unter Wie schränke ich In-Memory-Angriffe (Fileless [...] die keine Whitelist-Regeln erstellt werden $FullLanguageModeUsers Windows Benutzer oder Gruppen S-1-5-32-544 Liste von Nutzern, die den Full Language Mode in einer interaktiven PowerShell nutzen können [...] zugelassen ist, sind alle Skripte der jeweiligen Skript-Engine ausführbar. Seit PowerShell Version 5 werden standardmäßig ALLE PowerShell-Skripte ausgeführt unabhängig von den Verzeichnispfaden der Software

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/toolkits/applocker-toolkit/

Displaying results 3401 to 3410 of 4861.
  • Previous
  • ...
  • 337
  • 338
  • 339
  • 340
  • 341
  • 342
  • 343
  • 344
  • 345
  • 346
  • ...
  • 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