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

4868 Results:

  1. WIN Master (SPSO 2018)

    Prüfungen 3.5 Freiwilliger Studienaufenthalt im Ausland und Anfertigung von schriftlichen Abschlussarbeiten im Ausland 3.6 Individuelles Teilzeitstudium 3.7 Doppelabschluss (Double Degree) 5. Broschüren [...] Regel an der Universität stattfinden, an der die Erstimmatrikulation erfolgte. 5. Broschüren / Videos / Ordnungen (Downloads) 5.3 Ordnungen Studiengangsspezifische Prüfungs- und Studienordnung Master Wir [...] Inhaltliche Anforderungen 2.3 Besonderheiten 2.4 Tätigkeitsfelder für Absolventen (Berufsfelder) 2.5 Weiterführende Qualifizierungsmöglichkeiten (Promotion) 3. Studienablaufplan 3.1 Studienablaufplan

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-1/wirtschaftsinformatik-msc/win-master-spso-2018/

  2. Publications

    Chumakov A., and Dubrovinsky L. Crystal chemistry and compressibility of Fe 0.5 Mg 0.5 Al 0.5 Si 0.5 O 3 and FeMg 0.5 Si 0.5 O 3 silicate perovskites at pressures up to 95 GPa Front. Chem. 11, 1258389 (2023) [...] Morozova N.V., Bykov M., Bykova E., and Dubrovinsky L. Electronic properties of single-crystalline Fe 4 O 5 Dalton Trans. 52, 5563–5574 (2023) Csizmadia Sz., Smith A.M.S., Kálmán Sz., Cabrera J., Klagyivik P [...] IOP publishing Ltd (2021) Nettelmann N. Stardust in the deep interior of low-mass planets Nat. Ast. 5, 744 (2021) Aslandukov A., Aslandukova A., Laniel D., Koemets I., Fedotenko T., Yuan L., Steinle-Neumann

    https://www.for2440.uni-rostock.de/en/publications/

  3. Vielkanal-Logic-Analyzer mit Konfigurationserkennung

    Cost ARM Based Logic Analyzer." International Journal of Engineering and Advanced Technology (IJEAT) 1.5 (2012). Babich, Fulvio, and Lia Deotto. "Formal methods for specification and analysis of communication

    https://iuk.uni-rostock.de/en/lehre-studium/abschlussarbeiten/vielkanal-logic-analyzer-mit-konfigurationserkennung/

  4. Urlaub beantragen und genehmigen

    Auszubildende : 30 Urlaubstage in jedem Kalenderjahr. Schwerbehinderte erhalten einen Zusatzurlaub von 5 Tagen, wenn die Schwerbehinderteneigenschaft das ganze Kalenderjahr über besteht. Bei Neufeststellung

    https://www.personalrat.uni-rostock.de/en/informationen/hinweise-und-anleitungen/urlaub-beantragen-und-genehmigen/

  5. Verfahrensregeln in Zeiten der Corona-Pandemie
    14.05.2020

    werden, sobald die Wiederaufnahme technisch möglich ist. Dies muss im Prüfungsprotokoll vermerkt werden. 5) Delegation ans ZPA Die von Amts wegen durch den ZPLA zu erteilenden Genehmigungen gemäß den vorstehenden

    https://www.zlb.uni-rostock.de/en/vorlage-veranstaltungen/detailansicht-des-events-2/n/verfahrensregeln-in-zeiten-der-corona-pandemie-64731-1/

  6. UW-Monitoring vor Nienhagen (2011)

    s Nienhagen zum Gebiet des künstlichen Riffes und zurück (Gesamtdistanz ca. 2,6km, Tiefenbereich 1,5 - 12m) wurde neben dem UW-GPS, eine Videokamera, ein Scooter und der Tauchcomputer (Suunto-Cobra) benutzt

    https://www.fotau.uni-rostock.de/en/berichte/verschiedenes/uw-monitoring-vor-nienhagen-2011/

  7. Hinweise zum Datenschutz

    Personalvertretungen (Personalrat, Gleichstellungsbeauftragte und ggf. die Schwerbehindertenvertretung). 5. Speicherdauer Ihre personenbezogenen Daten/Bewerbungsunterlagen werden unverzüglich nach Abschluss

    https://www.uni-rostock.de/en/stellen/hinweise-zum-datenschutz/

  8. Media

    Salzwasser besser als Süßwasser? ERC Starting Grant 2012 - Erforschung einzigartiger Nanostruktu­ren: 1,5 Mio. Euro für Nachwuchswissen­schaftler der Universität Hamburg (PM Universität Hamburg, November 2012)

    https://www.nanomaterials.uni-rostock.de/en/media/

  9. SAFE4I (BMBF)

    Wellnitz, Christian Haubelt: Activity Recognition using Head Worn Inertial Sensors In Proceedings of the 5th international Workshop on Sensor-based Activity Recognition and Interaction (iWOAR), pp. 14:1 – 14:7

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/safe4i-bmbf/

  10. 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/

Displaying results 2771 to 2780 of 4868.
  • Previous
  • ...
  • 274
  • 275
  • 276
  • 277
  • 278
  • 279
  • 280
  • 281
  • 282
  • 283
  • ...
  • 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