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. Uni Rostock Geschichte – Gegenwart – Zukunft

    der Habilitierten sind Frauen. Waren Anfang der neunziger Jahre des vergangenen Jahrhunderts nur 6,5 % der Lehrstühle an deutschen Universitäten von Frauen besetzt, hat sich dieser Wert bis 2007 auf 16

    https://www.ief.uni-rostock.de/en/studieninteressierte/informieren/hochschul-informations-plattform/weitere-informationen-studieren-in-rostock-und-in-mv/uni-rostock-geschichte-gegenwart-zukunft/

  2. EU-Doktoranden-Trainings-Netzwerk (ITN) EVOCATION

    Training and Predicting Visual Error for Real-Time Applications. Proc. ACM Comput. Graph. Interact. Tech. 5 , 1. DOI: 10.1145/3522625 URL Pintus, R., Ahsan, M., Zorcolo, A., Bettio, F., Marton, F., and Gobbetti

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/erfolgreich-abgeschlossene-grossprojekte/eu-doktoranden-trainings-netzwerk-itn-evocation/

  3. Inklusive Lern-Lehr-Prozesse in heterogenen Lerngruppen

    Individuelle Lernwege sichtbar machen. Mit einer Lernlandkarte das eigene Lernen reflektieren. In: Englisch 5 bis 10. Nr. 45 (1) 2019, S. 32-34. Kuty, M. & Rühlow, D. (2019). BeobAchten – Fachdidaktische Gleitsicht

    https://www.zlb.uni-rostock.de/en/qualitaetsoffensive-lehrerbildung/projektbereiche/inklusive-lern-lehr-prozesse-in-heterogenen-lerngruppen/

  4. ELAINE (DFG SFB 1270)

    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/forschung/projekte/forschungsprojekte/elaine-dfg-sfb-1270/

  5. WinConfig-Toolkit

    Quell- oder Zielportnummer oder ANY TCP oder UDP oder ANY IN oder OUT Beispiele ANY 53 UDP OUT Spalte5 Spalte6 Bedeutung Programm Dienst Pflichtfeld nein nein Mögliche Werte Vollständiger Pfad zum Programm

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

  6. Publikationen

    (Hrsg.) (2024): Quo Vadis? Tagung zur digitalen Lehre und Lehrkräftebildung in M-V. Tagung am 4. und 5. Oktober 2023, Online und Präsenz, 310 S. - DOI: 10.25656/01:28683 Bicheler, Joachim; Heinrich, Gudrun;

    https://www.zlb.uni-rostock.de/en/veroeffentlichungen/publikationen/

  7. Mathematical Institute Colloquium

    more general contexts. We shall then present some applications to mathematical finance. 14.07.2021 , 1 5:15 Uhr , Online-Veranstaltung Prof. Kim Knudsen (Technical University of Denmark) "Electromagnetic imaging

    https://www.mathematik.uni-rostock.de/en/events/regular-events/institute-colloquium/

  8. Florian Sprenger

    Analysis of Oil Recovery Systems in Three-Phase Flows and Arbitrary Sea States, Proceedings of the 5th ANSYS FLUENT Conference on Multiphase Flows, Dresden, Deutschland 2005 Sprenger, F. and Varyani, K

    https://www.lsb.uni-rostock.de/en/team/florian-sprenger/

  9. Prof. Dr. Andreas Bieberstedt

    Niederdeutschdidaktik. Grundlagen und Perspektiven zwischen Varianz und Standardisierung. 2021. Bd. 5: Klaas-Hinrich Ehlers: Geschichte der mecklenburgischen Regionalsprache seit dem Zweiten Weltkrieg.

    https://www.germanistik.uni-rostock.de/en/personen/professuren/prof-dr-andreas-bieberstedt/

  10. Chair of Lightweight Design

    as a student assistant Exciting theses News Talk at AIComp 2026 in Vancouver 13.08.2026 From August 5 to 7, our research associate Emanuel von Cramon-Taubadel attended AIComp 2026 in Vancouver. There, he

    https://www.cld.uni-rostock.de/en/chair-of-lightweight-design/

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