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. Cyclopropanes

    dianions provides spirocyclopropanes which readily undergo ring-cleavage reactions. Cyclopropylated 1,3,5-tricarbonyl compounds were prepared for the first time. Based on this work also other syntheses of

    https://www.langer.chemie.uni-rostock.de/en/forschung2/forschungsthemen/cyclopropanes/

  2. 2-Isothiocyanatobenzonitrile

    5.6 Domino Reactions of 2-Isothiocyanatobenzonitrile Abstract: 2-Isothiocyanatobenzonitrile (ITCB) and isocyanatobenzonitrile (ICB) represent versatile synthetic building blocks containing a nitrile and

    https://www.langer.chemie.uni-rostock.de/en/forschung2/forschungsthemen/multicomponent-and-domino-reactions/2-isothiocyanatobenzonitrile/

  3. Workshop KI-KMU 2024 - Aufruf zur Einreichung von Beiträgen
    01.05.2024

    Das Zentrum für Künstliche Intelligenz Mecklenburg-Vorpommern (KIMV) ist in diesem Jahr am 5. Workshop zu Künstliche Intelligenz im Mittelstand (KI-KMU 2024) beteiligt. Der Aufruf zur Einreichung von Beiträgen

    https://www.mmis.informatik.uni-rostock.de/en/news/detailansicht-der-news/n/workshop-ki-kmu-2024-aufruf-zur-einreichung-von-beitraegen-195659/

  4. 5. Regel

    5. Schützen Sie sich proaktiv vor Malware Nutzen Sie ein Antivirus-Produkt und aktualisieren Sie dieses mindestens einmal täglich. Microsoft Defender bietet ausreichend Schutz, wenn Ihr System per Software

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/fuenf-grundregeln-fuer-den-sicheren-betrieb-von-windows-systemen/5-regel/

  5. Online-Workshop: From PhD to Innovator
    07.10.2021, 9:00 am - 08.09.2021, 5:00 pm

    Oct 7 th and 8th, online via Zoom from 9am to 5pm Online-Workshop: From PhD to Innovator The two-day workshop FROM PHD TO INNOVATOR is aimed at PhD students and postdocs from all disciplines, no entre

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/online-workshop-from-phd-to-innovator/

  6. Withdrawal, absence

    Withdrawal, absence (Rücktritt, Versäumnis) An examination is evaluated as "insufficient" (5.0) if the candidate does not appear at the examination date without good reason. The same applies, if a written

    https://www.physik.uni-rostock.de/en/studium-und-lehre/studiengaenge/auslaufende-studiengaenge/master-in-physics/examination/withdrawal-absence/

  7. Vortrag im Rahmen der Reihe Kultur im Kloster am 08.06.2021 um 17.15 Uhr
    08.06.2021

    Der Vortrag findet unter folgendem Link statt: https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5

    https://www.geschichte.uni-rostock.de/en/aktuelles/newssytem/aktuelles-des-hi/detailansicht-der-news/n/vortrag-im-rahmen-der-reihe-kultur-im-kloster-am-08062021-um-1715-uhr/

  8. Ausschreibungen zu Projektförderungen: BMBF – Änderung der Bekanntmachung Förderrichtlinie "Stadt-Land-Plus" zur Förderung von Forschungs- und Entwicklungsvorhaben im Themenbereich "Ressource Land"
    23.07.2018

    und Entwicklungsvorhaben im Themenbereich "Ressource Land" vom 4. Januar 2017 (BAnz AT 16.01.2017 B5) ist eine Ergänzung zur Richtlinie zur Förderung von Vorhaben für die Umsetzung der Leitinitiative

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/n/ausschreibungen-zu-projektfoerderungen-bmbf-aenderung-der-bekanntmachung-foerderrichtlinie-stadt-land-plus-zur-foerderung-von-forschungs-und-entwicklungsvorhaben-im-themenbereich-ressource-land-32397/

  9. Qualifizierungsprogramm: Freie Plätze / Qulification Program: Participation still possible
    07.06.2018

    00-16.00 Uhr Anmeldung Rhetoric & Presentation skills Referentin: Kira Ludwig 18./19.06.2018, 9.00 am-5.00 pm Anmeldung Effective scientific Communication Prof. Dr. Olaf Wolkenhauer, Universität Rostock,

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/qualifizierungsprogramm-freie-plaetze-qulification-program-participation-still-possible-30273/

  10. Technical data

    Technical data 3D prints MakerBot Replicator The MakerBot Replicator 5th Generation with an extruder has the following technical data: Printing technology: FDM=Fused Deposition Modeling Layer resolution:

    https://www.itmz.uni-rostock.de/en/anwendungen/dienste-fuer-forschung/lehre/drucken-und-scannen/drucken-papier-und-3d/3d-printing/technical-data/

Displaying results 661 to 670 of 4880.
  • Previous
  • ...
  • 63
  • 64
  • 65
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72
  • ...
  • 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