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

4797 Results:

  1. Kalenderblatt Juni 2014

    praktischen Uebungen theilnehmen beträgt im Semester etwa 40-50, die der selbstständig Arbeitenden 5-10“. Reinhard Mahnke Dieses Gebäude beherbergte viele Jahre das Physikalische Institut (Foto: D. Bojarski)

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2014/kalenderblatt-juni-2014/

  2. 7. Spieltags-Bericht 19.06.2024 (Sommersaison 2024)
    25.06.2024

    Spieltages gegen “AS Tralkörper” um alles gehen sollte. 17:00 Uhr FC Saufhampton vs. FC Kopp’n’Naggen 5:1 (Gruppe B) Der Tabellenführer der Gruppe B bestätigte gegen der “FCK” ihre Position und Form. Die

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/7-spieltags-bericht-19062024-sommersaison-2024-198115/

  3. 263 GHz DNP

    CP/LT-MAS triple resonance probe with rotor insert and eject system. This probe with an active volume of 1.5 µL allows to perform MAS experiments with up to 40 kHz at 100 K. Due to the high inductivity of the

    https://www.corzilius.chemie.uni-rostock.de/en/hauptmenue/research/instrumentation/263-ghz-dnp/

  4. Lars Liemer

    Heinrich Schliemann-Institut für Altertumswissenschaften Lateinische Philologie Schwaansche Straße 5 (201) D-18055 Rostock Mail : lars.liemer@uni-rostock.de Tel .: 0381 498 2790 Akademischer Lebenslauf

    https://www.altertum.uni-rostock.de/en/forschung/promotionsvorhaben/lars-liemer/

  5. Lars Liemer

    Lars Liemer, M. A. Lehrbeauftragter der Latinistik Raum: 201, Schwaansche Straße 5 Sprechzeit: nach Vereinbarung Telefon: 0381 498-2790 E-Mail: Lars Liemer Lebenslauf Akademischer Lebenslauf seit 09/2022

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/lars-liemer/

  6. „Tag der Mathematik“ für die ganze Familie
    24.06.2017, 10:00 am - 24.06.2017, 3:00 pm

    ist ein Wettbewerb für mathematisch interessierte Schülerinnen und Schüler der Jahrgangsstufen 4 und 5 der Rostocker Grundschulen und weiterführenden Schulen. Jede Schule kann bis zu fünf Schülerinnen und

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/tag-der-mathematik-fuer-die-ganze-familie-12493/

  7. Feierliche Eröffnung des Elektronenmikroskopie-Zentrums ELMI-MV an der Universität Rostock
    07.07.2022

    Fahrzeugbaus, der Medizintechnik und der Windenergietechnik. Das Land hat die Anschaffung mit mehr als 1,5 Mio. Euro gefördert und zudem fast 600.000 Euro für bauliche Anpassungsmaßnahmen zur Verfügung gestellt

    https://www.msf.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/feierliche-eroeffnung-des-elektronenmikroskopie-zentrums-elmi-mv-an-der-universitaet-rostock-1/

  8. Von Anfang an im Blick - Berufsoption FH-Professur
    25.10.2019

    Gremienarbeit, Das Lehrdeputat kann an privaten Hochschulen höher sein, Praxiserfahrung: insgesamt 5 Jahre (3 Jahre außerhalb der Hochschule, 2 Jahre innerhalb der Hochschule) dabei gilt Teilzeit = Vollzeit

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/von-anfang-an-im-blick-berufsoption-fh-professur-62621/

  9. Zwei Schulen aus M-V im Rennen um den Deutschen Schulpreis
    09.05.2018

    und Verantwortung zu erziehen“. Die fünf Preisträgerschulen erhalten 25.000 Euro, nominierte Schulen 5.000 Euro. Die Top-20-Schulen, die keinen Preis erhalten, profitieren vom neuen Schulentwicklungsprogramm

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/zwei-schulen-aus-m-v-im-rennen-um-den-deutschen-schulpreis-28903/

  10. Konferenz diskutiert an Uni Rostock Perspektiven der Flüchtlingsarbeit
    03.03.2021

    nach dem legendären Satz von Bundeskanzlerin Angela Merkel „Wir schaffen das“ diskutieren am 4. und 5. März 2021 auf einer Konferenz Experten und Akteure über Erfahrungen, Ängste, Perspektiven und Hoffnungen

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/konferenz-diskutiert-an-uni-rostock-perspektiven-der-fluechtlingsarbeit-88215/

Displaying results 2731 to 2740 of 4797.
  • Previous
  • ...
  • 270
  • 271
  • 272
  • 273
  • 274
  • 275
  • 276
  • 277
  • 278
  • 279
  • ...
  • 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