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

4885 Results:

  1. Linksammlung

    von Grundrechenarten Stufe 5 (Alle einzeln oder das Gesamtpaket als zip herunterladbar) html Grundrechnen mit HotPotatoes, Interaktive Grundaufgaben zum Kopfrechnen Klasse 5 html 8 Stationen eines Lernzirkels [...] Links Angaben zum Angebot Lösung vorhanden Datei Online-Übungen ab Klasse 5 (Exceldateien: Übungen am Zahlenstrahl, Vorgänger - Nachfolger, Stufenzahlen, Runden, Zahlenmauern, Rechenketten, Stellenwerttafel

    https://www.mathe-mv.de/en/unterrichtspraxis/klassen-56/natuerliche-zahlen/linksammlung/

  2. Ersti-Singen WiSe 2024/25
    26.11.2024 - 05.12.2024

    Di, 3.12. um 11:00 Uhr in HS 2 Mi, 4.12. um 13:10 Uhr im FG an der Einsteinbüste Do, 5.12. um 9:15 Uhr in HS 3 Do, 5.12. um 15:15 Uhr in HS 2

    https://www.fachschaft.physik.uni-rostock.de/en/veranstaltungen-projekte/aktuelle-veranstaltungen/terminuebersicht/detailansicht/n/ersti-singen-wise-2024-25-226575/

  3. Gemeinsam arbeiten – Interaktive (Lern-)Inhalte mit H5P erstellen - Innovationswerkstatt vom Projekt Digitale Lehre
    08.11.2021, 1:00 pm - 08.11.2021, 3:00 pm

    n des ITMZs und der Hochschuldidaktik sowie bereits H5P-Aktiven wird an Ideen und der zukünftigen praktischen Umsetzung der digitalen Lehre mit H5P gearbeitet. Schwerpunkte liegen in der Einbindung, A

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/gemeinsam-arbeiten-interaktive-lern-inhalte-mit-h5p-erstellen-innovationswerkstatt-vom-projekt-digitale-lehre-1/

  4. Aktualisierung der "Internen Zahlen zur Statistik" für 2024
    09.04.2025

    steht Ihnen das Referat Finanzcontrolling und Statistik (D2.5) gerne unter controlling@uni-rostock.de zur Verfügung. Kerstin Arth-Zühlke D2.5 Finanzcontrolling und Statistik

    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=237071&cHash=3c43e37aad9cf121585642c2e93d576c

  5. JUAS - records

    ACCELERATOR SCHOOL JUAS offers two courses in the time from January up to March (each of them for 5 weeks) which are attractive for the students of Electrical Engineering and Computational Science and [...] courses will be accepted for your studies as an elective module on request with 10 ECTS (one course, 5 weeks) or with 20 ECTS (both courses, 10 weeks). More info about JUAS

    https://www.ief.uni-rostock.de/en/studium/studierende/weitere-studienangebote/juas-records/

  6. Hinweise zur Einschreibung für Veranstaltungen am IGSP
    09.08.2021

    werden folgende Veranstaltungen angeboten: Werken M 4 (5. Semester) : Seminar Technisches Gestalten in der Grundschule (obligatorisch) Werken M 5.1 (7. Semester): Seminar Modellierung grundschulrelevanter [...] ch) Anmerkung zu Wk M 4 und M 5.1: Die angegebenen Veranstaltungen müssen obligatorisch im Wintersemester belegt werden, um das jeweilige Modul abzuschließen. Werken M 5.2 (7. Semester): eine Veranstaltung [...] Wintersemester oder im Sommersemester belegt werden. Mathematik gemäß SPSO 2017/2019 Mathematik M 5 (5. Semester): Vorlesung: Geometrie in der Grundschule Übung Geometrie in der Grundschule Hinweis: Alle

    https://www.igsp.uni-rostock.de/en/institut/mitteilungen-aus-dem-institut/detailansicht-der-news/n/hinweise-fuer-die-einschreibung-fuer-veranstaltungen-am-igsp/

  7. Elbe 88

    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 88“ im August 1988 Im Rahmen des Projekts der Universität Rostock „Militärgeschichte in Meckle [...] 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-88/

  8. Mensaquiz April 2024 (German and English)
    25.04.2024, 5:15 pm

    relaxed cold drink? You can do that at our Mensa Quiz on Thursday, 25.04.2024 at 5:45 p.m. in the Mensa Ulme. Admission is at 5:15 p.m. We will also provide the questions in both German and English and you [...] Meldet Euch gerne alleine oder als Team auf unserer Webseite an. Ein Team besteht im Idealfall aus 5 - 6 Personen. Des Weiteren möchten wir euch ermutigen, uns eure Fragen-Vorschläge für das Mensa-Quiz [...] part? Register on our website either individually or as a team . Ideally, a team should consist of 5 - 6 people. Furthermore, we would like to encourage you to send us your question suggestions for the

    https://www.fachschaft.physik.uni-rostock.de/en/veranstaltungen-projekte/aktuelle-veranstaltungen/terminuebersicht/detailansicht/n/mensaquiz-april-2024-192047/

  9. Italienisch-Workshop

    die den Teilnehmern bereits bekannt waren). Mein persönliches Highlight war das Pesto ?! Ich vergebe 5/5 Sternen! Cari saluti" _____________________________________________________________________ "Ihren [...] weiterempfehlen und gebe 5 Sterne ;) „ Grazie mille e distinti saluti _____________________________________________________________________ "Das war wirklich ein Rundumschlag. Ich würde Ihnen 5 Sterne geben."

    https://www.sprachenzentrum.uni-rostock.de/en/sprachen/sprachen-e-i/italienisch/italienisch-workshop/

  10. Übersicht über die Zulassungsbeschränkungen höherer Fachsemester

    kungen höherer Fachsemester für medizinische Studiengänge (WS 2026/27) 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 2026/27) Studiengang Abschluss 3. FS 5. FS Biowissenschaften Bachelor Bewerbung frei Kommunikations- und Medienwissenschaft (Zweitfach) Bachelor [...] ränkungen höherer Fachsemester im Lehramt an Grundschulen (WS 2026/27) Studiengang Abschluss 3. FS 5. FS 7. FS 9. FS Grundschulpädagogik Staatsexamen keine Einschreibung möglich keine Einschreibung möglich

    https://www.uni-rostock.de/en/studium/deutsche-studieninteressierte/studienplatzbewerbung/hoehere-fachsemester/uebersicht-ueber-die-zulassungsbeschraenkungen-hoeherer-fachsemester/

Displaying results 151 to 160 of 4885.
  • Previous
  • ...
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • ...
  • 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