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

4781 Results:

  1. Startseite

    01.2026 Das hochschuldidaktische Zertifikat der Universität Rostock 08.12.2025 Selbstlernangebot: H5P-Inhalte in der Lehre alle Neuigkeiten Veranstaltungen Thu 23 Apr Didaktisches Visualisieren - ONLINE

    https://www.uni-rostock.de/en/weiterbildung/hochschuldidaktik/startseite/

  2. Stabsstelle Talententwicklung und Diversität

    koordinieren wir Nachhaltigkeitsprojekte, vernetzen Akteur*innen und machen Erfolge sichtbar. Events Tue 5 May GA-Course: Scientific Writing – Towards Organization and Motivation (Online) Wed 6 May Fachtag:

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/stabsstelle-talententwicklung-und-diversitaet/

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

  4. Video

    Astronomischen Uhr Rostock ging es auch ... Astronomische Uhr Rostock: Restauratorische Erkenntnisse ▶ 5:38 23.5.2023 – uploaded by MV1 Von Februar bis April 2023 war die Astronomische Uhr Rostock von 1472 eingerüstet [...] media library) „ Astronomische Uhr: Sanierung fast komplett “ by Sabine Frömel. Duration 3:30, aired 17.5.2020 during the „Nordmagazin“ program (19:30) ca. 10 minutes into the program. (No longer available [...] YouTube Astronomische Uhr Rostock von 1472 bald auf deutscher Vorschlagsliste für Unesco-Welterbe? ▶ 5:35 22.11.2023 – uploeded by MV1 Am 14. November 2023 hatte der Verein „Astronomische Uhr Rostock von

    https://www.aur.uni-rostock.de/en/table-of-contents/audio-and-video/video/

  5. Dr. Anke Günther

    viable option under the EU Nature Restoration Law. Ambio . https://doi.org/10.1007/s13280-024-02016-5 Piecha M, Kreyling J, Couwenberg J, Pester M, Guenther A , Henningsen L, Weil M, Jurasinski G, Blume-Werry [...] soil-derived nitrous oxide and methane emissions. Journal of Plant Nutrition and Soil Science, 343(3), 1–5. https://doi.org/10.1002/jpln.201700607 2017 Günther A , Jurasinski G, Albrecht K, Gaudig G, Krebs M [...] harvesting on greenhouse gas emissions from a rewetted temperate fen. Global Change Biology Bioenergy, 7(5), 1092–1106. https://doi.org/10.1111/gcbb.12214 2014 Günther A , Huth V, Jurasinski G, Glatzel S (2014)

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/landscape-ecology/team/dr-anke-guenther/

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

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

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

  9. 1946 bis 1990

    Methoden der Potentialtheorie. (Fenyö, Köthe/Frankfurt/M, Naas/Berlin). 1966. 1972-1993 Prof. U Halle. B 5 Geise, Gerhard: Beitrag zur projektiven Matrizengeometrie. (W. Engel, Keller/Halle,Burau/Hamburg).1967 [...] Langenbach/Berlin). 1985. 1978-1987 Oberassistent Sektion Mathematik U Rostock. * 7.10.1942 Hamburg,† 28.5.1987 Rostock. B 28 Lau, Dietlinde: Funktionalalgebren über endlichen Mengen. (Burosch, Csakany/ Szeged

    https://www.mathematik.uni-rostock.de/en/unser-institut/organisationsstruktur/bits2-1/mitarbeiter-2/homepage-andreas-strassburg/historie/promotionen/habilitationen/habil-math/1946-bis-1990/

  10. Impressum

    de Redaktionell verantwortlich für die zentralen Webseiten der Universität Rostock gemäß § 55 Abs. 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18055 Rostock Telefon: +49 381 498-1012, Telefax: +49 [...] Stationen aus dem IP-Namensbereich 'uni-rostock.de' ausgehen, senden Sie bitte an den o.g. Webmaster. 5. Rechtswirksamkeit dieses Haftungsausschlusses Dieser Haftungsausschluss ist als Teil des Internetangebotes

    https://www.fotau.uni-rostock.de/en/footer/impressum/

Displaying results 2351 to 2360 of 4781.
  • Previous
  • ...
  • 232
  • 233
  • 234
  • 235
  • 236
  • 237
  • 238
  • 239
  • 240
  • 241
  • ...
  • 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