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

4862 Results:

  1. Publications

    the description of six new species based on the examination of clonal cultures. Phycology Journal 2: 5; doi.org/10.1186/s44377-026-00010-4 SCHULTZ, K., DREßLER, M., KARSTEN, U. & PRELLE, L. (2026) Spatial [...] Southern Baltic Coastal Systems Analysis, Ecological Studies 246, https://doi.org/10.1007/978-3-031-13682-5_11 SCHUMANN, R., BERTHOLD, M., EGGERT, A., BLINDOW, I., FORSTER, S. & SCHUBERT, H. (2023) Short-term [...] Southern Baltic Coastal Systems Analysis, Ecological Studies 246, https://doi.org/10.1007/978-3-031-13682-5_11 PAAR, M., BERTHOLD, M., SCHUMANN, R. & BLINDOW, I. (2023) Carbon fluxes/food-webs: effect of macrophytes

    https://www.angewandteoekologie.uni-rostock.de/en/research/projects/publications/

  2. Liste - Langansicht

    Zusätzlich wurden folgende Mitglieder kooptiert: Sven-Erik Kräusche, 5. Fachsemester, M.Sc. ITTI (kooptiert am 06.01.2026) Alexander Thamm, 5. Fachsemester, B.Sc. ET (kooptiert am 06.01.2026) Max-Peter Breiwisch [...] wise“ mit Dr. med. Janina Ihbe und Elizabeth Zimmermann. Weiterbildungsgutschein im Wert von bis zu 5.000,00 Euro, überreicht von Anja Leulleik (Geschäftsführerin der Gesellschaft für Struktur- und Arb [...] bundesweit jährlich stattfindenden Girls’Day als Tag zur Berufsorientierung für Schülerinnen ab der 5. Klasse stellen Universitäten, Hochschulen, Unternehmen, Institutionen und Organisationen Studiengänge

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news/liste-langansicht/

  3. Alle Publikationen

    PoCSpec zeigen neue Lösungsansätze auf In meditronic-journal - Fachzeitschrift für Medizin-Technik, Vol. 5, pp. 10–13, beam-Verlag, Marburg, Deutschland, Dezember 2020 Björn Andersen, Martin Kasparick, Kathrin [...] Gerätevernetzung im OP 4.0 wird Standard In meditronic-journal - Fachzeitschrift für Medizin-Technik, Vol. 5, pp. 6–10, Beam-Verlag, Marburg, Deutschland, November 2018 Stefan Franke, Max Rockstroh, Martin Kasparick

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/martin-kasparick/alle-publikationen/

  4. Formulare und FAQ

    Meetings in StudIP hat das ZMD eine kurze Anleitung erstellt, die Sie hier aufrufen können (PDF, ca.5 MB). Bitte beachten Sie, dass dieses Meeting-Tool nur innerhalb der Mitglieder Universität genutzt werden [...] Anwendungsserver des ITMZ ist ein entsprechendes Endgerät mit einem Remotedesktopprogramm oder einem HTML5-fähigen Webbrowser, eine bestehende Verbindung zum Internet und ein gültiges Nutzerkennzeichen des ITMZ

    https://www.phf.uni-rostock.de/en/fakultaet/it-service-pc-pool/formulare-und-faq/

  5. Publikationen

    Personenlexikon, Band 5, hrsg. von Franklin Kopitzsch u. Dirk Brietzke, Göttingen 2010, S. 113-114. Heinz Erhardt, Artikel für die „Hamburgische Biografie“, Personenlexikon, Band 5, hrsg. von Franklin Kopitzsch

    https://www.imf.uni-rostock.de/en/forschung/arbeitsbereich-mediengeschichte/schwedische-landesaufnahme-von-pommern-1692-1709-dfg/prof-dr-michael-busch/publikationen/

  6. Niagara Falls

    certain amount of change over time, which had to be accounted for and explained in the stories. Figure 5: Sketch showing some of the changes of Niagara Falls over the last 2,000 years. It provides some insights [...] Anthology_and_bibliography_of_Niagara_Falls_(1921)_(19362442752).jpg ; Accessed 04/27/2018. Figure 5: Berton, Pierre. Niagara: A History of the Falls , p. 19.

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/landmark-stories/niagara-falls-1/

  7. Publikationen

    nostik. In D.H. Rost, J.R. Sparfeldt & S.R. Buch (Hrsg.), Handwörterbuch Pädagogische Psychologie (5. Aufl.) (S. 417-424). Weinheim: Beltz. Jungjohann, J., DeVries, J. M., Gebhardt, M. & Mühling, A. (2018) [...] DeVries, J. M., Gebhardt, M. F. & Voß, S. (2017). An assessment of measurement invariance in the 3- and 5-factor models of the Strengths and Difficulties Questionnaire: New insights from a longitudinal study

    https://www.aesf.uni-rostock.de/en/arbeitskreis-lern-verlaufsdiagnostik-im-schulischen-feld/publikationen/

  8. Publikationen 2016

    A Platform for Monitoring In-Situ Experiments Tagungsband des 5. Jahreskolloquiums Bildverarbeitung in der Automation (BVAu 2016), pp. 1-5, ISBN: 978-3-9814062-7-6, Lemgo, Deutschland, Dezember 2016 Kevin

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2016/

  9. Ehrung mit der Fraunhofer-Medaille (10.03.2020)

    ng – Homepage Humboldt-Forschungspreis – Homepage GFUR-Förderpreis 2020 (05.11.2020) 05.11.2020 Am 5. November 2020 wurde Ahmad Abdulaal (Student im Bachelor Informatik) mit dem Förderpreis der Gesellschaft [...] Studierende und Promovierende der Universität Rostock vergeben. DAAD-Preis 2020 (05.11.2020) 05.11.2020 Am 5. November 2020 wurde der indische Mathematiker Saptarshi Bej (Doktorand am Lehrstuhl für Systembiologie

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2020/liste-langansicht/

  10. 2021

    (STELLA) for preclinical deep brain stimulation research in rodents . J Neural Eng. 2021 Sep 21;18(5). DOI: 10.1088/1741-2552/ac23e1 Lange H-E, Arbeiter N, Bader R, Kluess D. Performance of a Piezoelectric [...] impedance measurements by effective medium approximation , AIP Advances 11, 105316 (2021). DOI: 10.1063/5.0070182 Sill, A., Nestler, P., Thran, P., & Helm, C. A. (2021). Dependence of PSS Diffusion in Multilayers

    https://www.elaine.uni-rostock.de/en/research/publications/2021/

Displaying results 3541 to 3550 of 4862.
  • Previous
  • ...
  • 351
  • 352
  • 353
  • 354
  • 355
  • 356
  • 357
  • 358
  • 359
  • 360
  • ...
  • 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