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

4793 Results:

  1. Buchveröffentlichung zum Thema Unternehmensmodellierung
    19.11.2013

    com/springer+vieweg/it+%26+informatik/datenbanken/book/978-3-642-31092-8?otherVersion=978-3-642-31093-5 ). Das Buch bietet einen praxisnahen Leitfaden für die Unternehmensmodellierung, der sowohl für Praktiker

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/book-publication-in-the-field-of-enterprise-modeling-24995/

  2. 2025

    offers an exchange between artists, scientists and the public. The artistic works… read more 13.02.2025, 5:00 pm QuantumYear2025: Jour Fixe with artists and scientists The Jour Fixe is part of the symposium

    https://www.limati.uni-rostock.de/en/news-/-events/all-events/2025/

  3. Über die Praktika

    ktikum: 4 Wochen das Hauptpraktikum - Fachdidaktisches Praktikum: 6 Wochen das Übergangspraktikum: 5 Wochen In den Vor- und Nachbereitungsveranstaltungen wird der Theorie-Praxis-Transfer wissenschaftlich

    https://www.igsp.uni-rostock.de/en/lehre/praktika/ueber-die-praktika/

  4. Field assisted sintering technique / Spark plasma sintering

    Field assisted sintering technique / Spark plasma sintering Figure: HP D125 and HP D5 sintering machines at the University of Rostock Glovebox in SPS laboratory Field assisted sintering technique also

    https://www.lfm.uni-rostock.de/en/equipment/additive-manufacturing-technologies/field-assisted-sintering-technique-spark-plasma-sintering/

  5. Internationale Studierende der Universität Rostock vom DAAD ausgezeichnet
    04.12.2017

    300 Euro dotierte Preis geht in diesem Jahr an den syrischen Masterstudenten Mohamad Albadawi, der im 5. Fachsemester im Studiengang Visual Computing studiert. Er gehört zu den leistungsstärksten Studierenden

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/internationale-studierende-der-universitaet-rostock-vom-daad-ausgezeichnet-21915/

  6. Internationale Studierende der Universität Rostock vom DAAD ausgezeichnet
    04.12.2017

    300 Euro dotierte Preis geht in diesem Jahr an den syrischen Masterstudenten Mohamad Albadawi, der im 5. Fachsemester im Studiengang Visual Computing studiert. Er gehört zu den leistungsstärksten Studierenden

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/internationale-studierende-der-universitaet-rostock-vom-daad-ausgezeichnet-21485/

  7. Feierliche Semestereröffnung am 04.04.2022 in der Universitätskirche
    04.04.2022, 8:30 am - 04.04.2022, 9:15 am

    Mund-Nase-Schutz ist innerhalb von Begegnungszonen und bei der Unterschreitung eines Mindestabstands von 1,5 Metern verpflichtend zu tragen, außer es liegt ein ärztliches Attest vor. (Empfohlen wird das Tragen

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/feierliche-semestereroeffnung-am-04042022-in-der-universitaetskirche/

  8. Intercultural Training
    13.05.2022, 9:00 am - 13.05.2022, 5:00 pm

    group: International PhDs, International Post-Docs and International scientists Date: 13.05.2022 9am-5pm Location: Room 136 - Parkstraße 6 Organisation: Rostock International House (RIH) Lecturer : Katja

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-termine/detailansicht-des-events/n/intercultural-training/

  9. Küstenmammutbom (Sequioa sempervirens)

    kaputt makt worden sünd. In`n Botanischen Gorden Rostock gifft dat twei in`t Johr 2017 plante 3 m un ca. 5 m hoge Küstenmammutböm in`n Auwald ünnen von den`n baben liggenden Diek. Plattdütsch: Christa Winkelmann

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/maandenplant/ahuurnblaedrige-platan-platanus-x-hispanica-1/

  10. Einstein-Postulate

    7c von einer Lichtquelle wegbewegt, bewegt sich das Spiegelbild dann mit einer Geschwindigkeit von 1.5c von der Quelle weg. In einem Experiment wird festgestellt, dass ein Neutrino sich ein bisschen schneller

    https://www.cluster-nano.physik.uni-rostock.de/en/teaching/moderne-physik/einstein-postulate/

Displaying results 1901 to 1910 of 4793.
  • Previous
  • ...
  • 187
  • 188
  • 189
  • 190
  • 191
  • 192
  • 193
  • 194
  • 195
  • 196
  • ...
  • 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