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

4883 Results:

  1. Mongonbom (Clavija macrophylla)

    de in de Rägenwälder wassen. Bi Clavija macrophylla hannelt sick dat üm `ne ümmergräune Oort, de 3–5 m hoch ward. An ehre Spitz drägen de Böm einen upfälligen Bläderkopp. De undeilten Lowwbläder können [...] 30 cm langen Druben. Disse sünd ofteis eingeschlechtlich un hemmen `nen Dörchmesser von ungefiehr 1,5 cm. Dat hannelt sick hier üm klassische Warmhusplanten, de in unsen Privathusholt blot schwer tau hollen

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/mongonbom-clavija-macrophylla/

  2. Himmelbeer (Rubus idaeus)

    Struk kann allermeist 1,5 m hoch warden. De Sprosse sünd mihrstens dicht mit korten Stacheln besett`t. De an de Unnersiet wittfilzigen Lowwbläder sünd gefiedert un deilen sick oft in 3–5 Fiederbläder, an de

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/himmelbeer-rubus-idaeus/

  3. B.A. Sociology

    https://www.uni-rostock.de/studium/studienangebot/wirtschafts-sozial-rechtswissenschaften/?tx_solr%5Bpage%5D=2 The academic advisor for the program is Dr. Manuela Meyerfeldt-Lampe, who can be reached at manuela

    https://www.isd.uni-rostock.de/en/isd/studium/study-courses/ba-sociology/

  4. Conferences at the Institute of Mathematics

    "Analysistag am Institut für Mathematik" (19. Juni 2017) 2015 "Norddeutsches Gruppentheoriekolloquium" (5.-6. Oktober 2015) 2014 "Convexity, Symmetry and Optimization" Rostock Seminar celebrating 77 years with [...] Programm 2012 "33. Norddeutsches Kolloquium über Angewandte Analysis und Numerische Mathematik" (4.-5. Mai 2012) 2011 "Polyhedra, Symmetry and Optimization" Rostock Seminar (27.-28. Oktober 2011) Workshop

    https://www.mathematik.uni-rostock.de/en/events/conferences/conferences-at-the-institute-of-mathematics/

  5. Enzianstruk (Lycianthes rantonnetii)

    bäten breider lanzettlich. Disse hübsche Schmuckplant hett assenstännige Bläuten, de in `ne Grupp von 2–5 Bläuten wassen. De Bläuten können `nen Dörchmesser von 3–4 cm hemmen. Dull hübsching sünd de blag vigeletten [...] Sogor all ganz lütte Planten können tau bläuhen anfangen. In de Wintermaande kann de Oort an`ne käuhle (5–10 °C) un helle Stell hollen warden. Plattdütsch: Christa Winkelmann, Vereinsmaat in'n Plattdütsch-Verein

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/enzianstruk-lycianthes-rantonnetii/

  6. Ölpalme (Elaeis guineensis)

    Lebensmitteln und Kosmetikprodukten nicht mehr wegzudenken. Im reifen Zustand sind die Früchte ca. 5 cm lang und rötlich-orange gefärbt. Die Früchte gehen aus einem Blütenstand hervor, der sich aus vielen [...] besitzen einen bis über 25 m hohen ungeteilten Stamm. Bei den Laubblättern handelt es sich um über 5 m lange Fiederblätter, in deren Achseln oftmals Epiphyten (meist Farne) siedeln. Gegenwärtig befinden

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2018/oelpalme-elaeis-guineensis/

  7. Sadebom (Juniperus sabina)

    Struk orrer ok as Bom bringt hei `ne Höch bet tau ungefihr 5 m, wurbi hei meist nedderliggend wasst. Jungformen billen Nadelbläder ut, de bet 5 mm lang warden. Öllere wiesen schuppenförmige Bläder up. Wenn

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/sadebom-juniperus-sabina/

  8. Modulverantwortliche

    Dr. Stefan Rollnik Mathematik M4 (SPSO 2021) Prof. Dr. Jessica Hoth, Sebastian Fricke Mathematik M5 (SPSO 2021) Sebastian Fricke, Stefanie Braunsdorf Mathematik M6 (SPSO 2021) Sebastian Fricke Mathematik [...] Mathematik M3 (SPSO 2017/19) Sebastian Fricke Mathematik M4 (SPSO 2017/19) Sebastian Fricke Mathematik M5 (SPSO 2017/19) Sebastian Fricke Mathematik M6 (SPSO 2017/19) Sebastian Fricke Mathematik M7 (SPSO 2017/19)

    https://www.igsp.uni-rostock.de/en/lehre/mathematik/modulverantwortliche/

  9. Workshops & Dates - Overview

    2026 June 2026 July 2026 Mon Tue Wed Thu Fri Sat Sun 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 June 2026 Register now for Science Startup Night Rostock 2026

    https://www.zfe.uni-rostock.de/en/workshops-dates/overview/

  10. Info Service

    Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to 1:00 p.m. | Phone: +49 381 498-1230 Office hours Ulmenstraße 69, House 3: Monday till Thursday 9:00 a.m. to 5:00 p.m. | Friday 9:00 a.m. to

    https://www.uni-rostock.de/en/study/info-service/

Displaying results 341 to 350 of 4883.
  • Previous
  • ...
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • ...
  • 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