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. Christoph Niemann

    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 Marco Heerdegen, Monique Zwar

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/christoph-niemann/

  2. Habilitation

    habilitation procedure Further implementing rules of the regulations for habilitation of the UMR of 5 November, 2018 Faculty of Humanities (PHF) Notes on the application and the implementation of the h

    https://www.uni-rostock.de/en/research/support-of-early-career-researchers/career-paths/postdoc-phase-entwurf/habilitation/

  3. Finished work

    ability of generative AI to answer database exams, Master thesis Integration of Wired TSN and Wireless 5G Networks, Master thesis 2025 gPTP time synchronization implementation for PikeOS, Master thesis Development

    https://www.informatik.uni-rostock.de/en/chairs/independent/pd-dr-ing-habil-peter-danielis/student-work/finished-work/

  4. Prof. Dr. C. Retzlaff-Fürst

    29–32. Feike, M., Levetzow, S., & Retzlaff-Fürst, C. (2023). Faszination für die Natur. Mathematik 5-10 , 65 (4), 38–41. Kreher, T., & Retzlaff-Fürst, C. (2023). Verständnis vom Wesen der Naturwissenschaften

    https://www.biodidaktik.uni-rostock.de/en/arbeitsgruppe/mitarbeiter/prof-dr-c-retzlaff-fuerst/

  5. Studien- und Projektarbeiten

    Ali Evaluation of MQTT-SN QoS Levels in a WLAN Mesh Setup 2021 M. Jamshidi Evaluation of Bluetooth 5.1 AoA Capabilities for Indoor Positioning Applications 2021 A. Ahmad Evaluation of the influences of [...] PCI-Cores in die Leon Sparc Architektur 2003 H. Widiger Konzeption fuer die Implementierung eines LAPV5DL 2003 P. Nimsch Machbarkeitsstudie fuer die Verschluesselung von Handygespraechen 2003 R. Joost Siemens [...] Informationstechnik Rostock, Deutschland, 2003 H. Widiger Konzeption fuer die Implementierung eines LAPV5DL Projektarbeit an der Universität Rostock, Fachbereich Elektrotechnik und Informationstechnik Rostock

    https://www.imd.uni-rostock.de/en/lehre/abgeschlossene-arbeiten/studien-und-projektarbeiten/

  6. Digitalisierte Lehre

    Taskcards Präsentation und Interaktivität: Mentimeter, Oncoo, LearningApps, Wordwall, Learningsnacks, H5P Erstellung von digitalen Materialien und Medien: Tutory (digitale Arbeitsblätter), CapCut (Video-Editing) [...] dem folgenden Link verfügbar: https://www.peterhuylab.de/youtube/ https://www.youtube.com/channel/UCi5QOhcitu-ildnYinSk3UQ Lizenz : Der Autor besitzt einen eigenen YouTube Kanal. Damit liegt das Urheberrecht [...] Standards, Methodologies M3 Virtual teams, IT tools, Case study and Reflection M4 Project Structure M5 Project Phases M6-8 Project Planning M9 Project Risk, Communication and Knowledge Management M10 Project

    https://www.uni-rostock.de/en/weiterbildung/hochschuldidaktik/gute-lehre-sichtbar-machen/digitalisierte-lehre/

  7. Fuel and Lubricant Laboratory

    d and complex analysis methods that go far beyond the scope of a routine laboratory. Over the last 5 years in particular, the laboratory has developed into a recognised centre of excellence for the analysis [...] nm, laser class II) and enables measurements with a height resolution in the z-direction of up to 0.5 nm. Keyence VK-X200 Optical system: Confocal pinhole aperture Total magnification: up to 28,800 x (full [...] between -40°C and 200°C. Three different measuring systems are available for the measurements. CP50-0.5/TG (cone) PP50/TG (plate) PP25/TG (plate) Ball-on-disc tribometer with pressure chamber (High Pressure

    https://www.lkv.uni-rostock.de/en/laboratories/fuel-and-lubricant-laboratory/

  8. Poster

    Baetzel, A.G. Badani, R. Horn, W. Lühs, 2001: Yellow seeded winter rape. GCIRC Technical Meeting, Pozna, 5.-7. Juni 2001, Polen, S. 9 P53. Horn R., Kusterer B., Lazarescu E., Özdemir N., Prüfe M., Weber S., [...] Chromosomes, Genomes (Abstracts of the Annual Meeting of Genetics Society 1997 in Giessen) Volume 5: 50 P 38. Korell M., Horn R., Friedt W. (1996) Zur Selektion in vitro auf osmotische Anpassungsfähigkeit [...] annuus ). Fourth International Workshop on Plant Mitochondria, Ithaca, USA, Posterbeitrag S. 40 P 5. Köhler R.H., Horn R., Zetsche K. (1989) Structure and expression of the mitochondrial genome of fertile

    https://www.pflanzengenetik.uni-rostock.de/en/aktivitaeten/poster/poster/

  9. Good-Practice-Beispiele

    Taskcards Präsentation und Interaktivität: Mentimeter, Oncoo, LearningApps, Wordwall, Learningsnacks, H5P Erstellung von digitalen Materialien und Medien: Tutory (digitale Arbeitsblätter), CapCut (Video-Editing) [...] dem folgenden Link verfügbar: https://www.peterhuylab.de/youtube/ https://www.youtube.com/channel/UCi5QOhcitu-ildnYinSk3UQ Lizenz : Der Autor besitzt einen eigenen YouTube Kanal. Damit liegt das Urheberrecht [...] Standards, Methodologies M3 Virtual teams, IT tools, Case study and Reflection M4 Project Structure M5 Project Phases M6-8 Project Planning M9 Project Risk, Communication and Knowledge Management M10 Project

    https://www.roc.uni-rostock.de/en/good-practice-beispiele/

  10. Primary Literature

    completes de Stace, vol. I: (Silv. 1–4) ed. by L.-W. Rinn. Vol. II: (Silv. 5, Theb. 1–4) by N.-L. Achaintre. Vol. III–IV: (Theb. 5–12, Ach.) by M.-L. Boutteville. Paris. Sweeney, R. D. (1997). Lactantii Placidi [...] Ernesti, J. A./Clarke, S. (1759–1764). Homeri opera omnia. Ex recensione et cum notis S. Clarkii, 5 vols. Leipzig. Gin, P.-L.-C. (1786). OEuvres complettes. Traduition nouvelle avec des notes par M. Gin [...] 1985–1993). The Iliad. A commentary, vol. I (1985): Books 1–4 (G. S. Kirk). Vol. II (1990): Books 5–8 (G. S. Kirk). Vol. III (1993): Books 9–12 (B. Hainsworth). Vol. IV (1992): Books 13–16 (R. Janko)

    https://www.epische-bauformen.uni-rostock.de/en/epic-poetry-network/primary-literature/

Displaying results 3711 to 3720 of 4887.
  • Previous
  • ...
  • 368
  • 369
  • 370
  • 371
  • 372
  • 373
  • 374
  • 375
  • 376
  • 377
  • ...
  • 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