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. Counselling and Coaching

    services of various institutions. Phone: +49 381 498-1230 (Monday to Thursday between 9:00 am and 5:00 pm and Friday between 9:00 am and 1:00 pm). Mail: studium(at)uni-rostock.de ( usually we answer your [...] (Parkstr. 6, 18057 Rostock) Mon and Wed between 09:00 am and 1:00 pm Tue and Thu between 09:00 am and 5:00 pm Fri between 09:00 am and 12:00 pm Rostock International House Rostock International House Rostock

    https://www.uni-rostock.de/en/study/careers-service/portal-page-careers-service/counselling-and-coaching/

  2. Work

    BVM 2026. Informatik aktuell. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-51100-5_87 Hellwig, Jan and Strauß, Tobias and von Harbou, Erik and Neymeyr, Klaus. Using machine learning to [...] Reconstruction of magnetic confgurations in W7-X using artifcial neural networks. In: Nuclear Fusion 58.5 (Mar. 2018), p. 056009. DOI: doi.org/10.1088/1741-4326/aab22d . T. Grüning, R. Labahn, M. Diem, F. Kleber

    https://www.mathematik.uni-rostock.de/en/citlab/work/

  3. Nils Kellner

    “canspin-spa-19”. Version v0.5.1. [Dataset] https://doi.org/10.5281/ZENODO.18864694 . Lemke, Marc, Nils Kellner, und Ulrike Henny-Krahmer. 2026. “canspin-deu-19”. Version v0.5.1. [Dataset] https://doi.org/10

    https://www.germanistik.uni-rostock.de/en/lehrende/wiss-mitarbeiterinnen-und-mitarbeiter/nils-kellner/

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

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

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

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

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

  9. Electromagnetic Field Theory - Prof. van Rienen

    n of an 800 MHz 5-cell elliptical SRF cavity for T¯t working point of the future circular Electron-Positron Collider. 14th International Particle Accelerator Conference (IPAC 2023), 5. – 12. May 2023, [...] Electromagnetic Fields (COMPUMAG 2015), Montréal, Canada, 28 June - 2 July, 2015, paper number: PB5-5. U. Zimmermann, U. van Rienen: Investigation of the Electric Field Distribution within an Electrostimulated [...] Magnets . Proc. of the 5th Intl. Particle Accelerator Conf. (IPAC 2014): 1668 – 1670. K. Papke, F. Gerigk, U. van Rienen: Progress of HOM Coupler for CERN SPL Cavities . Proc. of the 5th Intl. Particle Accelerator

    https://www.iae.uni-rostock.de/en/publications/electromagnetic-field-theory-prof-van-rienen/

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

Displaying results 2851 to 2860 of 4868.
  • 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