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

4867 Results:

  1. Project WIKO

    E. Neuhaus, H. Reinholz. PhyDid B - Didaktik der Physik - Beiträge zur DPG-Frühjahrstagung , 1, 1–5 (2024). Konzeption, Entwicklung und Evaluation eines Laserlabors für Schüler:innen: Eine Projektentwicklung

    https://www.limati.uni-rostock.de/en/projects/central-support-projects/project-wiko/

  2. Workshop: Wirkungsvoll vortragen
    25.01.2027, 9:00 am - 26.01.2027, 4:00 pm

    Für den zweiten Workshop-Tag bereiten Sie bitte eine kurze, allgemeinverständliche Präsentation (ca. 5 min) aus ihrem Arbeitsbereich vor und bringen diese mit. Kosten 120 € für Angehörige des öffentlichen

    https://www.weiterbildungsportal.uni-rostock.de/en/weiterbildungsangebote-kalender/detailansicht-der-lehrangebote/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=191955&cHash=1d089e61f1a2c4ae66208e6b67360991

  3. Gremienwahl 2026

    der Wahlordnung Nr. 52 vom 30. Oktober 2023 Vierte Satzung zur Änderung der Wahlordnung Nr. 61 vom 5. November 2025 Wahlorgane Wahlorgane Wahlleitung Wahlausschuss Wahlprüfungsausschuss

    https://www.uni-rostock.de/en/universitaet/organisation/wahlen/gremienwahl-2026/

  4. Informatik WIN

    (BIS 2026) took place from June 10 to June 12 in Prague (Czech Republic). BIS is a… read more 1 2 3 4 5 … ❯ Read all News

    https://www.wirtschaftsinformatik.uni-rostock.de/en/

  5. Homepage Martin Lemke

    Anführungszeichen und erste Beweise. 3. Sitzung: Wir zaubern weiter. 4. Sitzung: Logische Partikel . 5. Sitzung: Junktoren. 6. Sitzung: Die große Verwirrung. 7. Sitzung: Die Sprache AL. 8. Sitzung: Allg

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-martin-lemke/

  6. umfassende Informationen zum Formblatt „Erklärung zur Prüfung der Versicherungspflicht“

    escheinigung der Krankenkasse, dafür geben Sie bitte die genaue Bezeichnung Ihrer Krankenkasse an. 5. Bitte geben Sie unbedingt für Rückfragen eine Telefonnummer oder eine E-Mailadresse an, sodass sich

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-dokumente/ppp-dokument-detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=140075&cHash=7081016bf0eb5d17e43b6cbf7fbf4407

  7. Publications

    Cluster Analysis of Whole Hearts Reveals Proliferative Cardiomyocytes in Adult Mice. Cells 2020, May 6;9(5):1144. doi: 10.3390/cells9051144. Wolfien M, Galow AM, Müller P, Bartsch M, Brunner RM, Goldammer T [...] SV40 large T antigen-transduced porcine colonic epithelial cell line. Cells Tissues Organs 2017 ; 203(5):267-286. Köbis JM, Rebl H, Goldammer T, Rebl A. Multiple gene and transcript variants encoding trout [...] gene expression in farmed regional and imported rainbow trout. Marine Biotechnology (NY). 2015 Oct; 17(5):576-592. Kromik A, Ulrich R, Kusenda M, Tipold A, Stein VM, Hellige M, Dziallas P, Hadlich F, Widmann

    https://www.auf.uni-rostock.de/en/professorships/agricultural-area/molecular-biology-and-fish-genetics/research/publications/

  8. Publications

    Ballmann M, Prinz N, Glass A , Holl R. Journal of Cystic Fibrosis. 2020 Jun 02; 11:5. Genetic association analysis of CLEC5A and CLEC7A gene single-nucleotide polymorphisms and Crohn's disease. Elleisy N [...] MM, Herlyn PKE, Richter H, Böcker W, Schieker M, Aszodi A, Fischer DC. J Orthop Surg Res. 2019 Sep 5;14(1):297. doi: 10.1186/s13018-019-1315-6. Volumetric assessment of glioblastoma and its predictive [...] Huenten-Kirsch B, Hemmer CJ, Tekoh R, Kuwoh PB, Glass A , Reisinger EC. Am J Trop Med Hyg. 2017 Nov;97(5):1445-1450. doi: 10.4269/ajtmh.17-0060. Morphologic and biometric evaluation of chick embryo eyes in

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

  9. Publications

    on Maritime Technology and Engineering (MARTECH), Lisbon, 2014, pp. 325-330, ISBN: 978-1-138-02727-5, Taylor & Francis Group, London, UK Edessa, D.M.; Kleinsorge, L .; Bronsart, R. : Assuring Quality Ship [...] on Maritime Technology and Engineering (MARTECH), Lisbon, 2014, pp. 317-324, ISBN: 978-1-138-02727-5, Taylor & Francis Group, London, UK Wagner, J.; Binkowski, E.; Bronsart, R.: Scenario based Optimization [...] Practical Design of Ships and Other Floating Structures (PRADS), Vol. 1, pp. 486-492, ISBN 978-89-950016-1-5, Changwon City, 2013 Edessa, D.M.; Kleinsorge, L.; Bronsart, R.: A Contribution to Automatic Ship Hull

    https://www.lsb.uni-rostock.de/en/translate-to-english-veroeffentlichungen/

  10. Prof. Dr. Steffi Morkötter

    für eine Kooperation zwischen Lehrkräften verschiedener Sprachen. Praxis Fremdsprachenunterricht 5, 2019, 5-7 ● Sprachencamps (Französisch und Spanisch) in Kooperation mit dem Richard-Wossidlo-Gymnasium [...] für eine Kooperation zwischen Lehrkräften verschiedener Sprachen. Praxis Fremdsprachenunterricht 5, 2019, 5–7. • mit Felix Hartleb: Fremdsprachenunterricht in der DDR: historischer Überblick und Interviews [...] Inhalt & Vielfalt: Neue Herausforderungen für das Sprachenlernen und -lehren an Hochschulen. Erträge des 5. Bremer Symposions zum Fremdsprachenlehren und -lernen an Hochschulen . Bochum: AKS-Verlag 2017, 95–107

    https://www.romanistik.uni-rostock.de/en/institut/mitarbeitende/professoren-und-professorinnen/prof-dr-steffi-morkoetter/

Displaying results 2391 to 2400 of 4867.
  • Previous
  • ...
  • 236
  • 237
  • 238
  • 239
  • 240
  • 241
  • 242
  • 243
  • 244
  • 245
  • ...
  • 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