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

4880 Results:

  1. Twofold C-N Coupling

    1.5 Cross-Coupling / Twofold C-N Coupling Reactions Abstract: The combination of Pd-catalyzed C-C Cross-coupling with twofold C-N coupling reactions allows for the synthesis of a variety of various hetero-PAHs

    https://www.langer.chemie.uni-rostock.de/en/forschung2/forschungsthemen/hetero-pahs/twofold-c-n-coupling/

  2. Workshop participation and invited talk at Centro di Ricerca Matematica Ennio De Giorgi
    05.10.2018

    workshop "Multiscale modeling and simulations to bridge molecular and cellular scales" from Oct. 1 - Oct. 5, 2018 in Pisa. Philipp Henning and Kai Budde, two PhD students of the group, have also joined the workshop

    https://mosi.informatik.uni-rostock.de/en/news/details/n/workshop-participation-and-invited-talk-at-centro-di-ricerca-matematica-ennio-de-giorgi-36919/

  3. Lehrstuhl Wirtschaftsinformatik sucht Verstärkung!
    28.01.2022

    Mitarbeiter/in für Aufgaben in Forschung und Lehre. Die Stellenausschreibung ist hier verfügbar: W 5/2022 Wissenschaftliche/r Mitarbeiter/in (m/w/d) Bei Bedarf an weiteren Informationen, bitte Kontakt

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/lehrstuhl-wirtschaftsinformatik-sucht-verstaerkung/

  4. Überreichung der Fakultätspreise 2019
    05.12.2019, 4:00 pm

    Zur Überreichung der Fakultätspreise 2019 der MNF lade ich Sie recht herzlich ein. Am Donnerstag, dem 5. Dezember 2019 erhalten die besten Studierenden des jeweiligen Instituts (für das Studienjahr 2018/2019)

    https://www.physik.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/ueberreichung-der-fakultaetspreise-2019-56137/

  5. ILIAS Update auf Version 5.2.9
    26.10.2017

    ILIAS läuft ab sofort in der Version 5.2.9. Im Zuge des Update wurden Fehler behoben und Funktionalitäten verbessert. Sollte das Lernkarten-Training nicht in der Auswahl erscheinen, muss in den Rechte

    https://www.itmz.uni-rostock.de/en/details/n/ilias-update-auf-version-529-19157/

  6. Stud.IP-Versionsumstellung am 16. und 17.01.2017
    12.01.2017

    16.01.2017, 17.00 Uhr, wird bis voraussichtlich 17.01.2017, 11.00 Uhr, das Stud.IP auf die Version 3.5. aktualisiert. Das System wird während der Aktualisierung nicht erreichbar sein. Wenden Sie sich danach

    https://www.itmz.uni-rostock.de/en/details/n/studip-versionsumstellung-am-16-und-17012017-5159/

  7. Ulmencampus: Strom abgeschaltet
    30.09.2025, 8:00 am - 30.09.2025, 12:00 pm

    Stadtwerke wird am Dienstag der Strom am Ulmencampus abgeschaltet. Betroffen sind: Haus 3, Haus 4, Haus 5, Haus 6 sowie die Baustelle Haus 2. Wir empfehlen, alle technischen Geräte insbesondere Computer vor

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=249005&cHash=d544a15713651b0b628bd1077072d199

  8. Workshop: Closing the Loop – New Developments for a Circular Carbon Economy
    17.11.2025, 1:30 pm

    Chemical Technologies for Recycling Difficult Plastics Prof. Dr. Troels Skrydstrup, Aarhus University 5:15 pm CONCLUSION AND CLOSING

    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=252016&cHash=6aedd53cc937f3dc040a5462f79b6b2b

  9. Winterkonzert des Studierendenorchesters
    10.12.2025, 12:25 pm

    märchenhaftes Schicksal Josef Suk Pohádka – Ein Märchen op. 16 Pjotr Iljitsch Tschaikowski Sinfonie Nr. 5 e-Moll op. 64 Robin Portune | Musikalische Leitung Die Tickets gibt es über den hmt›Veranstaltungskalender

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=260206&cHash=0bed380c728d4a87af771e3123bc6ada

  10. Teaching / Lectures

    Sommersemester 2026 Organische Chemie 5 - Organische Moleküle: Synthese und Nutzung M.Sc. Chemie Organische Chemie 6 - Natur- und Wirkstoffe M.Sc. Chemie, M.Sc. Mikrobiologie und Biochemie, LA Chemie

    https://www.brasholz.chemie.uni-rostock.de/en/teaching-lectures/

Displaying results 631 to 640 of 4880.
  • Previous
  • ...
  • 60
  • 61
  • 62
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • ...
  • 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