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

4864 Results:

  1. Physics Seminar: Dr. Kasra Amini (MBI)
    17.12.2024, 2:00 pm - 17.12.2024, 3:00 pm

    achieved using a radiofrequency (RF) field. We have corrected the RF-laser timing jitter of 380-fs to 13.5-fs. Work is on-going on characterising electron compression. In the near future, we will upgrade our

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/physikalisches-seminar-dr-kasra-amini-mbi-226721-1/

  2. VLSI-Labor

    Galileo FPGA-Prototyping-Board ML405 mit Xilinx Virtex4 FPGA-Prototyping-Board ML507 mit Xilinx Virtex5 FPGA-Prototyping-Board ML605 mit Xilinx Virtex6 FPGA-Prototyping-Board VC707 mit Xilinx Virtex7 FPG

    https://www.imd.uni-rostock.de/en/institut/labore/vlsi-labor/

  3. Netz-Stabil

    Social Fund within the Mecklenburg-Western Pomerania Excellence Research Programme with approximately 5 million euros over a period of four years. Project duration: 1.1.2017-31.03.2021

    https://www.netz-stabil.uni-rostock.de/en/

  4. Bouldern für mentale Gesundheit
    25.03.2025

    Studierende, die aktuell nicht in psychotherapeutischer Behandlung sind und einen BMI zwischen 17,5 und 30 haben. In Zukunft soll dieses Programm jedoch allen Interessierten zugänglich gemacht werden

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/bouldern-fuer-mentale-gesundheit-235885/

  5. Latest News

    Generation and Communication of Knowledge in the Humanities read more 21.01.2025, 9:00 am - 21.01.2025, 5:00 pm Literature and Space II Hybrid Workshop on the Digital Analysis of the Spatial Dimension in E

    https://www.germanistik.uni-rostock.de/en/forschung/digital-humanities/latest-news/

  6. Luft und Kohlenstoffdioxid - die unsitbare Welt der Gase
    10.10.2025, 2:00 pm

    mit begleitenden Arbeitsblättern entwickelt worden, die in den Jahrgangsstufen 3/4 (Sachunterricht), 5/6 (NaWi-Unterricht) und 7/8 (Chemieunterricht) flexibel eingesetzt werden können. Mit Fragen wie "Warum

    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=236245&cHash=666a3a0f26334344cd36ed43a6467859

  7. Luft und Kohlenstoffdioxid - Die unsichtbare Welt der Gase
    19.02.2020, 3:00 pm

    mit begleitenden Arbeitsblättern entwickelt worden, die in den Jahrgangsstufen 3/4 (Sachunterricht), 5/6 (NaWi-Unterricht) und 7/8 (Chemieunterricht) flexibel eingesetzt werden können. Mit Fragen wie "Warum

    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=240515&cHash=aa9cdd05dd07104c94bfbeb7e2d72525

  8. Luft und Kohlenstoffdioxid - Die unsichtbare Welt der Gase
    20.02.2020, 3:00 pm

    mit begleitenden Arbeitsblättern entwickelt worden, die in den Jahrgangsstufen 3/4 (Sachunterricht), 5/6 (NaWi-Unterricht) und 7/8 (Chemieunterricht) flexibel eingesetzt werden können. Mit Fragen wie "Warum

    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=240471&cHash=0ce6ee9ab51d184c37fd2bd38fccc7ec

  9. Luft und Kohlenstoffdioxid - die unsichtbare Welt der Gase
    04.04.2024, 12:00 pm

    mit begleitenden Arbeitsblättern entwickelt worden, die in den Jahrgangsstufen 3/4 (Sachunterricht), 5/6 (NaWi-Unterricht) und 7/8 (Chemieunterricht) flexibel eingesetzt werden können. Mit Fragen wie "Warum

    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=240755&cHash=1638d6ce15c8e995e81dd5b12736ae05

  10. Luft und Kohlenstoffdioxid - die unsichtbare Welt der Gase
    14.03.2024, 3:00 pm

    mit begleitenden Arbeitsblättern entwickelt worden, die in den Jahrgangsstufen 3/4 (Sachunterricht), 5/6 (NaWi-Unterricht) und 7/8 (Chemieunterricht) flexibel eingesetzt werden können. Mit Fragen wie "Warum

    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=240751&cHash=7cf273a2f905d2c83ba451cfef595182

Displaying results 2191 to 2200 of 4864.
  • Previous
  • ...
  • 216
  • 217
  • 218
  • 219
  • 220
  • 221
  • 222
  • 223
  • 224
  • 225
  • ...
  • 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