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. Karo-Modell

    dennoch weitestgehened überschneidungsfrei ist und Sie Ihr Studium in Regelstudienzeit (10 Semester = 5 Jahre) absolvieren können, wird das sog. “ Karo-Modell ” angewendet: In jeder Fachrichtung sind alle [...] Semester Module aus der Modulgruppe A , im 3. und 4. Semester dann Module aus der Modulgruppe B , im 5. und 6. Semester wieder Module aus der Modulgruppe A usw. (= Studienverlauf 1). In Ihrer zweiten Fa

    https://www.chemie.uni-rostock.de/en/studium-lehre/studiengaenge/lehramt-chemie/karo-modell/

  2. Master's degree programs

    Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to 1:00 p.m. | Phone: +49 381 498-1230 Office hours Ulmenstraße 69, House 3: Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to

    https://www.uni-rostock.de/en/studium/deutsche-studieninteressierte/studienplatzbewerbung/masterstudiengaenge/

  3. Künstliche Intelligenz

    lt werden, dass ChatGPT, DeepL, DALL-E, Midjourney und BingAI die beliebtesten Tools darstellen [5]. [5] von Garrel, J.; Mayer, J. & Mühlfeld, M. (2023). Künstliche Intelligenz im Studium. Eine quantitative

    https://www.roc.uni-rostock.de/en/andere/ur-roc/lehre-digital-gestalten/themenseiten/vorlage-themenseiten-8/

  4. Dr. Benjamin Naumann

    the African clawed frog, Xenopus laevis (Lissamphibia: Anura: Pipidae). Developmental Dynamics, 248 (5), 323-336. 2018 Naumann, B. , & Englert, C. (2018). Dispersion/reaggregation in early development of [...] nerves in early tadpoles of Xenopus laevis (Pipidae, Anura). Journal of Comparative Neurology , 526 (5), 836-857. 2017 Warth, P., Hilton, E.J., Naumann, B. , Olsson, L., & Konstantinidis, P. (2017). Development

    https://www.zoologie.uni-rostock.de/en/team/translate-to-english-mitarbeitende/dr-benjamin-naumann/

  5. Dr. Alexandra Gericke

    Bonn am 25./26.5.2024. Moderation Paneldiskussion zur Bedeutung des Militärputsches gegen Allende aus lateinamerikanischer Perspektive im Zuge des Rostocker Lateinamerika-Tages RoLaT, 5. Juli 2023. "Relations

    https://www.ipv.uni-rostock.de/en/lehrstuehle-und-personal/vergleichende-regierungslehre/mitarbeiterinnen/dr-alexandra-gericke/

  6. Finanzierung

    das jeweilige Gastland. Mobilitäten mit einer Dauer von mindestens 2 Monaten (60 Tagen) bis maximal 3,5 Monaten (105 Tage) werden taggenau gefördert. Dabei wird ein voller Monat mit 30 Tagen berechnet. A [...] (500-999 km = insgesamt 3 Reisetage, 1.000-1.499 km = insgesamt 4 Reisetage, 1.500-1.999 km = insgesamt 5 Reisetage, ab 2.000 km = insgesamt 6 Reisetage). Auf Nachfrage müssen Sie Nachweise für grünes Reisen

    https://www.uni-rostock.de/en/internationales/ins-ausland/studium-im-ausland/erasmus-studium/finanzierung/

  7. Häcker, Thomas, Prof. Dr.

    36 (5), 176–179. Burow, O.‑A., Häcker, Th. & Koltermann, S. (2025). Reformstaustelle/ Reformbaustelle Kommunikation? Pädagogische Führung. Zeitschrift für Schulleitung und Schulberatung , 36 (5), 164–166 [...] und Schulberatung , 36 (5), 198–199. Häcker, Th. & Koltermann, S. (2025). Kommunikation in der Schule. Pädagogische Führung. Zeitschrift für Schulleitung und Schulberatung , 36 (5), Themenheft. Häcker, Th [...] Werkrealschule (Heidelberg) 1993–2000 Lehrer an Grund- und Hauptschulen mit Werkrealschule (insgesamt 5 Jahre mit Unterbrechungen durch Forschungstätigkeiten als wiss. Mitarbeiter an Hochschulen) Berufliche

    https://www.isb.uni-rostock.de/en/institut/professur-fuer-erziehungswissenschaft-unter-besonderer-beruecksichtigung-der-schulpaedagogik-und-empirischen-bildungsforschung-esb/haecker-thomas-prof-dr/

  8. Peer-reviewed journal articles

    (DLP). Current Directions in Biomedical Engineering. Current Directions in Biomedical Engineering, 5 (2019), 249-252 DOI: 10.1515/cdbme-2019-0063 Drescher, P.; Oldorf, P.; Dreier, T.; Peters, R.; Seitz [...] lubrication. Current Directions in Biomedical Engineering. Current Directions in Biomedical Engineering, 5 (2019), 57-60 DOI: 10.1515/cdbme-2019-0015 Rekowska, N.; Arbeiter, D.; Konasch, J.; Riess, A.; Mau, [...] combination with different photo-curable comonomers. Current Directions in Biomedical Engineering, 5 (2019), 319-322 DOI: 10.1515/cdbme-2019-0080 Schnell, G.; Jagow, C.; Springer, A.; Frank, M.; Seitz

    https://www.lfm.uni-rostock.de/en/research/publications/peer-reviewed-journal-articles/

  9. Alle Publikationen

    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 [...] Virtualization and Software Defined Networks (NFV-SDN), DOI: 10.1109/NFV-SDN50289.2020.9289916 , pp. 1-5, Madrid, Spanien, November 2020 Eike Schweissguth, Dirk Timmermann, Helge Parzyjegla, Peter Danielis [...] Annual IEEE Consumer Communications & Networking Conference (CCNC), pp. 1-2, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, Januar 2018 2017 Peter Danielis, György Dán, James Gross, André Berger: Dynamic

    https://www.imd.uni-rostock.de/en/team/ehemalige-mitarbeitende/peter-danielis/alle-publikationen/

  10. Leitfaden "datenschutzkonforme Verarbeitung"

    Excel-Tabelle abbilden oder in einem Word-Dokument als Fließtext beschreiben, bleibt Ihnen überlassen. 5. Schritt: Verwendung einer Software/eines IT-Systems oder sonstigen technischen Hilfsmittels? Sofern [...] Erste Prüfung der Unterlagen durch die Datenschutzbeauftragte Sobald Sie die in Schritt 4 und Schritt 5 beschriebenen Unterlagen erstellt haben, reichen Sie diese bitte gebündelt per E-Mail bei der Daten [...] das VVT ( Schritt 4 ) reichen Sie bitte im DOC.X-Format (Word-Format) ein; die Checkliste ( Schritt 5 ) übermitteln Sie bitte als pdf- Datei . Nach einer ersten Sichtung dieser Dokumente werden wir uns

    https://www.uni-rostock.de/en/universitaet/vertretungen-und-beauftragte/datenschutzbeauftragte/leitfaden-datenschutzkonforme-verarbeitung/

Displaying results 2851 to 2860 of 4883.
  • Previous
  • ...
  • 282
  • 283
  • 284
  • 285
  • 286
  • 287
  • 288
  • 289
  • 290
  • 291
  • ...
  • 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