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

4861 Results:

  1. General information

    PhD students . There will also be a plenary lecture by a distinguished researcher. Talks: 15 min + 5 min discussion Posters: 2 poster sessions in the late afternoon Abstract submission deadline: 31 Jan

    https://www.chemie.uni-rostock.de/en/owpc/general-information/

  2. Fördersätze

    aufgrund der Begrenztheit der finanziellen Mittel unabhängig von der Dauer des Aufenthaltes maximal 5 aktive Tage finanziell gefördert. Zusätzlich werden unabhängig von der Reiseart bei Vorliegen immer

    https://www.uni-rostock.de/en/internationales/ins-ausland/mitarbeitermobilitaet/foerdersaetze/

  3. Fördersätze

    aufgrund der Begrenztheit der finanziellen Mittel unabhängig von der Dauer des Aufenthaltes maximal 5 aktive Tage finanziell gefördert. Zusätzlich werden unabhängig von der Reiseart bei Vorliegen 2 Reisetage

    https://www.uni-rostock.de/en/internationales/ins-ausland/mobilitaet-forschung-lehre/dozentenmobilitaet-sta/foerdersaetze/

  4. 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/

  5. 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/

  6. 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/

  7. 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/

  8. 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/

  9. 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/

  10. 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/

Displaying results 2141 to 2150 of 4861.
  • Previous
  • ...
  • 211
  • 212
  • 213
  • 214
  • 215
  • 216
  • 217
  • 218
  • 219
  • 220
  • ...
  • 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