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

4867 Results:

  1. Herzpumpenprüfstand

    erfolgt im Zulauf- und Ablaufrohr vor bzw. hinter der Pumpe. Um die Pumpe ist jeweils eine Ringleitung (5) aus Silikonschläuchen angeordnet. Die Ringleitung führt zu einer Sammelleitung, die mit dem Drucksensoren

    https://www.itu.uni-rostock.de/en/ausstattung/pruefstaende/herzpumpenpruefstand/

  2. Online-Vortrag von Dr. Cosima Clara Gillhammer (Christ Church, Oxford) in der interdisziplinären Veranstaltungsreihe „Kultur im Kloster“
    22.06.2021

    2021, 17.15–18.45 Zugangslink zum Onlinevortrag: https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/online-vortrag-von-dr-cosima-clara-gillhammer-christ-church-oxford-in-der-interdisziplinaeren-veranstaltungsreihe-kultur-im-kloster/

  3. Linear Collider Studien

    technisch genutzt werden. In Zukunft interessieren in der e+e--Physik derart hohe Energien (500 GeV bis 1,5 TeV), daß Speicherringe wegen der Energieverluste durch Synchrotronstrahlung nicht mehr in Frage kommen

    https://www.iae.uni-rostock.de/en/forschung/theoretische-elektrotechnik/elektromagnetische-felder-in-der-beschleunigerphysik/linear-collider-studien/

  4. Wirkungsvoll präsentieren und vortragen
    02.12.2021, 9:00 am - 03.12.2021, 4:00 pm

    Für den zweiten Workshop-Tag bereiten Sie bitte eine kurze, allgemeinverständliche Präsentation (ca. 5 min) aus ihrem Arbeitsbereich vor und bringen diese mit. Methoden: praxisnah, motivierend, interaktiv

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/wirkungsvoll-praesentieren-und-vortragen-68571/

  5. Sicherheitsanalyse von OT-Komponenten

    digitalization to create an efficient and secure environment for companies." Control Engineering 66.5 (2019): 29-31. Ginter, Andrew. Secure operations technology . Lulu Publishers, 2019. Jiang, Xingbin

    https://iuk.uni-rostock.de/en/lehre-studium/penetrationstest-von-pbx-software-telefonanlagen-1/

  6. Angebote für Schülerzeitungen

    Oben ankommen - Maschinenbau am Meer Breites Fächerspektrum Wir bieten Ihnen 4 Bachelor- und 5 Masterstudiengänge mit den Schwerpunkten Biomedizinische Technik, Maschinenbau, Mechatronik, Schiffs- und

    https://www.msf.uni-rostock.de/en/studieninteressierte/angebote-fuer-schuelerzeitungen/

  7. "Schatz an der Küste“ – das Hotspot-Projekt im Bundesprogramm Biologische Vielfalt
    04.03.2021

    (A.F.E.R. e.V.-Institut) auf einem Standort am Radelsee und im Recknitztal über einen Zeitraum von 5 Jahren (2015 - 2020) verschiedene Bewirtschaftungsmaßnahmen untersucht. Dazu wurde alle 2 Jahre die

    https://www.auf.uni-rostock.de/en/fakultaet/ueber-uns/aktuelles/detailansicht-der-news/n/schatz-an-der-kueste-das-hotspot-projekt-im-bundesprogramm-biologische-vielfalt-88353/

  8. Verfahren zur analogen Langzeitsicherung digitalen Erbes (bis 05/22)

    online --- Strategien der Digitalisierung kultureller Archive und ihrer Präsentation im Internet, Volume 5 of Rostocker Beiträge zur Volkskunde und Kulturgeschichte, Waxmann, 2014, 61--84.

    https://dbis.informatik.uni-rostock.de/en/studium/studentische-arbeiten/in-bearbeitung/verfahren-zur-analogen-langzeitsicherung-digitalen-erbes-1/

  9. DigitShip

    Komponenten unter Berücksichtigung realer Einsatzbedingungen. Langfristig sollen dadurch zwischen 2 und 5% Brennstoff eingespart werden. Eine höhere Effizienz im Schiffsbetrieb führt zu geringeren Emissionen

    https://www.lsb.uni-rostock.de/en/fup/digitship/

  10. Holger Meyer

    Linear Algebra for Machine Learning on Parallel-RDBMS Using SQL . In: Open Journal of Big Data (OJBD), 5 (1). pp. 1-34, 2019. Meyer, H.; Schmitt, C.; Steinmüller, W.: Das interaktive Ortschronikenportal für

    https://dbis.informatik.uni-rostock.de/en/mitarbeiter/heuer/holger-meyer/

Displaying results 2341 to 2350 of 4867.
  • Previous
  • ...
  • 231
  • 232
  • 233
  • 234
  • 235
  • 236
  • 237
  • 238
  • 239
  • 240
  • ...
  • 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