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

4868 Results:

  1. Publikationen

    Tagungsband "Baltic Conference Learning in Networks" in Kaunas 20.08.-21.08.2010 ISBN: 978-3-86009-100-5 Tagungsband "Baltic Conference Advanced Topics in Telecommunication" in Tartu 14.08.-15.08.2009 ISBN:

    https://www.iuk-verbund.uni-rostock.de/en/forschung-und-lehre/publikationen/

  2. Lernimpuls "PICTURE Prozessplattform - eine IT-Anwendung zum Erfassen von Prozessen" (für Redakteure)
    02.11.2023, 9:00 am - 02.11.2023, 12:00 pm

    Format: Lernimpuls Anmeldung: via zoom unter https://uni-rostock-de.zoom-x.de/j/69878168645?pwd=b2w5aFdzOUNHSXdFS0E3YjV4UlE2UT09

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/lernimpuls-picture-prozessplattform-eine-it-anwendung-zum-erfassen-von-prozessen-fuer-redakteure-new64815d8f6d0a7128086007/

  3. Naturwissenschaftlicher Unterricht

    (siehe „Chemie fürs Leben“), welches sowohl im naturwissenschaftlichen Unterricht in den Klassenstufen 5 und 6 verwendet werden kann, wurde ausgehend von einem den Schülerinnen und Schülern aus dem Alltag

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/sach-und-naturwiss-unterricht/naturwissenschaftlicher-unterricht/

  4. VAC Colloquium: Prof. Dr. Michael Sedlmair "Immersive and Situated Analytics: Pitfalls, Challenges, and Opportunities"
    12.12.2023, 1:15 pm

    areas of immersive and situated analytics. In this talk, I will reflect on the experiences from our 5-year endeavor to bridge Visualization and VR/AR research. Through case studies of our attempts at V

    https://vac.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/vac-colloquium-prof-dr-michael-sedlmair-immersive-and-situated-analytics-pitfalls-challenges-and-opportunities-179519/

  5. Kap-Bleiwurz (Plumbago auriculata)

    ist und eine Höhe von 2 bis 3 m erreicht. Die Zweige sind aufrecht und gelegentlich kletternd. Etwa 5 cm lang sind die kurz gestielten Laubblätter, die auf ihrer Unterseite von weißlichen Schüppchen bedeckt

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2023/kap-bleiwurz-plumbago-auriculata/

  6. Blutroter Storchschnabel (Geranium sanguineum)

    2 bis 4 cm und tragen fünf rötlich-violette Kronblätter. Die Früchte erreichen eine Länge von 4 bis 5 cm. In unseren Gärten werden zahlreiche Varietäten des Blutroten Storchschnabels kultiviert. Im Botanischen

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2023/blutroter-storchschnabel-geranium-sanguineum/

  7. EU-CONEXUS Lunch & Learn: Ever wonder how to foster student engagement?
    14.05.2024, 12:00 pm

    Student Welfare, Frederick University Registration: https://events.teams.microsoft.com/event/102cf3d6-5e50-4877-ae0b-2a22f71b0d97@b8b437b8-eda2-4e59-99a2-214c4401dfdf Format: Meeting for information Participation

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/lunch-learn-ever-wonder-how-to-foster-student-engagement-14-may-12-cet-193585/

  8. Peeken_2003

    des SO eine sogenannte 'Luxusaufnahme', d.h. eine vorübergehende Speicherung von Eisen durchführen? 5) Wird das Pigment Phaeophythin als natürlicher Ligand zur Aufnahme von Eisen von Phytoplankton des SO

    https://www.spp-antarktisforschung.uni-rostock.de/en/research/projects/completed-projects/biological-sciences/translate-to-english-peeken-2003/

  9. Schaltjahreskolloquium 2024
    09.02.2024

    Quantensensoren in der Tierwelt 4. Franklin Martinez: Wie man sich auf Laborarbeit einen Reim macht … 5. Friederike Klauck et al.: Putting the FUN back in Fundamental Research 6. Josef Tiggesbäumker: Der

    https://www.physik.uni-rostock.de/en/translate-to-english-neuigkeiten-und-highlights/translate-to-english-detailansicht-der-news/n/schaltjahreskolloquium-new65c60d7de87bc419716801/

  10. Baltic TRANSCOAST

    and physical transport effects with a sever fold increase in metabolic activity in summer. read more B5: Bioenergetics-mediated effects of physical disturbance and salinity stress on benthic macroinvertebrates

    https://www.meeresbiologie.uni-rostock.de/en/forschung/aktuelle-projekte/baltic-transcoast/

Displaying results 1441 to 1450 of 4868.
  • Previous
  • ...
  • 141
  • 142
  • 143
  • 144
  • 145
  • 146
  • 147
  • 148
  • 149
  • 150
  • ...
  • 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