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. Prof. Dr.-Ing. Thomas Kirste

    Foundations of Machine Learning AI3: Artificial Neural Networks AI4: Signals and Time Series Analysis AI5: Intelligent Environments and Cooperative Ensembles AI6: Introduction to Natural Language Processing

    https://www.ief.uni-rostock.de/en/fakultaet/institute-und-lehrstuehle/lehrende/institute/visual-and-analytic-computing/prof-dr-ing-thomas-kirste/

  2. OTC-PromOcean (BMBF)

    Diversity Mainstreaming, 3. Diversity-Monitoring; 4. Widening - Willkommenskultur & Internationalisierung, 5. Talenteförderung und Empowerment, 6. Marketing und Rekrutierung. Förderung Dieses Projekt wird gefördert

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

  3. Laboratory: Marine Technology

    Experimental Methods for Manoeuvring Controllability and Vibrations of Ships 4. Wind Tunnel Tests 5. Structural Mechanical Tests Literature - Lecture Notes - Brix, J.: Manoeuvring Technical Manual, Seehafen

    https://www.lsk.uni-rostock.de/en/study/lectures-bachelor/laboratory-marine-technology/

  4. English

    . WICHTIGER HINWEIS: Für das Ausstellen des Sprachnachweises ist gemäß der Gebührenordnung (Anlage 5, S.11-12) eine Gebühr von 15,- Euro zu bezahlen. [] Inhalt 1. Free writing 1. Free writing [] (am Computer)

    https://www.sprachenzentrum.uni-rostock.de/en/exams/bvmd-language-assessments/english/

  5. Prof. Dr. Klaus Boldt

    Alexander von Humboldt-Foundation 2014: Liebig-Fellowship of the Fonds der Chemischen Industrie 2015: 5-Year ZIF-Marie Curie Research Fellowship at the Zukunftskollegs, University of Konstanz 2021: Heise

    https://www.boldt.chemie.uni-rostock.de/en/people/principal-investigator/prof-dr-klaus-boldt/

  6. BehavE (2020 - 2023)

    maintaining and curating the model over long periods of time so it represents the current situation; (5) developing an evaluation methodology for situation models for real world problems. To achieve that

    https://www.haiml.informatik.uni-rostock.de/en/research/projects/behave/

  7. Demokratischer Neuanfang

    Dr. Wigger, Prof. Köppen) und Zulassung von Prof. Moll als Kandidat Band 3 : (Audio-Datei mit 6 MB, 5:28 min) P osition 00:00 min: Bekanntgabe des Wahlergebnisses

    https://www.uni-rostock.de/en/universitaet/uni-gestern-und-heute/geschichte/geknebelter-geist/krise-und-aufbruch/demokratischer-neuanfang/

  8. ELAINE

    DFG-Sonderforschungsbereich SFB 1270 ELAINE – Elektrisch Aktive Implantate von 2024 bei Vimeo (Laufzeit 5:41 min) → Bitte beachten Sie: Sobald Sie sich das Video ansehen, werden Informationen darüber an Vimeo

    https://www.ief.uni-rostock.de/en/fakultaet/institute-und-lehrstuehle/lehrende/institute/allgemeine-elektrotechnik/prof-dr-rer-nat-habil-ursula-van-rienen/elaine/

  9. Videos zum DFG-Sonderforschungsbereich SFB 1270 ELAINE – Elektrisch Aktive Implantate

    DFG-Sonderforschungsbereich SFB 1270 ELAINE – Elektrisch Aktive Implantate von 2024 bei Vimeo (Laufzeit 5:41 min) → Bitte beachten Sie: Sobald Sie sich das Video ansehen, werden Informationen darüber an Vimeo

    https://www.ief.uni-rostock.de/en/forschung/forschung-an-der-fakultaet/videos-zur-forschung/videos-zum-dfg-sonderforschungsbereich-sfb-1270-elaine-elektrisch-aktive-implantate/

  10. Landestagung der Informatiklehrerinnen und Informatiklehrer in MV

    und Informatiklehrer MV 2006 6. Landestagung der Informatiklehrerinnen und Informatiklehrer MV 2003 5. Landestagung der Informatiklehrerinnen und Informatiklehrer MV 2001 4. Landestagung der Informatik

    https://www.ief.uni-rostock.de/en/weiterbildung/angebote-fuer-lehrende-an-schulen/landestagung-der-informatiklehrerinnen-und-informatiklehrer-in-mv/

Displaying results 2531 to 2540 of 4781.
  • Previous
  • ...
  • 250
  • 251
  • 252
  • 253
  • 254
  • 255
  • 256
  • 257
  • 258
  • 259
  • ...
  • 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