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. Site Map and How to Get Here

    (Ground floor) - Entry 'A' to Building No. 12 M.Sc. Qian Gao (Room 5) M.Sc. Mohsen Moomkesh (Room 5) M.Sc. Habib Ur Rehman (Room 5) PD Dr.-Ing. habil. Evgueni Stanoev (Room 6) Prof. Dr. rer. nat. habil [...] excellent tram and bus links ( to timetable ): From the main train station (Rostock Hbf): Take tram line 5 towards Südblick or line 6 towards Campus Südstadt - get off at E.-Schlesinger-Straße in both cases

    https://www.lwet.uni-rostock.de/en/contact/site-map-and-how-to-get-here/

  2. Brochures

    divisible by 4, as 4 pages will be placed on each sheet. Brochures can be produced in A4, A5 and special format . In an A5 brochure, 4 pages are arranged on an A4 sheet . In an A4 brochure, 4 pages are arranged [...] approx. 5mm; please take this into account in your layout the finished brochure is trimmed at the front edge, so the finished brochure is slightly smaller in size to make a brochure exactly A4 or A5 size

    https://www.itmz.uni-rostock.de/en/anwendungen/dienste-fuer-forschung/lehre/drucken-und-scannen/drucken-papier-und-3d/offers-university-members/brochures/

  3. Diversity-Tag an der Universität Rostock / Diversity Day at the University of Rostock
    08.05.2018

    (Koordinierungsstelle Vielfalt und Gleichstellung) Universitätsplatz 1, Raum 104 (Universitätshauptgebäude) 5.06.2018 10:00-12:00 Uhr Diversity in der Familie? Das Team der familienfreundlichen Hochschule lädt [...] (familienfreundliche Hochschule) Familienbüro Universitätsplatz 1, Raum 015 (Universitätshauptgebäude) 5.06.2018 11:00-15:00 Uhr Diversity-Infostände und interaktive Aktionen (Koordinierungsstelle Vielfalt [...] Office for Diversity and Equal Opportunities) Universitätsplatz 1, Room 104 (University main building) 5.06.2018 10:00-12:00 h Diversity in the family? The Team of the family-friendly university invites for

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/diversity-tag-an-der-universitaet-rostock-diversity-day-at-the-university-of-rostock-28881/

  4. Einstieg höheres Fachsemester

    FS 5. FS 7. FS 9. FS Grundschulpädagogik Staatsexamen Bewerbung Bewerbung frei frei Zulassungsbeschränkungen höherer Fachsemester für Lehramt an Gymnasien (WS 2025/26) Studiengang Abschluss 3. FS 5. FS [...] kungen höherer Fachsemester für medizinische Studiengänge (WS 2025/26) Studiengang Abschluss 3. FS 5. FS 7. FS 9. FS 11. FS Medizin Staatsexamen Bewerbung Bewerbung Bewerbung Bewerbung Bewerbung Zahnmedizin [...] chränkungen höherer Fachsemester für Bachelorstudiengänge (WS 2025/26) Studiengang Abschluss 3. FS 5. FS Biowissenschaften Bachelor Bewerbung frei Kommunikations- und Medienwissenschaft (Zweitfach) Bachelor

    https://www.uni-rostock.de/en/studium/deutsche-studieninteressierte/einstieg-hoeheres-fachsemester/

  5. P-Campus Ringvorlesung "Schwimmende Pflanzeninseln" am 23.06. + externe Veranstaltungshinweise / P-Campus lecture series "Floating wetlands" on 23.06. + additional external events
    13.06.2022

    dfn.de/2i5xXHOvJfGO6pOD ). Externe Veranstaltungen Vom 20. bis 22. Juni 2022 finden die 4. European Sustainable Phosphorus Conference (ESPC4) und das 5. Phosphorus Research in Europe Meeting (PERM5) in Wien [...] ner4.dfn.de/2i5xXHOvJfGO6pOD ). External events From June 20-22, 2022, the 4th European Sustainable Phosphorus Conference (ESPC4) and the 5th Phosphorus Research in Europe Meeting (PERM5) will take place

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/p-campus-ringvorlesung-schwimmende-pflanzeninseln-am-2306-externe-veranstaltungshinweise-p-campus-lecture-series-floating-wetlands-on-2306-additional-external-events/

  6. Elbe 89

    für S 200/SA 5 befand sich im Raum Gransee/Zehdenick in Brandenburg. Eine Stationierung in der Nähe von Apolda in Thüringen wurde nicht mehr vollendet. Das Flugabwehrraketensystem S-200/SA-5 wurde in der [...] Zusammenfassung einer Tonaufnahme eines Gefechtsschießen Flugabwehrraketensystem S 200 / SA 5 Übung „Elbe 89“ im Mai 1989 Im Rahmen des Projekts der Universität Rostock „Militärgeschichte in Mecklenbu [...] eines Gefechtsschießens des sowjetischen Flugabwehrraketensystems S-200, amerikanische Bezeichnung SA-5, abgebildet. Das Waffensystem war von 1984 bis 1991 bei der Nationalen Volksarmee der DDR in der Fe

    https://www.dokumentationsstelle.uni-rostock.de/en/digital-ressourcen/militaergeschichte-mv-nach-1945/audio/video/elbe-89/

  7. Textgenerierungs-KI

    Qwen 3.5 27B, Qwen 3.5 35B A3B, Qwen 3.5 397B A17B, Qwen 3 Coder 30B A3B Instruct, Qwen 3 Omni 30B A3B Instruct, Teuken 7B Instruct Research, E5 Mistral 7B Instruct Für den Einsatz von Textgenerierungs-KI [...] InternVL 3.5 30B A3B, MedGemma 27B Instruct, Llama 3.1 8B Instruct, Llama 3.3 70B Instruct, Mistral Large Instruct 3 675B Instruct 2512, GPT OSS 120B, Qwen 3 30B A3B Instruct 2507, Qwen 3.5 122B A10B,

    https://www.itmz.uni-rostock.de/en/anwendungen/dienste-fuer-forschung/lehre/textgenerierungs-ki/

  8. SAARUS

    atmospheric and maritime environment. The focus is on the emission of fine particles smaller than 2.5 µm (PM2.5). Furthermore, the pollution by pollutants due to incomplete fuel combustion will be investigated [...] fuels. Since January 2020, ships are only allowed to burn fuels with a maximum sulfur content of 0.5 %. In special designated areas called Sulfur Emission Control Areas (SECA), fuel sulfur content is even [...] regulations offer an additional choice, i.e. to still use fuel with a higher sulfur content than 0.5 % with the installation of a sulfur scrubbing unit to reduce the sulfur dioxide content of the exhaust

    https://www.zimmermann.chemie.uni-rostock.de/en/projekte/saarus/

  9. 2010

    DFG-Förderung" vom 5.08.2008 Ergänzung vom 13.04.2010 "Verfahrensrichtlinie zur Verwendung der Gemeinkosten aus der Auftragsforschung und der Programmpauschale der DFG-Förderung" vom 5.08.2008 Verfahren [...] ung für den Bachelor-Studiengang Sozialwissenschaften vom 5. Dezember 2009 Studienordnung ( AB 3/2007 ), Zweite Änderung ( AB 29/2012 ) Nr. 5/2010 - Ergänzung Anlage 1 zur Studienordnung für den Maste [...] Studienordnung für den Bachelorstudiengang Biowissenschaften vom 30. April 2010 Studienordnung ( AB 5/2008 ) Nr. 26/2010 Studienordnung für den Masterstudiengang Philosophie vom 13. Juli 2010 Erste Änderung

    https://www.uni-rostock.de/en/universitaet/organisation/rechtsgrundlagen/amtliche-bekanntmachungen/2010/

  10. Hybride Lehre

    digitalen Messwerterfassung. In diesem Beitrag aus dem ROCinar zum Thema "Integriertes Lernen und H5P" (S4E5) erzählt Prof. Dr. Peter Huy (Institut für Chemie) von seinen Erfahrungen mit integriertem Lernen [...] abgestimmt. Infos aus den ROCinaren In diesem Beitrag aus dem ROCinar zum Thema "Hybride Lehre" (S5E4) gibt Sven Levetzow (Didaktik der Mathematik) einen einführenden Überblick zur Hybriden Lehre an Schulen [...] lten Aufzeichnungen in ILIAS-Kursen. In diesem Beitrag aus dem ROCinar zum Thema "Hybride Lehre" (S5E4) erzählt Prof. Dr. Peter Huy (Institut für Chemie) im Podcastformat unter der Leitung von Juliane

    https://www.roc.uni-rostock.de/en/andere/ur-roc/lehre-digital-gestalten/themenseiten/vorlage-themenseiten-4/

Displaying results 181 to 190 of 4883.
  • Previous
  • ...
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  • ...
  • 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