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

4797 Results:

  1. Imprint

    ng.de Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://dbis.informatik.uni-rostock.de/en/footer/imprint/

  2. Imprint

    ng.de Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://dyndays.uni-rostock.de/en/footer/imprint/

  3. Imprint

    ng.de Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://www.pflanzenmetabolismus.uni-rostock.de/en/footer/imprint/

  4. Berufsschullehrer: Offensive gegen den Mangel gefordert
    02.02.2018

    studieren. Vielen dauert das zu lange. DHZ: Aber auch grundständig Studierende brauchen insgesamt 7,5 Jahre, bis sie sich Berufsschullehrer nennen dürfen. Kaiser: Deswegen ist es eine Frage der Dringlichkeit [...] Geregelte Quereinstiegsmaster für Ingenieure flächendeckend anbieten Eine neue Form des Fachlehrers (Typ 5b) mit strukturell angelegter Weiterbildung zum Studienrat schaffen Referendariat und Masterstudium eng

    https://www.ibp.uni-rostock.de/en/aktivitaeten/news/detail-news/n/translate-to-english-berufsschullehrer-offensive-gegen-den-mangel-gefordert-79125/

  5. Imprint

    mv-regierungde Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://www.vwl.uni-rostock.de/en/translate-to-english-footer/imprint/

  6. Rostocker Forscher auf Spitzenplatz in führender Fachzeitschrift
    22.08.2017

    Universität Rostock. Er wurde 2015 zum fellow (Mitglied mit besonderen Verdiensten) der OSA gewählt [5]. [1] So beschreibt die OSA das Themengebiet von Optics Letters: ... latest research in optical science [...] soliton self-frequency shift J. P. Gordon Opt. Lett. 11(10) 662-664 (1986) Zahl der Zitationen: 715 [5] Der Titel fellow stammt ursprünglich aus britischen Gelehrtengesellschaften: Als besondere Auszeichnung

    https://www.physik.uni-rostock.de/en/translate-to-english-neuigkeiten-und-highlights/translate-to-english-detailansicht-der-news/n/rostocker-forscher-auf-spitzenplatz-in-fuehrender-fachzeitschrift-16003/

  7. Rostocker Forscher auf Spitzenplatz in führender Fachzeitschrift
    21.08.2017

    Universität Rostock. Er wurde 2015 zum fellow (Mitglied mit besonderen Verdiensten) der OSA gewählt [5]. [1] So beschreibt die OSA das Themengebiet von Optics Letters: ... latest research in optical science [...] soliton self-frequency shift J. P. Gordon Opt. Lett. 11(10) 662-664 (1986) Zahl der Zitationen: 715 [5] Der Titel fellow stammt ursprünglich aus britischen Gelehrtengesellschaften: Als besondere Auszeichnung

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/rostocker-forscher-auf-spitzenplatz-in-fuehrender-fachzeitschrift-15889/

  8. FAQ - Oft gestellte Fragen zu Windows-Benutzerprofilen

    die Größe des Benutzerprofils beschränkt? 4. Wie kann ich das zentrale Benutzerprofil deaktivieren? 5. Wie setze ich mein Nutzerprofil zurück? 1. Wie lösche ich meine Windows-Einstellungen in den PC-Pools [...] regelmäßig zu leeren: "Delete user profiles older than a specified number of days on system restart" 5. Wie setze ich mein Nutzerprofil zurück? Um Ihr Nutzerprofil zurückzusetzen, können Sie folgende Schritte

    https://www.itmz.uni-rostock.de/en/anwendungen/software/windows/universitaetsweite-dienste/windows-benutzerprofile-und-logon-skripte-des-itmz/faq-oft-gestellte-fragen-zu-windows-benutzerprofilen/

  9. Imprint

    mv-regierungde Editorially responsible for the University of Rostock’s main websites according to § 55 para 5 RStV: Dr. Kristin Nölting Universitätsplatz 1 18051 Rostock Telephone: +49 381 498 -1012, Telefax: +49 [...] derive from stations related to the IP name sector 'uni-rostock.de' to the aforementioned webmaster. 5. Legal validity of this exclusion of liability This exclusion of liability has to be considered as part

    https://www.itmz.uni-rostock.de/en/footer/imprint/

  10. Schülerwettbewerbe

    muss." htm Adam-Ries-Wettbewerb in Sachsen, Thüringen, Oberfranken, Tschechien Für SchülerInnen der 5. Klassen, seit 1981 durchgeführt. 1. Stufe: Lösen von Aufgaben an den Schulen. 2. Stufe: Wettbewerb [...] er darf zusätzlich ein Gastland einladen. 2011 fand der Wettbewerb in Greifswald statt. In einer 4,5-stündigen Klausur müssen die Teams 20 Aufgaben aus der klassischen Wettbewerbsmathematik lösen. Das

    https://www.mathe-mv.de/en/unterrichtspraxis/klassenstufen-und-themenuebergreifend/schuelerwettbewerbe/

Displaying results 1841 to 1850 of 4797.
  • Previous
  • ...
  • 181
  • 182
  • 183
  • 184
  • 185
  • 186
  • 187
  • 188
  • 189
  • 190
  • ...
  • 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