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

4864 Results:

  1. Johannes Knödtel

    Optimization and Simulation (PATMOS), pages 1–7, Thessaloniki, September 2017. IEEE. ISBN 978-1-5090-6462-5. doi: 10.1109/PATMOS.2017.8106978. URL http://ieeexplore.ieee.org/document/8106978/

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/johannes-knoedtel/

  2. Project W04

    Barke, R. Schwartz, K. Watanabe, T. Taniguchi, S. Speller, T. Korn and S. Lochbrunner Nanoscale Adv. 5 (12), 3348-3356 (2023) Janus-type emission of a Cyclometalated Iron(III) complex J. Steube, A. Kruse

    https://www.limati.uni-rostock.de/en/projects/project-area-w/project-w04/

  3. Forschungssicherheit

    Ausschuss zum Umgang mit sicherheitsrelevanter Forschung : https://www.dfg.de/resource/blob/176008/5ad96d2a434ca0ae8a72e9b06049c420/taetigkeitsbericht-de-data.pdf eLearning-Angebot "Forschungssicherheit

    https://www.uni-rostock.de/en/forschung/compliance-in-forschung/forschungssicherheit/

  4. Sandra Rabe-Matičević, Dipl. Päd.

    ation Veranstaltungsorganisation 2014 Öffentliche Ringvorlesung „Kindheit und Jugend im Wandel“ (8.5.-10.7. 2014), Institut für Allgemeine- und Sozialpädagogik (IASP), Universität Rostock (mit Anja Sc

    https://www.iasp.uni-rostock.de/en/institut/wissenschaftliche-mitarbeiterinnen/sandra-rabe-maticevic-dipl-paed/

  5. Talks

    Prof. Terry Lyons); Oxford; October 2016 Low Order Approximations to Linear SPDEs with Lévy Noise; 5th Annual ERC Berlin-Oxford Young Researchers Meeting on Applied Stochastic Analysis (invited talk);

    https://www.mathematik.uni-rostock.de/en/unser-institut/lehrstuehle/angewandte-stochastik-mit-sp-wirtschaftsmathematik/homepage-prof-redmann/talks/

  6. Finanzierung

    (500-999 km = insgesamt 3 Reisetage, 1.000-1.499 km = insgesamt 4 Reisetage, 1.500-1.999 km = insgesamt 5 Reisetage, ab 2.000 km = insgesamt 6 Reisetage). Auf Nachfrage müssen Sie Nachweise für grünes Reisen

    https://www.uni-rostock.de/en/internationales/ins-ausland/praktikum-im-ausland/erasmus-praktikum/finanzierung/

  7. Medizinische Informationstechnik

    Einführung in die Zusammenhänge des fachspezifischen Arbeitens. Durch die Wahlpflichtmodule im 4. und 5. Semester vertiefen Sie Ihre Kenntnisse wahlweise in Sensorik und eingebetteten Systemen oder in Be

    https://www.uni-rostock.de/en/medizinische-informationstechnik-bachelor/

  8. Publications

    Temperature Management ( Paper & Slides ) Tim Wegner, Martin Gag, Dirk Timmermann, Adelinde Uhrmacher 5. GMM/GI/ITG- Fachtagung Zuverlässigkeit und Entwurf (ZuE 2011) , Hamburg, Germany, September 2011 Evaluation [...] Schemes in Networks-on-Chip ( Paper & Slides ) Martin Gag, Philipp Gorski, Tim Wegner, Dirk Timmermann 5. GMM/GI/ITG- Fachtagung Zuverlässigkeit und Entwurf (ZuE 2011) , Hamburg, Germany, September 2011 Functional [...] Timmermann 6th Annual IEEE Consumer Communications and Networking Conference (CCNC) , ISBN: 978-1-4244-2309-5, pp. 1-2, Las Vegas/Nevada, USA, January 2009 ..: 2008 :.. IPclip: An Architecture to restore Trust-by-Wire

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/networksonchip/publications/

  9. MIT Master (SPSO 2022)

    Prüfung und Zulassung von Medizinprodukten Verteilte eingebettete Systeme Visualisierung Wintersemester KI5 - Intelligente Umgebungen und kooperative Ensembles (IUKE) (Angebot unregelmäßig) Kognitive Systeme [...] Anerkennung schließen die Studierenden und der zuständige Koordinator/die zuständige Koordinatorin gemäß § 5 Absatz 3 der Rahmenprüfungsordnung (Bachelor/Master) vor Aufnahme des Auslandsaufenthalts eine Lehr- [...] Prüfungsausschuss die Zahl der Teilzeitstudierenden pro Semester begrenzen, aber nicht auf weniger als auf 5 % der Studierenden des Semesters. Übersteigt die Nachfrage diese Zahl, entscheidet der Prüfungsausschuss

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-1/medizinische-informationstechnik-msc/mit-master-spso-2022/

  10. ITTI Master (SPSO 2026)

    Dozenten nach eigenem Ermessen festgelegt. Der Zeitaufwand für die Erbringung dieser darf maximal die 1,5-fache Dauer der versäumten Unterrichtszeit betragen. Prüfungen Die Zusammenstellung der zu belegenden [...] der Anerkennung schließen die Studierenden und die/der Vorsitzende des Prüfungsausschusses gemäß § 5 Absatz 3 der Rahmenprüfungsordnung (Bachelor/Master) vor Aufnahme des Auslandaufenthalts eine Lehr- [...] Prüfungsausschuss die Zahl der Teilzeitstudierenden pro Semester begrenzen, aber nicht auf weniger als auf 5 % der Studierenden des Semesters. Übersteigt die Nachfrage diese Zahl, entscheidet der Prüfungsausschuss

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-1/informationstechnik/technische-informatik-msc/itti-master-spso-2026/

Displaying results 3601 to 3610 of 4864.
  • Previous
  • ...
  • 357
  • 358
  • 359
  • 360
  • 361
  • 362
  • 363
  • 364
  • 365
  • 366
  • ...
  • 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