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

    Wie lange werden diese gespeichert? Antwort: nein, es werden nur Scans und Druckjobs gespeichert. 5. Was ist zu tun beim Kartenverlust? Antwort: auf https://chipkarten.uni-rostock.de/ den Kartenverlust

    https://www.itmz.uni-rostock.de/en/service/nutzerkonto/chipkarte-zutritts-/kopierfunktion/gestattungsvertag-drucken/kopieren/scannen/faq/

  2. Book scanners

    information about Campus Library Südstadt Education, History and Antiquity Library Book scanners There are 5 book scanners, located on the third (2x), fourth, fifth and seventh floor (rooms 3027 (2x), 4025, 5031

    https://www.ub.uni-rostock.de/en/studying/copy-scan-and-print/book-scanners/

  3. Sophia Heller

    Drittmittel Vorbereitung und Abrechnung von Dienstreisen Verwaltung des Inventars Raumverantwortlich für SR 5 in der Jakobi-Passage und Beratungsraum 3048 in der August-Bebel-Str. Organisation, Vorbereitung und

    https://www.ibp.uni-rostock.de/en/sophia-heller/

  4. Auftritte

    10. November 2019, Volkstheater Rostock, Sommerfest Mathematisch-Naturwissenschaftliche Fakultät , 5. Juli 2019, Institut für Physik, Rostock Lange Nacht der Wissenschaften 25. April 2019, Rostock DPG

    https://www.musik.uni-rostock.de/en/univercity-big-band/auftritte/

  5. Nachhaltigkeit

    Universität Rostock Tel.: +49 381 498-1002 pft@uni-rostock.de Nachhaltigkeitsbüro Universitätsplatz 5, Raum 206/207 Tel.: +49 381 498-1640 oder -1641 nachhaltiguni-rostockde

    https://www.uni-rostock.de/en/universitaet/vielfalt-und-gleichstellung/stabsstelle-talententwicklung-und-diversitaet/nachhaltigkeit/

  6. Publikationen 2026

    Golatowski: Preparing the Stage for Ambient Internet of Things: A Study of Positioning Protocols in 5G Networks In Proceedings of the 22nd IEEE Conference on Factory Communication Systems (WFCS26), pp.

    https://www.imd.uni-rostock.de/en/forschung/veroeffentlichungen/publikationen/publikationen-2026/

  7. Leadership Skills for Early Career Researchers
    30.09.2026, 9:00 am - 01.10.2026, 5:00 pm

    30 September - 1st October 2026 || each 9 a.m. - 5 p.m. || place to be announced This course is aimed at doctoral candidates who will be tasked with leadership duties in teams and projects during their

    https://www.weiterbildungsportal.uni-rostock.de/en/weiterbildungsangebote-kalender/detailansicht-der-lehrangebote/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=238891&cHash=21707660892fb212cfb648ab1dbfda9c

  8. Updates

    Versionshinweise: 18.7 , 18.8 ) 04.12.2025 • Server-Update auf 18.6 (offizielle Versionshinweise: 18.5 , 18.6 ) 19.09.2025 • Server-Update auf 18.4 ( offizielle Versionshinweise ) 29.08.2025 • Server-Update

    https://www.itmz.uni-rostock.de/en/anwendungen/dienste-fuer-forschung/lehre/kollaboration/gitlab/updates/

  9. Prof. Dr. Thomas Hahn-Bruckart

    senschaftliches Verfasserlexikon [VL17] 5 (2024) 260-272. 4. Methodisten/Methodismus. In: Evangelisches Lexikon für Theologie und Gemeinde 2 3 (2024) 571-576. 5. Großgebauer, Theophil (1627-1661). In: [...] sehepunkte.de/2019/02/31787.html . 5. zu: Koerrrenz, Ralf/Haspel, Michael (Hgg.): Johannes Daniel Falk – Impulse für Pädagogik, Diakonie und Sozialpolitik (scripturae 5), Weimar 2016. In: Theologisches Gespräch [...] Pietismusforschung. Bd. 1. Hg. v. Daniel Cyranka u.a. (Hallesche Forschungen 61/1), Halle 2021, 259-269. 5. Das Soziale und der Raum. Marginalisierung und Raumsemantik im Kontext der frühen Wittenberger Reformation

    https://www.theologie.uni-rostock.de/en/fachgebiete/kirchengeschichte/prof-dr-hahn-bruckart/

  10. Forschung

    hulls. Graphs Combin. 5 (1989) 47-56. About k-optimal representations of posets. J. Inf. Process. Cybern. EIK 25 (1989) 3-10. Das Stammbaumproblem. Rostock. Math. Kolloq. 34 (1988) 5-12. Mit H.-D.O.F. Gronau [...] of osteoblasts and their morphometric analysis on microtextured silicon-titanium arrays. Materials 5 (2012) 1176-1195. Mit C. Matschegewski, H. Birkholz, S. Staehlke, R. Loeffler, D.P. Kern, J.B. Nebe: [...] Math. 170 (1997) 51-61. Interval packing and covering in the Boolean lattice. Combin. Probab. Comput. 5 (1996) 373-384. Mit S. Bezrukov : Properties of graded posets preserved by some operations. In: The

    https://www.mathematik.uni-rostock.de/en/mathopt/forschung/

Displaying results 1741 to 1750 of 4797.
  • Previous
  • ...
  • 171
  • 172
  • 173
  • 174
  • 175
  • 176
  • 177
  • 178
  • 179
  • 180
  • ...
  • 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