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

4781 Results:

  1. Abstracts

    Abstracts 2016 Hier finden Sie die Abstracts zum 5. Interdisziplinären Gender-Kolloquium zum Thema "Populärkultur - Geschlecht - Handlungsräume: Keynote I Elfriede Fürsich: Hauptseminar Gender und Diversität:

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/vielfalt-und-antidiskriminierung/gender-und-queer-studien/ag-gender-forschung/veranstaltungen/kolloquium-2016/abstracts/

  2. Physics Colloquium: Dr. Jörg Debus (TU Dortmund)
    29.06.2023, 4:15 pm - 29.06.2023, 5:15 pm

    exciton. Excitation spectra of upconverted photoluminescence reveals resonances at the energies 34.5 and 46.0 meV below the neutral exciton in the nominal WSe 2 transparency range. The energy and momentum

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/physics-colloquium-dr-joerg-debus-tu-dortmund-238057/

  3. Aktuelles

    Stipendium für den Masterstudiengang. Bewerbungsende ist der 15.10.2024 ! Weitere Infos… read more 1 2 3 4 5 … ❯

    https://www.juf.uni-rostock.de/en/fakultaet/pfad/fakultaet/verwaltung/aktuelles/

  4. Video The BoomRoom: Mid-air Direct Interaction with Virtual Sound Sources

    through controllers or visual interfaces. We show that sound localization is surprisingly accurate (11.5 cm), even in the presence of distractors. We propose to leverage the ventriloquist effect to further

    https://www.ief.uni-rostock.de/en/forschung/forschung-an-der-fakultaet/videos-zur-forschung/video-the-boomroom-mid-air-direct-interaction-with-virtual-sound-sources/

  5. Weiterbildungsportal: Lernangebote im Juni für Beschäftigte der UR
    15.05.2025

    Haushaltsschulung 2025: Referat D2.4 Sachgebiet Reisekosten 17.06.2025: Haushaltsschulung 2025: Referat D2.5 Finanzcontrolling und Statistik und Sachgebiet SG 2.06 Belegbearbeitung und Steuern 18.06.2025: Lernimpuls:

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=239949&cHash=b4af83424574066aee9da80338a290d1

  6. Projekt Master CSI

    Informatik vom letzten Semester übernehmen und aktualisieren. Alle Termine sind Di, 9-11 und Beginn 5.4.22. Alle Orte sind online. Themenübersicht ist stets: www.informatik.uni-rostock.de/studium-lehre

    https://www.ava.uni-rostock.de/en/lehre/wintersemester-2022/23/projekt-master-csi-1-1/

  7. Article series - Biologie in unserer Zeit

    Beendigung des kommerziellen Walfangs - Rückkehr der Finnwale in die Antarktis. Biologie in unserer Zeit 50(5): 338-345. https://doi.org/10.1002/biuz.202010716 Gritta Veit-Köhler, Dorte Janussen & Angelika Brandt

    https://www.spp-antarktisforschung.de/en/research/products/article-series-biologie-in-unserer-zeit/

  8. Ocean Technology Campus Rostock (BMBF)

    Summer Schools an der Universität Rostock (AP4) die Zahl qualifizierter Arbeitskräfte erhöhen. In AP5 werden Schülerinnen und Schüler durch differenzierte Lehrangebote an die Thematik herangeführt, um

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/ocean-technology-campus-rostock/

  9. Fast-Field-Cycling NMR-Relaxometry

    by a power supply unit made by Danfysik, Denmark. Here, the sample measurement is done in standard 5mm NMR tubes.

    https://www.ludwig.chemie.uni-rostock.de/en/research/methods/fast-field-cycling-nmr-relaxometry/

  10. Die Kreisprozesse der Thermodynamik

    Modul 2: Der Clausius-Rankine-Prozess Modul 3: Der Otto-Prozess Modul 4: Der Diesel-Prozess Modul 5: Der Seilinger Modul 6: Der Stirling-Prozess Zielgruppe Studierende technischer Fächer Studierende aus

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/onlinekurse/die-kreisprozesse-der-thermodynamik/

Displaying results 2311 to 2320 of 4781.
  • Previous
  • ...
  • 228
  • 229
  • 230
  • 231
  • 232
  • 233
  • 234
  • 235
  • 236
  • 237
  • ...
  • 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