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. Kirschlorbeer (Prunus laurocerasus)

    gebiet vom Südosten Europas bis in den Iran. Maximal erreicht der Kirschlorbeer eine Wuchshöhe von 5 bis7 m. Die auch als Lorbeerkirsche bekannte Art ist in Mitteleuropa weitgehend winterhart. Kahlfröste

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2018/kirschlorbeer-prunus-laurocerasus/

  2. Application Server ITMZ

    using the ITMC application server is a related terminal device with a remote desktop program or an HTML5 compatible webbrowser, a related connection to the internet and a valid ITMC user ID. The ITMC operates

    https://www.itmz.uni-rostock.de/en/internet-services/application-server-itmz/application-server-itmz/

  3. Strandflieder (Limonium sinuatum)

    über die sich die bis 40 cm hohen Stängel erheben. Die gabelig geteilten Blütenstände sind 3- bis 5-flügelig. Die Flügel bilden lanzettlich zugespitzte Lappen. Von Mai bis September erscheinen die in

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2020/strandflieder-limonium-sinuatum/

  4. Lorbeerrose (Kalmia angustifolia)

    as, auftreten. Es handelt sich um meist immergrüne Sträucher, die in aller Regel nicht höher als 1,5 m werden. In Mitteleuropa kann gelegentlich K. angustifolia angetroffen werden. Bei dieser Art handelt

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2020/lorbeerrose-kalmia-angustifolia/

  5. Kalifornischer Mohn (Eschscholzia californica)

    auffälligen leuchtend gelben, am Grunde orangeroten, schalenförmigen Blüten erreichen einen Durchmesser von 5 bis 8 cm. Sie erscheinen bei uns von Juni bis September, wobei sie sich nur bei Sonnenschein öffnen

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2019/kalifornischer-mohn-eschscholzia-californica/

  6. Sumporchidee (Phaius tankervilleae)

    licht brun farwt. Upfällig is de röhrenförmige Lipp`, de rodvigelett un gäl tönt is. Sei kann bet tau 5 cm lang warden. De Bläuten wiesen `nen korten gälen Sporn up. De Sprossen besitten an ehren Grunn` eiförmige

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/sumporchidee-phaius-tankervilleae/

  7. Locations

    Treffpunkt für Studierende, Lehrende und Mitarbeitende. Audimax Theater des Friedens Doberaner Str. 5, 18057 Rostock Das Theater des Friedens (TDF) , über 100 Jahre alt und zentral am Doberaner Platz in

    https://www.zfe.uni-rostock.de/en/workshops-und-termine/exist-workshop-rostock/locations/

  8. Final Pitch
    08.06.2026, 5:00 pm - 08.06.2026, 6:30 pm

    charge for students, graduates, and academic staff from all disciplines. Date: Monday, June 08, 2026, 5:00 - 6:30 p.m. Location: Event Area, Center for Entrepreneurship, Albert-Einstein-Straße 21, 18059 Rostock

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

  9. Strategic Path to Success: From Idea to a Registered Trademark. Logos | Names | Designs …and more. (English Translation)
    29.04.2026, 5:00 pm - 29.04.2026, 7:00 pm

    turning their ideas into reality. Participation is free of charge. Date: Wednesday, April 29, 2026 from 5 p.m. – 7 p.m. Location: Room 013 on the ground floor of Campusbibliothek Südstadt, Albert-Einstein-Straße

    https://www.zfe.uni-rostock.de/en/workshops-dates/overview/n/strategic-path-to-success-from-idea-to-a-registered-trademark-logos-names-designs-and-more-english-translation-194137/

  10. Veranstaltungsreihe: Gesellschaftlicher Wandel in turbulenten Zeiten

    Überschuldung verstehen, vorbeugen, Hilfe finden SBZ Schmarl 17.06.2026, 19:30-22:30 Uhr Veranstaltung 5 - Filmabend: Wem gehört mein Dorf? LiWu, Frieda23 01.07.2026, ab 09.30 Uhr Veranstaltung 6 - Gleichstellung

    https://www.wsf.uni-rostock.de/en/aktuelles-aus-der-fakultaet/veranstaltungsreihe-gesellschaftlicher-wandel-in-turbulenten-zeiten/

Displaying results 1511 to 1520 of 4868.
  • Previous
  • ...
  • 148
  • 149
  • 150
  • 151
  • 152
  • 153
  • 154
  • 155
  • 156
  • 157
  • ...
  • 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