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

4781 Results:

  1. BIR 2024 Impressions
    18.09.2024

    accepted, presented and discussed. The Information Systems research group was well represented at BIR with 5 presentations and two chaired sessions: Ahmed Dehne ( Towards Method Support for Variability Modeling

    https://www.wirtschaftsinformatik.uni-rostock.de/en/chair/chair-overview/news-in-detail/n/bir-2024-impressions-202683/

  2. 1.Spieltagsbericht Uni-Liga-Fußball
    28.10.2024

    Team von „Tresen“ setzte sich schlussendlich durch. 20:30 Saufhampton vs. Dichter als Kranplätze - 5:0 (Gruppe B) Einen gebrauchten ersten Abend in der Halle hatten die Spieler von „DaK“. Im ersten Hallenspiel

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/1spieltagsbericht-uni-liga-fussball-208399/

  3. Literatur und Raum
    01.10.2024, 9:00 am - 01.10.2024, 5:00 pm

    und online via Zoom. Bitte melden Sie sich über das folgende Onlineformular an: https://tinyurl.com/5cnf7dth . Nach erfolgreicher Anmeldung erhalten Sie die Zugangsdaten für Zoom. Kontakt: nils.kellner

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/workshop-literature-and-space-198145/

  4. Egon Hassel

    Prodekan für Forschung der Fakultät für Maschinenbau und Schiffstechnik 2007: Gründung der FVTR GmbH mit 5 weiteren Gesellschaftern, die Firma hat 20 fest angestellte Mitarbeiter mit voller Stelle 2004: Ruf

    https://www.ltt.uni-rostock.de/en/mitarbeiter/egon-hassel/

  5. Ziele

    Rahmen des Forschungsdesigns werden zwei Gruppen von Lehrkräften (Zyklus 1) zusammengestellt, die mit 5- bis 6-jährigen Kindern arbeiten: Versuchsgruppe : 20 Erzieher*innen, die bei der Einführung des MT

    https://www.igsp.uni-rostock.de/en/forschung/forschungsprojekte/interdisziplinaere-forschungsprojekte/mtss-k/ziele/

  6. Finanzierung von Startup-Ideen
    19.05.2020, 1:45 pm - 19.05.2020, 3:45 pm

    Forschungsverbund Mecklenburg-Vorpommern e. V. Carl-Hopp-Straße 19a, 18069 Rostock fon: +49 381 260 5789 5 www.forschungsverbund.com www.facebook.com/fmvev/

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/finanzierung-von-startup-ideen-64593/

  7. Im Dienste des Klima- und Gewässerschutzes
    19.04.2017, 12:00 am - 19.04.2017, 12:00 am

    Vorhaben wird im Rahmen des Exzellenzforschungsprogramms des Landes Mecklenburg-Vorpommern mit ca. 5 Mio. Euro über einen Zeitraum von vier Jahren aus dem Europäischen Sozialfonds gefördert. Das Verbundprojekt

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/im-dienste-des-klima-und-gewaesserschutzes-9175/

  8. Zeitschrift digital unterrichten Biologie

    Kreher, T. & Nestler, E. (2020): Classroomscreen schafft Struktur . digital unterrichten Biologie (5), S. 2. Tool: Classroomscreen Nestler, E. & Kreher, T. (2020): Mit dem Smartphone-Mikroskop in die Natur

    https://www.biodidaktik.uni-rostock.de/en/forschung/digitales-lernen-im-biologieunterricht/zeitschrift-digital-unterrichten-biologie/

  9. funerale 10

    gen-id33887222.html www.ardmediathek.de/video/nordmagazin/ndr-mecklenburg-vorpommern/Y3JpZDovL25kci5kZS9jMjMyZjU3Yi01YjY0LTRiNGMtYjIwNy1kZjU0NmU4NDY2OTQ/

    https://www.bestattungskultur.uni-rostock.de/en/funerale-10/

  10. Workshop "Contested Knowledge in the Western Hemisphere?" 2017

    Time 10.00 Aurelius Augustinus, Bekenntnisse, ed. Herman Hefele, Berlin (East): Union 1959, Book 11, 5-31. (Julien Bérard) 11.00 Donald Wilcox, The Measure of Times Past, Chicago, London: The University

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/archive/workshop-contested-knowledge-in-the-western-hemisphere-2017-1/

Displaying results 2101 to 2110 of 4781.
  • Previous
  • ...
  • 207
  • 208
  • 209
  • 210
  • 211
  • 212
  • 213
  • 214
  • 215
  • 216
  • ...
  • 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