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. Vortragsreihe: „Demokratie. Norm und Praxis der Sozialpädagogik?"
    17.11.2022

    Universität Wuppertal, Freie Universität Berlin) Soziale Arbeit als ‚Bedingung‘ für Demokratie? Do 19.5.2022 um 17:15 | Prof. Dr. Patrick Oehler (Fachhochschule Nordwestschweiz) Demokratie als Kernthema

    https://www.iasp.uni-rostock.de/en/aktuelles/vorlage-aktuelles/detailansicht-der-news/n/demokratie/

  2. Update Adobe Acrobat an der PHF / THF - Längere Warezeiten bei der Bereitstellung
    04.01.2024

    Da das Update über 5 Gigabyte groß ist und über 400 Rechner dieses gleichzeitig versuchen herunterzuladen / zu installieren ist die Kapazität des Microsoft-Servers und der Netzanbindung sehr stark beansprucht

    https://www.imf.uni-rostock.de/en/institut/aktuelles/aktuelles/detailansicht-der-news/n/update-adobe-acrobat-an-der-phf-thf-laengere-warezeiten-bei-der-bereitstellung-new65967b3091410465514724-1/

  3. Update Adobe Acrobat an der PHF / THF - Längere Warezeiten bei der Bereitstellung
    04.01.2024

    Da das Update über 5 Gigabyte groß ist und über 400 Rechner dieses gleichzeitig versuchen herunterzuladen / zu installieren ist die Kapazität des Microsoft-Servers und der Netzanbindung sehr stark beansprucht

    https://www.phf.uni-rostock.de/en/aktuelles/nachrichten-mitteilungen-aus-der-philosophischen-fakultaet/aktuelles/detailansicht-der-news/n/update-adobe-acrobat-an-der-phf-thf-laengere-warezeiten-bei-der-bereitstellung-new65967b3091410465514724/

  4. Domino Reactions of Chromones with Activated Carbonyl Compounds

    5.3 Domino Reactions of Chromones with Activated Carbonyl Compounds Abstract: Domino reactions of chromones with activated carbonyl compounds, such as dimethyl acetone-1,3-dicarboxylate and 1,3-diphenylacetone

    https://www.langer.chemie.uni-rostock.de/en/forschung2/forschungsthemen/multicomponent-and-domino-reactions/domino-reactions-of-chromones-with-activated-carbonyl-compounds/

  5. Alumni-Treffen der Mentor:innen an beruflichen Schulen in M-V 2024

    Alumni-Treffen der Mentor:innen an beruflichen Schulen in M-V In diesem Schuljahr werden wir die 5. Mentor:innen-Qualifizierungsrunde abschließen. Das ist für uns ein Anlass, das Erreichte zu feiern und

    https://www.ibp.uni-rostock.de/en/alumnitreffen-mentor-innen-2024/

  6. Mare Balticum Fellow 2023
    15.05.2023 - 15.07.2023

    for humanities research: from data collection, to annotation, exploitation and sharing , Seminar, 30.5. bis 01.06.2023, 9:00–13:00 Uhr, zur Ankündigung Digital-born editing models for historical linguistics

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/mare-balticum-fellow-2023-172081/

  7. Dr. Verena Specowius

    Darstellung CF 2 Cl-substituierter Arene und Heteroarene, funktionalisierter N-Heterocyclen ausgehend von 3,5-Dioxopimelaten und substituierter Indolizine“ Kontakt Institut für Chemie Abteilung für Organische Chemie

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

  8. Dr. Stefanie Reim

    Arbeitskreis von Prof. P. Langer, Universität Rostock, Thema: „Synthese von Fluorenonen, Phthalaten, 3,5-Dioxopimelaten, halogensubstituierten Phenolen und Butenoliden durch Lewis-Säure-vermittelte Reaktionen

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

  9. Workshop "KI in KMU 2024" auf dem INFORMATIK FESTIVAL 2024
    27.09.2024

    Am 26.09.2024 fand im Rahmen des INFORMATIK FESTIVALS 2024 in Wiesbaden der 5. Workshop "Künstliche Intelligenz im Mittelstand" statt. Gemeinsam hatten wir die Möglichkeit, uns über zahlreiche KI-Projekte

    https://www.mmis.informatik.uni-rostock.de/en/news/detailansicht-der-news/n/workshop-ki-in-kmu-2024-auf-dem-informatik-festival-2024-203943/

  10. Kooperationswerkstatt Lehrkräftebildung für berufliche Schulen
    04.07.2024

    Am Mittwoch, d. 03.07.2024 fand die 5. Kooperationswerkstatt Lehrkräftebildung für berufliche Schulen statt. Die „ Kooperationswerkstatt Lehrkräftebildung für berufliche Schulen " richtet sich an Vera

    https://www.zlb.uni-rostock.de/en/vorlage-veranstaltungen/detailansicht-des-events-2/n/kooperationswerkstatt-lehrkraeftebildung-fuer-berufliche-schulen-198341/

Displaying results 1001 to 1010 of 4883.
  • Previous
  • ...
  • 97
  • 98
  • 99
  • 100
  • 101
  • 102
  • 103
  • 104
  • 105
  • 106
  • ...
  • 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