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

4883 Results:

  1. Klima and Moor - Fachtag Naturwissenschaften und Bildung für nachhaltige Entwicklung
    22.09.2025, 9:30 am - 22.09.2025, 3:45 pm

    Kohlendioxid enorm gestiegen, mit der Konsequenz, dass sich die globale Mitteltemperatur um mehr als 1,5 Grad erhöht hat. Die Natur ändert sich dramatisch, man spricht sogar von Kipppunkten. Die Wirkungen [...] Moore in Mecklenburg-Vorpommern(1-4) Forschend-entdeckendes Lernen mit Messsensoren zum Klimawandel(1-5) Digitale Messwerterfassung in grundlegenden Experimenten - Videoanalyse(1-6) Ganztagsworkshop Teil [...] Rahmenplan Chemie und Biologie (2-4) Spannende und einfache Experimente für den Physikunterricht (2-5) Ganztagsworkshop Teil 2: Entwicklung von Klausuraufgaben (2-6) Zwischen- und Endlagerung radioaktiver

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=247675&cHash=8d713822a2f50663855e4df61ae89784

  2. Fachschaftsrat Elektrotechnik für das Jahr 2026 neu gewählt (10.01.2026)
    10.01.2026

    Zusätzlich wurden folgende Mitglieder kooptiert: Sven-Erik Kräusche, 5. Fachsemester, M.Sc. ITTI (kooptiert am 06.01.2026) Alexander Thamm, 5. Fachsemester, B.Sc. ET (kooptiert am 06.01.2026) Max-Peter Breiwisch [...] Fachsemester, B.Sc. ET → Sprecher Silvana Ritter, 1. Fachsemester, B.Sc. ITTI → Finanz-Team Malte Reimer, 5. Fachsemester, B.Sc. ITTI → Finanz-Team Jan Ivchenkov, 7. Fachsemester, B.Sc. ITTI Fiete Nonnenmacher [...] ITTI Paul Reinke, 9. Fachsemester, B.Sc. ET Marlon Ebert, 7. Fachsemester, B.Sc. ET Gustav Buchheim, 5. Fachsemester, B.Sc. ET Lara Riethling, 1. Fachsemester, B.Sc. ET Fabian Richter, 3. Fachsemester, B

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=264364&cHash=0f34594c92836c73a3534337c189a3a6

  3. Austausch Kernnetzwerkkomponenten
    29.10.2019

    stattfinden. Es wird viele verschiedene, vereinzelte Unterbrechungen von variabler Dauer (5 Sekunden bis mitunter 5 Minuten) über insg. ALLE Netzsegmente und ALLE Dienste geben. Beispiele sind: Telefonie

    https://www.itmz.uni-rostock.de/en/details/n/austausch-kernnetzwerkkomponenten-54385/

  4. Workshops & Termine - Übersicht

    2026 June 2026 July 2026 Mon Tue Wed Thu Fri Sat Sun 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 1 2 3 4 5 June 2026 💡 Ideenwettbewerb 2026 Hast du eine Idee? Stell

    https://www.zfe.uni-rostock.de/en/workshops-und-termine/uebersicht-1/

  5. Laborabfälle richtig trennen
    30.07.2026

    Sachgebiet Sonderabfall/Umweltschutz (D3.3.5) . Dr. Stefan Jopp Referat Betriebstechnik und Logistik (D3.3) Sachgebiet Sonderabfall und Umweltschutz (D3.3.5)

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=283441&cHash=1a81464113d19bb35281e88b9e0504d6

  6. Defender Exploit Guard-Toolkit

    a7-b882c64b5ce5 Block Adobe Reader from creating child processes 7674ba52-37eb-4a4f-a9a1-f0f9a1619a2c Block all Office applications from creating child processes d4f940ab-401b-4efc-aadc-ad5f3c50688a Block [...] 01443614-cd74-433a-b99e-2ecdc07bfc25 Block execution of potentially obfuscated scripts 5beb7efe-fd9a-4556-801d-275e5ffc04cc Block JavaScript or VBScript from launching downloaded executable content d3e0 [...] 80a7769e899 Block Office applications from injecting code into other processes 75668c1f-73b5-4cf0-bb93-3ecf5cb7cc84 Block Office communication application from creating child processes 26190899-1602-4

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/toolkits/defender-exploit-guard-toolkit/

  7. Kavitationskanal

    max = 7.0 m/s für p Sys, abs = 1,0 bar u max = 9,5 m/s für p Sys, abs < 1,8 bar Turbulenzgrad: Tu < 3,0 % für u = [1....3 ] m/s Tu < 1,5 % für u = [3....9,5 ] m/s Antrieb: Vier-Blatt-Impeller-Pumpe mit D

    https://www.lsm.uni-rostock.de/en/ressourcen/versuchsanlagen/kavitationskanal/

  8. Konferenzarchiv 2015

    nar der Copernicus Graduate School (CGS) Torun am Historischen Institut der Universität Rostock, 4–5. Dezember 2015 Die Copernicus Graduate School ist eine gemeinsame Initiative der Universität Rostock [...] realisiert durch Forschung, Ausbildung und Kommunikation ein strukturiertes Promotionsprogramm. Am 4. und 5. Dezember findet zum zweiten Mal ein Doktorandenseminar der CGS in Rostock statt. Unter der Leitung [...] und geschichtspolitischen Erfahrungen unmittelbar in das Seminar einbringen. Zeit: 4. Dezember bis 5. Dezember 2015 Ort: Universität Rostock, Historisches Institut, August-Bebel-Straße 28, 18055 Rostock

    https://www.geschichte.uni-rostock.de/en/arbeitsbereiche/zeitgeschichte/lehrstuhl/konferenzen/konferenzarchiv/konferenzarchiv-2015/

  9. Erzwingen der Benutzerkontensteuerung für alle Benutzer und Anwendungen

    specs/windows_protocols/ms-gpsb/341747f5-6b5d-4d30-85fc-fa1cc04038d4 https://learn.microsoft.com/en-us/openspecs/windows_protocols/ms-gpsb/9ad50fd3-4d8d-4870-9f5b-978ce292b9d8

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/sicherheit/grundregeln-fuer-das-sichere-arbeiten-als-administrator-auf-windows-systemen/einschalten-von-uac-fuer-built-in-administratoren/

  10. Archiv

    2026, 5:00 pm GDCh-Kolloquium: Fragrance Chemistry @Symrise – history and recent developments with a special focus on sustainability Dr. Johannes Panten, Symrise AG, Holzminden read more 1 2 3 4 5 … ❯ Siehe [...] Yan-Hua Zhao Carbonylative Sonogashira Couplings of Aryl Thianthrenium Salts read more 16.04.2026, 5:00 pm GDCh-Kolloquium: Step-by-step by Bioinspiration: Mechanistic Understanding of Acetylene Hydratase

    https://www.chemie.uni-rostock.de/en/veranstaltungen/alle/archiv/

Displaying results 241 to 250 of 4883.
  • Previous
  • ...
  • 21
  • 22
  • 23
  • 24
  • 25
  • 26
  • 27
  • 28
  • 29
  • 30
  • ...
  • 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