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

4868 Results:

  1. Module catalogue summer term

    Veranstaltung viele der neueren Anwendungen im Web kennenlernen. Neben Technologien (Javascript, HTML5, kollaboratives Editieren) werden dabei auch wirtschaftliche Fragen (Business Cases) und strukturelle

    https://www.informatik.uni-rostock.de/en/study-teaching/master-study-courses/informational-technologycomputer-engineering-msc/courses/compulsory-optional-section/current-lecture-portfolio-in-the-compulsory-optional-section-computer-science/module-catalogue-summer-term/

  2. Lara Prelle

    the description of six new species based on the examination of clonal cultures. Phycology Journal, 2, 5 (2026). doi.org/10.1186/s44377-026-00010-4 Schultz , K., Dreßler, M., Karsten, U. & Prelle, L. R. (2026)

    https://www.angewandteoekologie.uni-rostock.de/en/team/lara-prelle/

  3. Enrolment international students

    in Germany before) Please do not staple or clip the documents and submit them in the minimum size A5. Confirmation of receipt of documents will only be issued if a stamped and addressed postcard prepared

    https://www.uni-rostock.de/en/study/international-students/translate-to-english-enrollment-internationale-studieninteressierte/

  4. KI-Nutzungsstrategien in Qualitativer Forschung (November 2026)

    dresing & pehl GmbH – audiotranskription.de und entwickelt die Transkriptions- und QDA-Softwares f4/f5transkript und f4analyse. Anmeldung* *Anmeldung & Teilnahmebedingungen | *Registration & Conditions for

    https://www.uni-rostock.de/en/forschung/nachwuchsfoerderung/graduiertenakademie/qualifizierungsprogramm/ki-nutzungsstrategien-in-qualitativer-forschung-november-2026/

  5. Die Studieneingangsphase in den Lehramtsstudiengängen

    Veranstaltungsort: online unter folgendem Link: https://uni-rostock-de.zoom-x.de/j/63124840453?pwd=iirRrNbX5M7a7wioLRkdXC1ZdnRuWR.1

    https://www.zlb.uni-rostock.de/en/studium-an-der-universitaet/studium-an-der-universitaet-rostock/die-studieneingangsphase-in-den-lehramtsstudiengaengen/

  6. CargoAssist (BMWK)

    CargoAssist: Hybrid Communication Approach for Cargo Monitoring and Anomaly Detection In Proceedings of the 5th European Workshop on Maritime Systems Resilience and Security – Maritime Security Conference (MARESEC

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/cargoassisst-bmwk/

  7. Bettina Rabe, M.A.

    in stationären Erziehungshilfen“. In: Forum Erziehungshilfen, Rubrik Tagungsberichte. 27. Jg., H. 5, S. 293-295. Vorträge Vorträge Brüche der (An)Ordnung: Soziale Praktiken im Tanztraining mit Jugendlichen

    https://www.iasp.uni-rostock.de/en/institut/wissenschaftliche-mitarbeiterinnen/bettina-rabe-ma/

  8. 2018

    und wird stärker an den Individuen ausgerichtet, egal ob es sich um Qualifikationen auf EQF Ebene 4, 5 oder 6 handelt. Hierfür werden die vielfältigen Erfahrungen zur individuellen Kompetenzfeststellung [...] wobei diese auf 54 Grundberufen basieren. Eine anschließend weitere Spezialisierung basiert auf 3-5-jähriger Arbeitserfahrung mit Wahlmodulen zur Ergänzung der Qualifikation, die in der Schule oder im [...] Radio MV. Institut für Berufspädagogik mit zwei Vorträgen auf der 20. gtw-Konferenz vertreten Am 4. und 5.10.2018 fand an der Otto-von-Guericke-Universität Magdeburg die 20. gtw-Herbstkonferenz der Arbeits

    https://www.ibp.uni-rostock.de/en/aktivitaeten/2018/

  9. Publications

    Unstructured Peer-To-Peer Networks (Student Paper & Poster) IEEE Sarnoff Symposium 2008, pp. 1-5, ISBN: 978-1-4244-1843-5, Princeton, USA, April 2008 Jakob Salzmann, Jens Schulz, Ralf Behnke, Peter Danielis, Dirk [...] (WFCS 2025), Rostock, Germany, June 2025 Peter Danielis, Helge Parzyjegla, and Stefan Lüdtke, editors 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) University of Rostock [...] Annual IEEE Consumer Communications & Networking Conference (CCNC), pp. 1-2, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, January 2018 2017 Peter Danielis, György Dán, James Gross, André Berger: Dynamic

    https://www.informatik.uni-rostock.de/en/parsys/research/publications/

  10. Secondary Literature

    Vergilius 56: 19–25. Battistella, C. (2012). La verità delle Muse: un dittico ovidiano (met. 5.250–664 e fast. 5.1–110), MH 69: 96–102. Baudou, A. (2005). Historiam per transitum tetigit: lecture servienne [...] Brioso Sánchez, M. (1989). Caritón III 5 y sus modellos, Minerva 3: 205–8. Brioso Sánchez, M. (1991). Apolonio de Rodas II 467. ¿Unos inoportunos remeros?, Minerva 5: 99–104. Brioso Sánchez, M. (1994–1995) [...] 143–61. Briggs, W. (1975). Augustan athletics and the games of Aeneid 5, Stadion 1: 267–83. Briggs, W. W. J. (1992). The similes of Aeneid 5, in: R. M. Wilhelm/H. Jones (eds.), The two worlds of the poet. New

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

Displaying results 3161 to 3170 of 4868.
  • Previous
  • ...
  • 313
  • 314
  • 315
  • 316
  • 317
  • 318
  • 319
  • 320
  • 321
  • 322
  • ...
  • 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