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

4781 Results:

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

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

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

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

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

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

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

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

  9. „Inspired –Der Ideenwettbewerb. In MV.“ Die Gewinner des Ideenwettbewerbes 2021 stehen fest
    01.07.2021

    Glatte, Bennet Seehofer Platz: „SunBerry“, Annika Döring, Tobias Muth Den Medien-Sonderpreis in Höhe von 5.000€ für eine Werbekampagne auf 80s80s Radio gewannen Leonie Korbach und Maximilian Wenzel aus Greifswald

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/inspired-der-ideenwettbewerb-in-mv-die-gewinner-des-ideenwettbewerbes-2021-stehen-fest-1/

  10. EuCARD und Folgeprojekt EuCARD II

    EuCARD und Folgeprojekt EuCARD II Projektbeschreibung EuCARD Arbeitspaket 10.5.3 Higher Order Modes Geometrical Dependencies (EU FP7 Research Infrastructure Grant No. 227579) und das Nachfolgearbeitspaket

    https://www.iae.uni-rostock.de/en/eucard/

Displaying results 2301 to 2310 of 4781.
  • Previous
  • ...
  • 227
  • 228
  • 229
  • 230
  • 231
  • 232
  • 233
  • 234
  • 235
  • 236
  • ...
  • 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