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

4879 Results:

  1. IEF mit zwei Messeständen und Live-Video-Beratung auf virtueller Messe zum Hochschulinformationstag (05.06.2021)
    05.06.2021

    Video-Beratung durch Lehrende der Informatik – live am 5. Juni 2021 von 11:00 bis 15:00 Uhr Video-Beratung durch Studierende der Informatik – live am 5. Juni 2021 von 11:00 bis 15:00 Uhr Video-Beratung durch [...] durch einen Lehrenden der Elektrotechnik – live am 5. Juni 2021 von 12:00 bis 12:30 Uhr IEF Studienbüro und Prüfungsamt – wöchentliche Live-Beratung nach dem HIT IEF Hochschul-Informations-Plattform für

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/ief-mit-zwei-messestaenden-und-live-video-beratung-auf-virtueller-messe-zum-hochschulinformationstag-05062021/

  2. Arne Wall

    Information Model In Proceedings of the 3rd IEEE Global Conference on Internet of Things (GCIoT), pp. 1-5, ISBN: 978-1-7281-4873-1, DOI: 10.1109/GCIoT47977.2019.9058404, Dubai, United Arab Emirates, Dezember [...] Evaluation of CoAP Implementations for Live Streaming using CoAP-Observe In Proceedings of the IEEE 5 th World Forum on Internet of Things (IEEE WF-IoT 2019), pp. 468-473, DOI: 10.1109/wf-iot.2019.8767189 [...] ons & Networking Conference (CCNC), pp. 1-2, DOI: 10.1109/CCNC.2018.8319304, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, Januar 2018 Arne Wall, Vlado Altmann, Johannes Müller, Hannes Raddatz, Dirk Timmermann:

    https://www.imd.uni-rostock.de/en/team/ehemalige-mitarbeitende/arne-wall/

  3. Aerodynamik und Hydrodynamik

    Zuordnung zu Curricula Bachelor Maschinenbau, Wahlpflichtmodul im 5. Semester Bachelor Biomedizinische Technik, Wahlpflichtmodul im 5. Semester Empfohlene Teilnahmevoraussetzung Kenntnisse entsprechend [...] n ► Weitere Angaben zum Modul Bachelor-Studiengang Aerodynamik und Hydrodynamik Im Wintersemester (5. Semester B.Sc.) Alte Bezeichnung: „Strömungsphysik“ Lern- und Qualifikationsziele (Kompetenzen) Mit

    https://www.lsm.uni-rostock.de/en/lsm-lehre/bsc/aerodynamik-und-hydrodynamik/

  4. Kindeserkrankung melden

    unter Fortzahlung der Bezüge gewährt werden. Sie können 7,5 Arbeitstage pro Kind freigestellt werden, bei mehreren Kindern jedoch insgesamt nur 18,5 Tage im Jahr (mindestens jedoch 4 Tage pro Kind). Als [...] alleinerziehende Beamte/ Beamter erhalten Sie pro Kind max. 15 Arbeitstage und für alle Kinder insgesamt 37,5 Tage. Voraussetzung ist, dass Ihre Dienstbezüge die Jahresarbeitsentgeltgrenze nach § 6 VI SGB V nicht

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-prozesse/detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=140133&cHash=d82b3e2795eae403798f5e2ab17b2ee3

  5. 5 Jahre ROC

    5 Jahre Rostocker Online Campus Der Rostocker Online Campus (ROC) feiert in diesem Jahr seinen 5. Geburtstag! Im April 2020 startete der ROC als zentrale Informationsplattform zur digitalen Lehre an der [...] Revue passieren und haben in drei Videos ein Wiedersehen mit Wegbegleiter*innen des ROCs. Video-Reihe: 5 Jahre Rostocker Online Campus Prof. Dr. Carolin Retzlaff-Fürst Professorin für Didaktik der Biologie

    https://www.roc.uni-rostock.de/en/ueber-den-roc/projekt-digitale-lehre-1/5-jahre-roc/

  6. Nachhaltigkeit und Klimawandel - experimentell im NaWi-Unterricht
    29.11.2023, 9:00 am

    ne.de --- Für diese aktuellen Bereiche werden im Workshop Experimente gezeigt, die mit den Klassen 5/6 durchgeführt und auch ausgewertet werden. Es werden Bezüge zum RLP aufgezeigt und Materialien sowie

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/nachhaltigkeit-und-klimawandel-experimentell-im-nawi-unterricht-172979/

  7. Ummeldetag für (Erstsemester-)Studierende (05.10. und 12.10.2022)
    05.10.2022

    Universitätsstadt Rostock organisiert und durchgeführt. Ummeldetag für Studierende aus Deutschland : Mi, 5. Oktober 2022, 09:00 bis 15:00 Uhr, im Ortsamt Mitte, Neuer Markt 1a, 18055 Rostock Ummeldetag für

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news/detailansicht-der-news/n/ummeldetag-fuer-erstsemester-studierende-0510-und-12102022-132827/

  8. Domino Reactions of Chromones with Heterocyclic Enamines

    5.2 Synthesis of (Deaza)purines by Domino Reactions of Heterocyclic Enamines with Chromones Abstract: Domino reactions of heterocyclic enamines with chromone derivatives provide a convenient access to

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

  9. 1,1-Diacylcyclopropanes

    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/new-building-blocks/11-diacylcyclopropanes/

  10. Workshop KI-KMU 2024 - Call for contributions
    01.03.2024

    The Center for Artificial Intelligence Mecklenburg-Vorpommern (KIMV) is participating in the 5th Workshop on Artificial Intelligence in SMEs (KI-KMU 2024) this year. The call for submissions has now been

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/workshop-ki-kmu-2024-aufruf-zur-einreichung-von-beitraegen-187439/

Displaying results 691 to 700 of 4879.
  • Previous
  • ...
  • 66
  • 67
  • 68
  • 69
  • 70
  • 71
  • 72
  • 73
  • 74
  • 75
  • ...
  • 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