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. Subject area Hazardous Waste and Environmental Protection (D3.3.5)

    Subject area Hazardous Waste and Environmental Protection (D3.3.5) The main task of the subject area Hazardous Waste and Environmental Protection is to ensure that hazardous waste is professionally disposed [...] Entsorgungshof Chemical stock Glass stock Dr. rer. nat. habil. Stefan Jopp Head of subject area (Lz. D3.3.5) Office: Ulmenstraße 69, Haus 6 Tel.: +49 (0)381 498 1409 stefan.joppuni-rostockde Entsorgungshof:

    https://www.uni-rostock.de/en/university/organization/university-administration/department-technology-construction-and-property-d3/department-of-operating-technology-and-logistics-d33/subject-area-hazardous-waste-and-environmental-protection-d335/

  2. Dr. Yvonne Dudzik

    Fernsehkritiken von Uwe Johnson und dem neuen Band der Werkausgabe, Der 5. Kanal [gemeinsam mit Andy Räder]. Weitere Infos hier . 25.4.-18.5.2025, Berlin: Filmreihe im Zeughauskino in Berlin zu Uwe Johnsons [...] Weitere Infos hier . 10.8.2025, Rostock: Interview im LOHRO zu dem neuen Band der Werkausgabe, Der 5. Kanal. 23.7.2025, Greifswald: Veranstaltung im Rahmen der Koeppen-Tage 2025: Sendungsvorführung und [...] Filmvorführung ( Uwe Johnson sieht fern von Saskia Walker) anlässlich des neuen Bandes der Werkausgabe, Der 5. Kanal , im Lichtspieltheater Wundervoll, Rostock [gemeinsam mit Andy Räder, Denise Naue und Saskia

    https://www.germanistik.uni-rostock.de/en/personen/wiss-mitarbeitende/yvonne-dudzik/

  3. 5. Rostock Lectures

    5. Rostock Lectures: Frau Prof. Rauer "Extrasolare Planeten", Aula des UHG EA

    https://www.itmz.uni-rostock.de/en/service/medienservice/fotografie/veranstaltungsarchiv-medienservice-fotografie/5-rostock-lectures/

  4. Arbeitsanleitungen

    Schnelleinstieg evasys Umfragen_mit_EvaSys_5_2026_Dozent_Version_2025.pdf

    https://www.itmz.uni-rostock.de/en/anwendungen/dienste-fuer-forschung/lehre/befragung-und-evaluation/arbeitsanleitungen/

  5. MQ: Begleitung von Mentees I
    07.12.2026, 2:00 pm - 07.12.2026, 5:00 pm

    Zielgruppe: Berufs- und Wirtschaftspädagog:innen Präsenztermin in Rostock, Jakobi Passage, SR 5

    https://www.zlb.uni-rostock.de/en/meldungen-veranstaltungen/detailansicht-veranstaltungen/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=279926&cHash=611bff825a519497e25c1c9155ab5193

  6. 5.Spieltagsbericht vom 20.12.2023
    03.01.2024

    einem für sie enttäuschenden 4. Platz in der Gruppe und kämpft in den kommenden um die Platzierungen 5 bis 8. 21:00 Uhr AS Tralkörper vs. Deutscher-Fliesentisch-Bund 1:2 (Gruppe A) Der bis dahin souveräne [...] gegen den bis dahin tor- und punktlosen “DFB” aus den Top 2 der Gruppe und kann nun maximal noch den 5. Platz erreichen. Der Sieg brachte dem “DFB” zwar keine Verbesserung in der Tabelle, doch damit sendeten [...] dieser Punkt nicht mehr um am “FC Kopp’n’Naggen” vorbeizuziehen, somit kämpfen sie um die Platzierungen 5 bis 8. 22:00 Uhr FC Kopp’n’Naggen vs. Last Unicorns 6:2 (Gruppe B) Das somit für die Endplatzierungen

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/5spieltagsbericht-vom-20122023-new65951a46a45d2380366339/

  7. Kalenderblatt Juni 2016

    der Einrichtung wie folgt beschrieben: 4.5 km westlich von Rostock und 11.5 km südlich von der Ostsee. Als geografische Koordinaten werden angegeben: phi = 54 ° 4,5´(nördliche Breite) und lambda = 12° 4, [...] zu sehen. Das Grundstück, das der Rat der Stadt Rostock auf Antrag zur Verfügung stellt, umfasst 2.5 ha und liegt unmittelbar neben der Bahnstrecke Rostock – Wismar am höchsten Punkt der Stadt (Friedrichshöhe

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2016/kalenderblatt-juni-2016/

  8. Testing Laboratory

    integrated DIC Technical Data Test force up to 5 kN Test speed: 0.0005–600 mm/min Test area height up to 1040 mm Xforce HP load cell, accuracy class 1 / 0.5 Controlled via testControl II and testXpert III [...] be used for other composites and lightweight construction methods. zwickiLine Axial Testing Machine (5 kN) The zwickiLine is ideally suited for precise tensile, compression, and flexural tests in the low-force [...] Test speed: 0.0005–600 mm/min Test area height up to 1755 mm Xforce HP load cell, accuracy class 1 / 0.5 Controlled via testControl II and testXpert III videoXtens 2-150 HP: non-contact strain measurement

    https://www.cld.uni-rostock.de/en/chair-of-lightweight-design/testing-laboratory/

  9. Conference Program

    4:20 pm - 5:05 pm Myth Making and Unmaking: Erasing and Creating the Sacred in Settler Colonial Strategies of Displacement. Keith Carlson, University of Sasketchewan, Saskatoon 5:05 pm - 5:50 pm (via [...] Venue: Schwerin, Hotel Speicher am Ziegelsee, 21-23 June, 2018 Download Program (PDF) Thursday, 21 June 5:30 pm Welcome by Mayor of Schwerin Rico Badenschier & Introduction by Gesa Mackenthun 6:30 pm Dinner

    https://www.iaa.uni-rostock.de/en/forschung/abgeschlossene-forschungsprojekte/american-antiquities-prof-mackenthun/archive/conference-decolonizing-prehistory-2018/conference-program/

  10. Ralf Salomon

    . Technologien für die intelligente Automation, Vol. 17, pp. 61-72, DOI: 10.1007/978-3-662-66769-9_5 , ISBN: 978-3-662-66769-9, Verlag Springer Vieweg Berlin, Heidelberg, Deutschland, März 2023 Theo Gabloffsky [...] Conference on Power Electronics and Applications (EPE'21 ECCE Europe), pp. 1-10, ISBN: 978-9-0758-1537-5, Ghent, Belgium, September 2021 Theo Gabloffsky, Ralf Salomon: Combination of Algorithms for Object [...] Barriers in Sports In Proceedings of the 9th Mediterranean Conference on Embedded Computing (MECO), pp. 1-5, DOI: 10.1109/MECO49872.2020.9134149 , Budva, Montenegro, Juni 2020 Theo Gabloffsky, Jannika Lossner

    https://www.imd.uni-rostock.de/en/team/mitarbeitende/persoenliche-seiten/ralf-salomon-1/

Displaying results 351 to 360 of 4883.
  • Previous
  • ...
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • ...
  • 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