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. Archive

    n, d.punkt Verlag, 2003 Meike Klettke, Holger Meyer, Werner Retschitzegger, Rainer Unland: Kapitel 5: Speicherung von XML-Dokumenten , in: Web und Datenbanken, d.punkt Verlag, 2003 Meike Klettke, Holger [...] Holger Meyer: Speicherung von XML-Dokumenten - eine Klassifikation , in: Datenbankspektrum, Heft 5, Seiten 40-51, 2003 Ilvio Bruder, Andre Zeitz: Towards Flexible and User-Friendly Management of Documents [...] "Datenbanksysteme in Büro, Technik und Wissenschaft" Tagung (BTW'01) , in: Datenbank Rundbrief der GI-FG 2.5.1, Heft 27, 2001 Wolfgang Lindner, Andreas Heuer: The MacWrap Project: Using an Object-Relational DBMS

    https://dbis.informatik.uni-rostock.de/en/publications/journal-and-conference-articles/archive/

  2. Publications

    Proceedings of PerEd2010 , 1–5. Albert Hein and Thomas Kirste. 2010. Unsupervised Detection of Motion Primitives in very High Dimensional Sensor Data . In Proceedings of the 5th Workshop on Behaviour Monitoring [...] Tolxdorff (eds.). Springer Fachmedien Wiesbaden, Wiesbaden, 76–81. doi.org/10.1007/978-3-658-47422-5_18 Sebastian Bader and Thomas Kirste. 2025. Large Language Models: Technische Grundlagen . In Schreibende [...] H. Cap (eds.). Springer Fachmedien Wiesbaden, Wiesbaden, 115–128. doi.org/10.1007/978-3-658-45839-3_5 Ole Fenske, Maximilian Popko, and Thomas Kirste. 2025. Towards representation agnostic probabilistic

    https://www.haiml.informatik.uni-rostock.de/en/publications/

  3. Daniel Winger

    der alten Sachsen. Begleitband zur Niedersächsischen Landesaustellung 2019. Landesmuseum Hannover 5.4.-18.8. 2019, Braunschweigisches Landesmuseum 22.9.2019 - 2.2.2020. Neue Studien zur Sachsenforschung [...] der alten Sachsen. Begleitband zur Niedersächsischen Landesaustellung 2019. Landesmuseum Hannover 5.4.-18.8. 2019, Braunschweigisches Landesmuseum 22.9.2019 - 2.2.2020. Neue Studien zur Sachsenforschung [...] der alten Sachsen. Begleitband zur Niedersächsischen Landesaustellung 2019. Landesmuseum Hannover 5.4.-18.8. 2019, Braunschweigisches Landesmuseum 22.9.2019 - 2.2.2020. Neue Studien zur Sachsenforschung

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/daniel-winger/

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

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

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

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

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

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

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

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