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

4861 Results:

  1. Internetgestützte Verlaufsdiagnostik

    DeVries, J. M., Gebhardt, M. F. & Voß, S. (2017). An assessment of measurement invariance in the 3- and 5-factor models of the Strengths and Difficulties Questionnaire: New insights from a longitudinal study

    https://www.igsp.uni-rostock.de/en/forschung/forschungsprojekte/internetgestuetzte-verlaufsdiagnostik/

  2. Internetausstellung

    Sammlung des Physikalischen Instituts der Universität Rostock [Fotos: Marc Lemke] London, Kings Street – 5. November 2002. In der Auktion No. 6668 des Auktionshauses CHRISTIE‘S steht ein schwedisches Globuspaar

    https://www.germanistik.uni-rostock.de/en/forschung/abgeschlossene-projekte/germanistik2/internetausstellung/

  3. MRI

    intake flow measurements of an IC engine using magnetic resonance velocimetry Exp Fluids 2014; 55(5):1724 Buchenberg WB, Wassermann F, Grundmann S, Jung B, Simpson R. Acquisition of 3D temperature di

    https://www.lsm.uni-rostock.de/en/ressourcen/messtechnik/magnetic-resonance-imaging/

  4. Mechanisms of Action of Particle Fouling on Structured Heat-Transferring Surfaces

    VII European Congress on Computational Methods in Applied Sciences and Engineering, Crete, Greece, 5-10 June 2016, Volume IV, 7703 - 7710. DOI: 10.7712/100016.2366.10854 Cherunov P.V., Cherunova I.V.,

    https://www.lemos.uni-rostock.de/en/research/thermo-fluid-dynamics/mechanisms-of-action-of-particle-fouling-on-structured-heat-transferring-surfaces-1-1-1/

  5. Software

    style-sheet presentation.isy in the document with jenstex.isy. Uses lmodern sans font. Use scale=0.5 for label heights in figures that are similar to surrounding text. Usage and short-cuts of Ipe (some

    https://algo.uni-rostock.de/en/software/

  6. Einschreibung für das SoSe 2022: Übersicht über Veranstaltungen am IGSP für Studierende im 2. + 4. Semester
    10.02.2022

    Arithmetikunterricht der Grundschule (Fricke, n.n.) (eine Anmeldung mit Priorisierung) Mathematik M5: Konzepte der Planung, Organisation und Reflexion von Lehr- und Lernprozessen im Mathematikunterricht

    https://www.igsp.uni-rostock.de/en/institut/mitteilungen-aus-dem-institut/detailansicht-der-news/n/einschreibung-fuer-das-sose-2022-uebersicht-ueber-veranstaltungen-am-igsp-fuer-studierende-im-2-4-semester-110871/

  7. Konfigurieren eines IPSec-Paketfilters per GUI

    inien" und wählen Sie den Befehl "IP-Sicherheitsrichtlinie erstellen" 4. Klicken Sie auf "Weiter". 5. Benennen Sie die IPsec-Richtlinie. Geben Sie IPFilter ein und klicken Sie auf weiter. 6. Klicken Sie

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/grundlagen/konfigurieren-eines-ipsec-paketfilters-per-gui/

  8. Veranstaltungsarchiv

    Sportseminar: Selbstverteidigung (flti* only) // 15.11.2019, 11:00-15:00 Uhr // Ulmenstraße 69, Haus 5, Sporthalle Während des Kurses werden Techniken und Strategien zur Selbstverteidigung gelehrt. Ziel

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/vielfalt-und-antidiskriminierung/gender-und-queer-studien/ag-gender-und-queer-studien/veranstaltungsarchiv/

  9. Publikationen 2023

    . Technologien für die intelligente Automation, Vol. 17, pp. 61-72, DOI: 10.1007/978-3-662-66769-9_5 , ISBN: 978-3-662-66769-9, Verlag Springer Vieweg Berlin, Heidelberg, Deutschland, März 2023 Dina Kea

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2023/

  10. Datenschutzerklärungen für Social Media

    schnelle elektronische Kontaktaufnahme und unmittelbare Kommunikation über ein zusätzliches Medium, § 5 Abs. 1 Nr. 2 TMG. Die sozialen Netzwerk-Funktionen können Sie nur nutzen, wenn Sie auch auf Instagram

    https://www.ub.uni-rostock.de/en/universitaetsbibliothek/grundlagen-unseres-handelns/social-media/datenschutzerklaerungen-fuer-social-media/

Displaying results 3461 to 3470 of 4861.
  • Previous
  • ...
  • 343
  • 344
  • 345
  • 346
  • 347
  • 348
  • 349
  • 350
  • 351
  • 352
  • ...
  • 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