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. Dr. Aneela Maalik

    Rostock, Thema: “Synthesis of Purines by Inverse Electron Demand Diels-Alder Reactions of Amines with 1,3,5-Triazines and of Fluorinated Arenes by Palladium(0)-Catalyzed Cross-Coupling Reactions and Photophysical

    https://www.langer.chemie.uni-rostock.de/en/arbeitsgruppe/alumni/ehemalige-gruppenmitglieder/dr-aneela-maalik/

  2. Dr. Edith Holtz

    Arbeitskreis von Prof. P. Langer, Universität Göttingen, Thema: „Regioselektive Synthese von 2-Alkyliden-5-vinyltetrahydrofuranen und Bicyclo[3.2.1]octanonen“ 2003 Promotion (Dr. rer. nat.) im Arbeitskreis von

    https://www.langer.chemie.uni-rostock.de/en/arbeitsgruppe/alumni/ehemalige-gruppenmitglieder/dr-edith-holtz/

  3. Dr. Silvio Parpart

    nsäure-Ni-(S)- BPBP mittels Sonogashira Reaktion: Ein Syntheseweg zur Herstellung chiraler 2-Amino-5-[aryl]pent-4-insäuren“ 2018 Promotion (Dr. rer. nat.) im Arbeitskreis von Prof. P. Langer, Universität

    https://www.langer.chemie.uni-rostock.de/en/arbeitsgruppe/alumni/ehemalige-gruppenmitglieder/dr-silvio-parpart/

  4. Advent24

    Falls Sie einmal eine Folge verpasst haben sollten... 1. Dezember 2. Dezember 3. Dezember 4. Dezember 5. Dezember 6. Dezember 7. Dezember 8. Dezember 9. Dezember 10. Dezember 11. Dezember 12. Dezember 13

    https://www.igsp.uni-rostock.de/en/advent23-1/

  5. Der Senat informiert
    06.02.2025

    dem Rücklagenzuführungsmodell des Wissenschaftsministeriums. Die nächste Sitzung des Senats findet am 5. März 2025, im Konzilzimmer/Universitätshauptgebäude, statt. Informationen hierzu finden Sie zeitnah

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=232487&cHash=c2eb8267ec5993fd4fd3bd311441aacf

  6. funerale Übersicht

    funerale werden zeitnah in Tagungsbänden publiziert. funerale 10 funerale 6 funerale 2 funerale 9 funerale 5 funerale 1 funerale 8 funerale 4 funerale 7 funerale 3

    https://www.bestattungskultur.uni-rostock.de/en/tagungen/ur-tagung-funerale/funerale/funerale-uebersicht/

  7. Anmeldung für die Joint Universities Accelerator School (bis 21.11.2021)
    21.11.2021, 9:00 am - 21.11.2021, 10:00 pm

    als Studienleistung anerkannt werden können. Anerkennung bei erfolgreichem Kursabschluss: ein Kurs (5 Wochen) mit 10 ECTS, zwei Kurse (10 Wochen) mit 20 ECTS. Sie müssen sich für die Kurse bewerben bis

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/anmeldung-fuer-die-joint-universities-accelerator-school-bis-21112021-100537/

  8. Nützlicher Hinweis: Zugang auf Dateien und Programme (Software) vom "Home-Office"
    13.03.2020

    Anwendungsserver des ITMZ ist ein entsprechendes Endgerät mit einem Remotedesktopprogramm oder einem HTML5-fähigen Webbrowser, eine bestehende Verbindung zum Internet und ein gültiges Nutzerkennzeichen des ITMZ

    https://www.imf.uni-rostock.de/en/institut/aktuelles/aktuelles/detailansicht-der-news/n/nuetzlicher-hinweis-zugang-auf-dateien-und-programme-software-vom-home-office-61981/

  9. Nützlicher Hinweis: Zugang auf Dateien und Programme (Software) vom "Home-Office"
    13.03.2020

    Anwendungsserver des ITMZ ist ein entsprechendes Endgerät mit einem Remotedesktopprogramm oder einem HTML5-fähigen Webbrowser, eine bestehende Verbindung zum Internet und ein gültiges Nutzerkennzeichen des ITMZ

    https://www.altertum.uni-rostock.de/en/institut/aktuelles/detailansicht-der-news/n/nuetzlicher-hinweis-zugang-auf-dateien-und-programme-software-vom-home-office-61983/

  10. Nützlicher Hinweis: Zugang auf Dateien und Programme (Software) vom "Home-Office"
    13.03.2020

    Anwendungsserver des ITMZ ist ein entsprechendes Endgerät mit einem Remotedesktopprogramm oder einem HTML5-fähigen Webbrowser, eine bestehende Verbindung zum Internet und ein gültiges Nutzerkennzeichen des ITMZ

    https://www.germanistik.uni-rostock.de/en/institut/aktuelles/aktuelle-informationen-des-instituts/detailansicht-der-news/n/nuetzlicher-hinweis-zugang-auf-dateien-und-programme-software-vom-home-office-61987/

Displaying results 891 to 900 of 4883.
  • Previous
  • ...
  • 86
  • 87
  • 88
  • 89
  • 90
  • 91
  • 92
  • 93
  • 94
  • 95
  • ...
  • 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