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

4794 Results:

  1. Qualitäts-, Projekt- und Wissensmanagement in der Technischen Kommunikation

    2017 Aufwand: ca. 360 Stunden - das entspricht 12 Leistungspunkten Dauer: Der Zertifikatskurs dauert 5 Monate. Investition: Die Kosten für den Kurs betragen 1.460€. Studienkonzept: Der Kurs ist als Blended

    https://www.uni-rostock.de/en/weiterbildung/zertifikatskurse/technische-dokumentation/qualitaets-projekt-und-wissensmanagement-in-der-technischen-kommunikation/

  2. Ältere Literatur

    Die Matrikel der Universität Rostock 1419-1830 RosDok Hrsg. von Adolph Hofmeister und Ernst Schäfer, 5 Bände und 2 Registerbände, Rostock, Schwerin 1886-1922. Band I (Mich. 1419 - Mich. 1499) Band II (Mich

    https://www.uni-rostock.de/en/universitaet/uni-gestern-und-heute/geschichte/materialien/literatur-bibliographie/aeltere-literatur/

  3. Baumspende

    nt- Kontakt Koordinatorin Universitäres Gesundheitsmanagement- Charlott Gröning, Universitätsplatz 5, Raum 205, 18055 Rostock Tel. +49 (0) 381 498-1339 E-Mail: urgesunduni-rostockde

    https://www.uni-rostock.de/en/campusleben/gesundheit-und-sport/universitaeres-gesundheitsmanagement/statusgruppenspezifische-informationen/studierende/baumspende/

  4. Events

    Attempted Policy Change (Guest lecture of Prof. Dr. L. Oulasvirta / University of Tampere, Finland) 5th CAA-Lecture (2016-05-25) The enhanced audit opinion in the context of key audit matters (Carolin Dürr)

    https://www.caa.uni-rostock.de/en/events/

  5. Master Berufspädagogik (M.Ed.) – nicht konsekutiv

    Masterstudiengang Berufspädagogik – Lehramt an beruflichen Schulen (M.Ed.) (nicht konsekutiv, 5 Semester) Im Masterstudiengang werden fachliche und überfachliche Kompetenzen im Bereich der Bildungswis

    https://www.ibp.uni-rostock.de/en/studium/studiengaenge/berufspaedagogik-bedmed/master-berufspaedagogik-med-nicht-konsekutiv/

  6. Elektronische Zettelkataloge

    n erfolgt im Leseraum der Sondersammlungen . Der Porträtkatalog Der Porträtkatalog verzeichnet ca. 5.000 Einzelblätter und Porträts in Sammelwerken (Kupferstiche, Lithographien, Fotos u. a.) von berühmten

    https://www.ub.uni-rostock.de/en/literatursuche/was-finde-ich/elektronische-zettelkataloge/

  7. Forschungsreise Phosphor

    Das Element 2. Status Quo des Elements Phosphor 3. Wer sind wir ? 4. Phosphoreffizienz im Pflanzenbau 5. Phosphor in der Tierhaltung, Biologie und Governance 6. Der Phosphorkreislauf 7. Phosphor in der Synthese

    https://www.uni-rostock.de/en/weiterbildung/offene-uni-rostock/micro-lectures/forschungsreise-phosphor/

  8. IT-Systeme

    zwei Intel® Xeon® Gold 5218 mit je 16 Kernen, 384 GB RAM HP DL380 Gen9 mit zwei Intel(R) Xeon(R) CPU E5-2660v@2.00GHz mit je 14 Kernen, 256 GB RAM HP Z8 G4 mit zwei Xeon 5218R@2.1GHz mit je 20 Kernen, 128

    https://www.mathematik.uni-rostock.de/en/unser-institut/organisationsstruktur/bits2-1/it-systeme/

  9. WiSe 2024-25

    Semester Program 2024-25 The lecture series took place regularly on Mondays during the lecture period from 5:15 p.m to 6:45 p.m. The course venue was the Philologicum (formerly Alte Physik) at Universitätsplatz

    https://www.germanistik.uni-rostock.de/en/forschung/digital-humanities/rosdh/lecture-series/2024-25/

  10. Fortbildungsreihe Gartenkurs des IQ M-V - 2026

    2026: Lebensraum-Inseln gestalten und nutzen (10:00-16:00 Uhr - Präsenz in Ribnitz-Damgarten) Modul 5: Donnerstag 17.09.2026 : Schulgärten verbinden (mit Gastreferent aus Nepal) (14:00-17:00 Uhr - digital)

    https://www.biodidaktik.uni-rostock.de/en/bne-im-lehramt/angebote/fortbildungsreihe-schulgarten/

Displaying results 2671 to 2680 of 4794.
  • Previous
  • ...
  • 264
  • 265
  • 266
  • 267
  • 268
  • 269
  • 270
  • 271
  • 272
  • 273
  • ...
  • 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