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

4860 Results:

  1. Hinoki-Schienzypress (Chamaecyparis obtusa)

    t Christmaand 2022: De Hinoki-Schienzypress (Chamaecyparis obtusa) De Gattung Chamaecyparis umfött 5 Oorten, de in Ostasien un Nuurdamerika vörkamen. De tau de Machandelbömgewächse (Cupressaceae) tellenden

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/hinoki-schienzypress-chamaecyparis-obtusa/

  2. Smaragdblaum (Deherainia smaragdina)

    Fleigen) anlockt. De an`n Enn` von de Triebe tau hop stahenden Bläuten können `nen Dörchmesser von 4–5 cm kriegen un kamen in de Wintermaande rut. Dat hannelt sick üm Zwitterbläuten, bi de de Stoffbläder

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/smaragdblaum-deherainia-smaragdina/

  3. Future Center Mecklenburg-Vorpommern Continues Its Work - Funding Volume of 7.7 Million EURO
    16.01.2023

    centers. For this purpose, four employees at the chair corresponding to a funding volume of about 1.5 million euros are supported. Further information: https://www.zukunftszentrum-mv.de/

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/zukunftszentrum-mecklenburg-vorpommern-setzt-arbeit-fort-foerdervolumen-von-77-mio-euro/

  4. [2017-04-20] WETSCAPES- field day visiting

    WETSCAPES- field day visiting On the 5th of April the WETSCAPES consortium spent an animated field day visiting the first five of the future study areas (drained and rewetted coastal inundation peatland

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/landschaftsoekologie-und-standortkunde/aktuelles/archiv/wetcapes-field-day-visiting/

  5. Methoden

    meter Wir haben einige unserer Messungen automatisiert. Sie erfolgen in regelmäßigen Abständen von 5 oder 10 Minuten. Probennahme Plankton Auf dem Bild sind Nauplienlarven zu sehen. Diese zählen zum Z

    https://www.bsz.uni-rostock.de/en/lehre/grundlagen-anleitungen/anwendung-von-geraeten/methoden/

  6. Donator-Akzeptor-Reaktionen in Alginatbällchen
    30.05.2022, 3:00 pm

    Referent: Prof. Dr. M. Ducci Datum: Mo, 30.05.2022 (ab 15.00 Uhr) Ort: ISG Rostock (Goetheplatz 5, 18055 Rostock) Workshop für Lehrkräfte Sek I/II _________________________________________ Das Donator

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=240613&cHash=024738971d59d0526ce67aa051a355c7

  7. Weinraute (Ruta graveolens)

    einen blaugrünen Schimmer. Die Art wird bis zu 50 cm hoch. In den Sommermonaten erscheinen die 4- oder 5-zähligen Blüten, deren gelbe Kronblätter oft am Rand gefranst sind. Die Laubblätter der Weinraute enthalten

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2025/weinraute-ruta-graveolens/

  8. Defence of Niklas Götz master's thesis
    18.06.2025

    On June 5, 2025, Niklas Götz successfully defended his master's thesis on “Development and Integration of a Web Application for the Monitoring and Analysis of AI-Based building blocks”. Niklas is a master's

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/defence-of-niklas-goetz-masters-thesis-242797/

  9. B100-Einsatz in Landmaschinen

    Use of biodiesel (B100) in agricultural machinery with EURO 4/5 emission standards Background: The objective of this project is to gain basic knowledge about a state-of-the-art off-road engine equipped

    https://www.lkv.uni-rostock.de/en/research/previous-research-projects/b100-einsatz-in-landmaschinen/

  10. Consulting Services

    contact persons will be referred to. Phone: +49 (0) 381 498-1230 | Monday till Thursday 9 a.m. to 5 p.m. | Friday 9 a.m. to 1 p.m. Mail Contact

    https://www.auf.uni-rostock.de/en/study/master-dregree-program/crop-production-and-environment/consulting-services/

Displaying results 1371 to 1380 of 4860.
  • Previous
  • ...
  • 134
  • 135
  • 136
  • 137
  • 138
  • 139
  • 140
  • 141
  • 142
  • 143
  • ...
  • 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