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. Wettbewerbsaufruf zur „Digitalisierung“
    27.06.2018

    Wettbewerbsaufruf stehen mind. 9,25 Mio. € zur Verfügung (in Abhängigkeit des Budgets werden 4 bis 5 Verbünde gefördert). Pro Verbund können bis zu 2 Mio. € zugewendet werden. Wenn ein Nachwuchsgruppenleiter

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/wettbewerbsaufruf-zur-digitalisierung-31051/

  2. Geisteswissenschaftliches Graduiertenkolleg „Deutungsmacht“ der Universität Rostock überzeugt
    12.06.2018

    nkolleg 1887 "Deutungsmacht – Religion und belief systems in Deutungsmachtkonflikten" um weitere 4,5 Jahre verlängert und stellt dazu Drittmittel in Höhe von 3,8 Millionen Euro zur Verfügung. Das Grad

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/geisteswissenschaftliches-graduiertenkolleg-deutungsmacht-der-universitaet-rostock-ueberzeugt-30579/

  3. Geisteswissenschaftliches Graduiertenkolleg „Deutungsmacht“ der Universität Rostock überzeugt
    12.06.2018

    nkolleg 1887 "Deutungsmacht – Religion und belief systems in Deutungsmachtkonflikten" um weitere 4,5 Jahre verlängert und stellt dazu Drittmittel in Höhe von 3,8 Millionen Euro zur Verfügung. Das Grad

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/geisteswissenschaftliches-graduiertenkolleg-deutungsmacht-der-universitaet-rostock-ueberzeugt-30507/

  4. HNO-Spezialisten sammeln 5.000 Euro für das Universitätsjubiläum
    04.06.2018

    Universitätsmedizin Rostock, Professor Robert Mlynski, zusammen mit seinen Kollegen, die Spendensumme von 5.000 Euro für den 600. Geburtstag zusammengetragen. Heute überreichte er feierlich den Scheck an Professor

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/hno-spezialisten-sammeln-5000-euro-fuer-das-universitaetsjubilaeum-30003/

  5. Quantenphysiker aus aller Welt treffen sich in Rostock
    01.09.2016

    z.B. 400kB Speicherplatz, sind es für zwei Teilchen bereits 3MB und für 10 Teilchen unvorstellbare 5x10 27 GB. Zum Vergleich, die gesamte englische Wikipedia Ausgabe benötigt lediglich 12 GB. Damit wird

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/quantenphysiker-aus-aller-welt-treffen-sich-in-rostock-3913/

  6. Organisation of business operations

    day on which you have performed your professional activity exclusively in your home, a lump sum of € 5 (maximum € 600 per year) can be deducted for tax purposes. Your supervisor may issue a corresponding

    https://www.dienstleistungsportal.uni-rostock.de/en/corona-sonderinformationen/staff/organisation-of-business-operations/

  7. Lehre am IPV im Wintersemester
    11.10.2021

    sitzen dürfen, es gilt aber eine generelle Maskenpflicht. Bei einer Sitzordnung mit einem Abstand (1,5 Meter) darf an den Plätzen die Maske abgesetzt werden. Es besteht zudem die Pflicht zur Kontaktdate

    https://www.ipv.uni-rostock.de/en/aktuelles/detailansicht-der-news/n/massgaben-am-ipv-zum-wintersemester/

  8. European Research Council (ERC): Advanced Grant awarded

    is one of 218 projects the European Research Council selected for funding this year. Endowed with €2.5 million, the grant will support Professor Goulielmakis’ group to conduct high-risk, high-gain research

    https://www.xplab.physik.uni-rostock.de/en/news-1-1-1/

  9. Homepage Ludger Jansen

    den Universitäten Rostock (SS 2001), Münster (WS 2001/2-SS 2002), Innsbruck (SS 2003), Bonn (WS 2004/5-SS 2005) und Stuttgart (SS 2004-WS 2005/6) 2005-2006 Wissenschaftlicher Mitarbeiter am Institut für

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-ludger-jansen/

  10. Forscher beklagt Rückgang der Artenvielfalt
    08.11.2022

    Er beobachtet, dass gerade die Pflanzenarten zurückgehen, „für deren Vorkommen wir in den letzten 5.000 Jahren verantwortlich sind“, weil sie aufgrund unserer Landnutzung bei uns eingewandert seien. Das

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/forscher-beklagt-rueckgang-der-artenvielfalt/

Displaying results 2511 to 2520 of 4781.
  • Previous
  • ...
  • 248
  • 249
  • 250
  • 251
  • 252
  • 253
  • 254
  • 255
  • 256
  • 257
  • ...
  • 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