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

4887 Results:

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

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

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

  4. Prof. Knuth-Michael Henkel

    Uni Rostock Prof. Knuth-Michael Henkel bei Google Scholar Prof. Knuth-Michael Henkel bei Scopus Top-5 Publications Experimentelle und numerische Untersuchungen zur Schwingfestigkeit an Schweißdetails in [...] Aluminum Structures Made of EN AW-5083 In: Journal of Heat Treatment and Materials, Volume 80, no. 5, pp. 257-270, 2025# Link Ripsch, B., Henkel, K.-M. Approach for the Static Design of Arc-Brazed Fillet [...] vorgespannten Schraubverbindungen unter Berücksichtigung von Fertigungseinflüssen In: Stahlbau 93 (5), S. 293-377, 2024 Link Möhrke, L.; Hauer, M.; Gericke, A.; Breitrück, A.; Kreikemeyer, B.; Henkel,

    https://www.fuegetechnik.uni-rostock.de/en/lehrstuhl/team/team/prof-knuth-michael-henkel/

  5. RSAG-Buslinie 39 fährt in die Albert-Einstein-Straße (07.01.2019)

    2019/2020 gehören an: Constantin Gis , Sprecher (Bachelor ITTI, 5. Semester) Julia Richardt , Stellvertretende Sprecherin (Bachelor ET, 5. Semester) Leo Gerber , Verantwortlicher für Finanzen (Bachelor [...] Semester) Betty Goltz (Bachelor ET, 5. Semester) Bhavesh Kachhadiya (Master CSE, 4. Semester) Morten Mai (Bachelor ITTI, 3. Semester) Paul Fuchs (Bachelor ITTI, 5. Semester) Lukas Steffen (Bachelor ET [...] Semester) Tobias Heise (Bachelor ET, 5. Semester) Albi Allmeta (Bachelor ET, 3. Semester) Enkel Sinani (Bachelor ET, 3. Semester) Christoph Schultz (Bachelor ITTI, 5. Semester) Paul Frenkel (Master ET,

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2019/liste-langansicht/

  6. Schnellabsicherung von Windows

    Applocker-Automatisierung (nur Education/Enterprise/Ultimate/Server-Versionen). PowerShell 5.0 (Windows 10 enthält PowerShell 5.0) Hinweise und Download-Links unter Wie schränke ich In-Memory-Angriffe mittels

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/toolkits/schnellabsicherung-von-windows/

  7. Examination and study offices

    Tel.: +49 385 588 59252 State Examination Office for Health Professions M-V Friedrich-Engels-Platz 5-8 18055 Rostock ► Contact & office hours Faculty of Humanities Philosophische Fakultät Examination Office [...] ► Contact & office hours State Examination Office for Health Professions M-V Friedrich-Engels-Platz 5-8 18055 Rostock Phone: +49 385 588 59003 ► State Office for Health and Social Affairs Programme Coordinator

    https://www.uni-rostock.de/en/study/study-organization/during-studies/examination-and-study-offices/

  8. Code Integrity-Toolkit

    n (FilePath-Regeln) erstellt werden $FullLanguageModeUsers Komma getrennte Liste von Benutzern S-1-5-32-544 Liste von Benutzern, die den Full Language Mode der PowerShell nutzen dürfen $HashOnlyDirs Komma [...] e fest, für dessen Inhalte Blockregeln erstellt werden. Zum grundsätzlichen Vorgehen s. dazu Punkt 5 dieser FAQ "Wie kann ich die Verzeichnisliste für den Aufbau der Software Whitelist für Programme verändern

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/toolkits/code-integrity-toolkit/

  9. 2018

    Supplementary finite element analysis in experimental testing of total hip stems. In: Materials Testing 60 (5), S. 489–494. DOI: 10.3139/120.111182 . Runde, Sebastian; Ahrens, Heiko; Lawrenz, Frank; Sebastian, [...] Nanoscale Thickness Prepared from Gallium Droplets with Oxide Skin. In: Advanced Materials Interfaces 5 (16), S. 1800323. DOI: 10.1002/admi.201800323 . Schmidt, Christian; van Rienen, Ursula (2018): Adaptive

    https://www.elaine.uni-rostock.de/en/research/publications/2018/

  10. WIN Master - Double Degree Rostock - St. Petersburg

    Benefits of a Double Degree 2. Participating institutions 3. Who can attend the program? 4. Graduation 5. Teaching language 6. Duration of the program 7. Coordinators of the Double-Degree-Program (Contact [...] Systems (Wirtschaftsinformatik)) ITMO: Master of Business Informatics (Магистр бизнес-информатики) 5. Teaching language UR & ITMO: English (language level B2 required) (UR offers its study program in English

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-1/wirtschaftsinformatik-msc/win-master-double-degree-rostock-st-petersburg/

Displaying results 3621 to 3630 of 4887.
  • Previous
  • ...
  • 359
  • 360
  • 361
  • 362
  • 363
  • 364
  • 365
  • 366
  • 367
  • 368
  • ...
  • 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