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

4793 Results:

  1. Anreise

    use one of the 2 lanes on the right to turn right onto Satower Straße. Then drive straight ahead for 5.4 km and turn right into Justus-von-Liebig-Weg. Or you can also use the Google Maps route planner

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/ai-for-sustainable-construction/anreise/

  2. Hybrid-Workshop: Literatur und Raum
    01.10.2024, 9:00 am - 01.10.2024, 5:00 pm

    offen. Bitte melden Sie sich über das Onlineformular auf der folgenden Seite an: https://tinyurl.com/5cnf7dth . Nach erfolgreicher Anmeldung erhalten Sie die Zugangsdaten für Zoom. Sie haben Fragen? Schicken

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/workshop-literatur-und-raum-200389/

  3. Defence of the Master's thesis by Henrik Bongertmann
    05.11.2024

    heterogeneous data. As part of a case study, an LLM-based ETL process was implemented in which over 5,000 unstructured documents were transferred to a relational database using an open source LLM. The results

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/verteidigung-der-masterarbeit-von-henrik-bongertmann-208723/

  4. Arrival

    use one of the 2 lanes on the right to turn right onto Satower Straße. Then drive straight ahead for 5.4 km and turn right into Justus-von-Liebig-Weg. Or you can also use the Google Maps route planner

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/ai-for-sustainable-construction/anreise-1/

  5. Konkurrenzen. 13. Arbeitstagung der Arbeitsgemeinschaft „Frühe Neuzeit“
    19.09.2019, 1:35 pm - 21.09.2019, 3:30 pm

    Konferenz mit. Diese wird bei der Anmeldung überprüft) Bitte melden Sie sich bei Interesse bis zum 5. September 2019 unter fruehneuzeittag2019@uni-rostock.de an.

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/konkurrenzen-13-arbeitstagung-der-arbeitsgemeinschaft-fruehe-neuzeit-50565/

  6. Jetzt Mentee werden im Mentoring-Programm für Postdoktorandinnen und Juniorprofessorinnen!
    20.09.2019, 12:00 am - 17.11.2019, 12:00 am

    den Aufbau karrierefördernder Kontakte zu Mentorinnen und Mentoren, ein hochwertiges Seminarprogramm (5 Seminare, siehe Programmbeispiel ), Einzel-Coachings (bei Bedarf), die Teilnahme am Peer-Mentoring und

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/jetzt-mentee-werden-im-mentoring-programm-fuer-postdoktorandinnen-und-juniorprofessorinnen-52143/

  7. Vortrag: „Chemoinformatik und Metabolomik als Erweiterung klassischer Wirkstoffforschung“
    15.10.2018, 5:00 pm - 15.10.2018, 6:30 pm

    des Statusseminars des Forschungsverbundprojekts „PePPP" statt, der seit dem 1. Januar 2017 mit fast 5 Millionen Euro im Rahmen der Exzellenzinitiative des Landes Mecklenburg-Vorpommern gefördert wird. Das

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/vortrag-chemoinformatik-und-metabolomik-als-erweiterung-klassischer-wirkstoffforschung-36415/

  8. Erschließung und Digitalisierung des Nachlasses von Oluf Gerhard Tychsen (1734-1815)
    25.01.2017, 3:00 pm - 25.01.2017, 4:15 pm

    che Sprachen und Bibliothekar an den Universitäten Bützow und Rostock wirkte. Hauptthemen des etwa 5.000 Stücke umfassenden Nachlasses sind neben jüdischer Geschichte und Tradition insbesondere islamische

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/erschliessung-und-digitalisierung-des-nachlasses-von-oluf-gerhard-tychsen-1734-1815-5329/

  9. Archiv-News

    des Departments Leben, Licht & Materie (LL&M) der Universität Rostock hat sich am 19. Januar 2018 zum 5. Workshop im… read more 25.11.2017 Ein MRT für Forscher im Maschinenbau Ein MRT im Maschinenbau? „Ja“

    https://www.inf.uni-rostock.de/en/archiv-news/

  10. Vorstellung der Seminare und Projektveranstaltungen

    Parzyjegla) English Version Data Provenance-Tools (T. Auge) Zusatzangebot für B.Sc. Informatik (ab 5. Semester) & M.Sc. Informatik Lecture Series on Quantum Information (Regularien zur Anrechnung des Moduls

    https://www.informatik.uni-rostock.de/en/studium-lehre/vorstellung-der-seminare-und-projektveranstaltungen-1/

Displaying results 1881 to 1890 of 4793.
  • Previous
  • ...
  • 185
  • 186
  • 187
  • 188
  • 189
  • 190
  • 191
  • 192
  • 193
  • 194
  • ...
  • 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