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

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

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

  7. Studienorganisation

    Modul-Nr. LP Lehrform Sem. Astronomie und Astrophysik: Sterne, Galaxien, Universum 2380520 3 V/2, Ü/0,5 WiSe Grundlagen der Astronomie und Astrophysik (Dieses Modul steht vorrangig Lehramtsstudierenden zur [...] V/3, P/2, Ü/1 WiSe Anorganische Chemie I: Hauptgruppenchemie unter ökologischen Aspekten 2500710 9 V/5, Ü/1 WiSe Physikalische Chemie I: Grundlagen der Thermodynamik und Kinetik 2500150 6 V/4, Ü/2 SoSe [...] n im Prüfungsportal. Rücktritt, Versäumnis Eine Prüfungsleistung gilt als mit „nicht ausreichend“ (5,0) bewertet, wenn der Kandidat, nachdem er zu der Prüfung zugelassen wurde, ohne triftigen Grund von

    https://www.physik.uni-rostock.de/en/studium-und-lehre/studiengaenge/bsc-in-physik/studienorganisation/

  8. Dr. Ellen Haustein

    ng (Part 4: First consolidation), in: KoR, Vol. 15, Issue 06/2015, pp. 318-328; Part 5: Folgekonsolidierung (Part 5: Subsequent consolidation), in: KoR, Vol. 15, Issue 07-08/2015, pp. 378-390; Part 6: [...] 7: Finanzinstrumente I, 19. Jg., Heft 4/2019, S. 199-207; Teil 8: Finanzinstrumente I, 19. Jg., Heft 5/2019, S. 247-256; Teil 9: Finanzinstrumente I, 19. Jg., Heft 6/2019, S. 298-307; Teil 10: Vorräte I [...] Sektor - Fallstudie zu grundlegenden Fragen der Bilanzierung nach HGB & SsD sowie IFRS & IPSAS (Teil 5: Bilanzierungsfeld immaterielle Vermögensgegenstände bzw. -werte), in KoR, 19. Jg., Heft 1/2019, S.

    https://www.bwl.uni-rostock.de/en/institut/lehrstuehle/controlling-prof-lorson/lehrstuhlteam/dr-ellen-haustein/

  9. Prof. Dr. Jörn Dosch

    Just Political Window Dressing? ' TRaNS: Trans-Regional and -National Studies of Southeast Asia, Vol 5, No. 1 (2017), S. 1-23. Dosch, Jörn Inter-Regionalism Revisited. ‘ Security Cooperation in Southeast [...] Southeast Asia: Can ASEAN Deliver on Its Rhetoric? ' Malaysian Journal of International Relations, Vol. 5 (December 2017), pp. 1-17. Dosch, Jörn and Naila Maier-Knapp. EU-ASEAN Relations: ‘Taking Stock of a C [...] Just Political Window Dressing? TRaNS: Trans-Regional and -National Studies of Southeast Asia, Vol 5, No. 1 (2017), S. 1-23. Bünte, Marco and Jörn Dosch. ‘ Myanmar: Political Reforms and the Recalibration

    https://www.ipv.uni-rostock.de/en/chairs-and-staff/chair-for-international-politics/academic-staff/prof-dr-joern-dosch/

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

Displaying results 2801 to 2810 of 4797.
  • Previous
  • ...
  • 277
  • 278
  • 279
  • 280
  • 281
  • 282
  • 283
  • 284
  • 285
  • 286
  • ...
  • 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