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. Handlungsfeld 1

    der Fakultätsvertreter, die die Studienmodelle mit den „Stakeholdern“ beraten und gestalten KOSMOS 1.5: Aktive Unterstützung einer medialen Infrastruktur Lehrstuhl für Wirtschaftsinformatik, Prof. Dr. Kurt

    https://www.uni-rostock.de/en/weiterbildung/weiterbildung/projekte/projekt-kosmos/kosmos-phase-1-2011-bis-2015/handlungsfeld-1/handlungsfeld-1/

  2. News 2024

    Konferenz WFCS 2025 findet in Rostock statt (04.12.2024) 02.12.2024 Bereich Informatik organisiert 5. Europäischen Workshop MARESEC 2025 in Rostock (02.12.2024) 28.11.2024 Institut für Angewandte Mikr

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2024/

  3. Sen. epist. 47

    cervicem, periculum inminens in caput suum avertere; in conviviis loquebantur, sed in tormentis tacebant. 5 Deinde eiusdem adrogantiae proverbium iactatur, totidem hostes esse quot servos: non habemus illos hostes

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/senepist47/

  4. M.Sc. Manuel Glauner

    Single-Cylinder Engine, 20 th Symposium “Sustainable Mobility, Transport and Power Generation”, 4 th - 5 th September 2025, Graz, Österreich Dinwoodie, J.C., Cepelak, S., Glauner, M., Seipel, P., Buchholz

    https://www.lkv.uni-rostock.de/en/team/research-fellows-and-assistants/msc-manuel-glauner/

  5. Fachdidaktik II

    (in der Regel donnerstags) an einer Rostocker Schule in kleinen Studierendengruppen mit ca. 4 bis 5 Teilnehmer:innen statt. Inhalte der Lehrveranstaltung: Unterrichtsplanung und -gestaltung: Die Studierenden

    https://www.didaktik.chemie.uni-rostock.de/en/lehre/module-lehramt-chemie/fachdidaktik-ii/

  6. The University of Rostock’s Open Access Publication Fund

    in particular for authors who do not have alternative means of financing open access publications. 5. Can submission fees also be funded? No, the funds from the publication fund are only available for

    https://www.ub.uni-rostock.de/en/support-for-researchers/open-access/open-access-funding-options/the-university-of-rostocks-open-access-publication-fund/

  7. Dissertationen

    Untersuchungen zur Expression und pharmakologischen Modulation des metabotropen Glutamatrezeptors 5 in Dystoniemodellen: dtsz Hamstermutante und DYT1 knock-in Maus. Dissertation, Universität Leipzig,

    https://www.ief.uni-rostock.de/en/forschung/projekte/projekte-an-der-ief/dfg-sonderforschungsbereich-sfb-1270-elaine/wissenschaftliche-ergebnisse/dissertationen/

  8. Liste

    Kosmos, die vom 31. März bis zum 4. April 2025 in Göttingen stattfindet, verliehen. Der Preis ist mit 5.000 Euro dotiert. read more 30.01.2025 Dr. Lena Cibulski erhält Honorable Mention beim VRVis Visual

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

  9. Research

    for applied excellence research in Mecklenburg-Western Pomerania, we are working with 8 partners from 5 institutions on the joint project “Alg4Nut” to study the impact of marine algae—cultivable in the Baltic

    https://www.algenzellbiologie.uni-rostock.de/en/research/

  10. Ziele des Projektes

    werden können auf weitere Fachstudiengänge und Fachmodule an den verschiedenen Hochschulstandorten, 5. forschend begleitet und 6. möglichst curricular eingebunden werden, 7. und in ihrer Struktur und W

    https://www.zlb.uni-rostock.de/en/forschung-entwicklung-alt/digitale-lehre-an-der-universitaet-rostock/projekt/ziele-des-projektes/

Displaying results 3521 to 3530 of 4862.
  • Previous
  • ...
  • 349
  • 350
  • 351
  • 352
  • 353
  • 354
  • 355
  • 356
  • 357
  • 358
  • ...
  • 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