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

4796 Results:

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

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

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

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

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

  6. Die 15. Lange Nacht der Wissenschaften erstmals kostenfrei für alle Besucher
    09.03.2018

    Er dankt allen Projektpartnern, Sponsoren und Unterstützern der Langen Nacht der Wissenschaften. Am 5. April wird auf einer gemeinsamen Pressekonferenz über die weiteren Höhepunkte der diesjährigen Langen

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/die-15-lange-nacht-der-wissenschaften-erstmals-kostenfrei-fuer-alle-besucher-25919/

  7. Die 15. Lange Nacht der Wissenschaften erstmals kostenfrei für alle Besucher
    23.04.2018

    Er dankt allen Projektpartnern, Sponsoren und Unterstützern der Langen Nacht der Wissenschaften. Am 5. April wird auf einer gemeinsamen Pressekonferenz über die weiteren Höhepunkte der diesjährigen Langen

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/die-15-lange-nacht-der-wissenschaften-erstmals-kostenfrei-fuer-alle-besucher-26495/

  8. Zur Geister-Stunde in die Universitätsbibliothek Rostock
    03.02.2020

    7. Februar öffnen der AStA und die Universitätsbibliothek am Campus Südstadt ab 15 Uhr bis früh um 5 Uhr des Folgetages. Alle Angebote sind kostenlos. „Toll ist der außergewöhnliche Rahmen der Veranstaltung“

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/zur-geister-stunde-in-die-universitaetsbibliothek-rostock-59825/

  9. Hilfsprogramme

    selbstextrahierende Archive erstellen unterstützt viele Format, auch das RAR-Format, ISO-Dateien WinRAR 5.2 download Komprimierungs- und Entpackungsprogramm Erzeugung von selbstentpackenden SFX-Archiven Reparatur

    https://www.mathe-mv.de/en/digitale-medien/hilfsprogramme/

  10. Computer Science B.Sc.

    science as well as mathematics. These modules are attended by all students (compulsory modules). Term 5 to 7 Opportunity to choose between practical training, subsidiary subject or term abroad (optional

    https://www.informatik.uni-rostock.de/en/study-teaching/interest-groups/prospective-students/computer-science-bsc/

Displaying results 2521 to 2530 of 4796.
  • Previous
  • ...
  • 249
  • 250
  • 251
  • 252
  • 253
  • 254
  • 255
  • 256
  • 257
  • 258
  • ...
  • 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