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

4782 Results:

  1. Kampf

    central limit theorem for Lebesgue integrals of random fields , Statistics & Probability Letters 124 , S. 5-12. Preprint Endgültige Version 2018: K.; Spodarev, E.: A functional central limit theorem for integrals

    https://www.mathematik.uni-rostock.de/en/unser-institut/mitarbeitende/kampf/

  2. Travel and means of transport

    Hbf) RE 1 (Rostock Hbf) Arrival via Berlin: ICE 2174/72 (Rostock Hbf) ICE 2178/2176 (Rostock Hbf) RE 5 (Rostock Hbf) Arrival by car Arrival by car Rostock is located at the Baltic Sea, just about 230km north

    https://www.welcome-center.uni-rostock.de/en/travel-and-means-of-transport/

  3. Gymnasiales Schulzentrum „Fritz Reuter“ Dömitz

    weiterführende Schulen ca. 60) Anzahl der Schüler:innen 670 (110 Grundschule, 25 Förderschule (Kl. 5-9), 535 weiterführende Schulen) Klassenstufen 1-12 Schulleiterin Frau Evelyn Timmermann Adresse Roggenfelder

    https://www.zlb.uni-rostock.de/en/landpraktikummv/partnerschule/gymnasiales-schulzentrum-fritz-reuter-doemitz/

  4. Include/Exclude

    access? - any file name that begins with- "access" followed by any one character (e.g., access1, access5) ** Any directory level (Windows) C:\sys*\** - all directories starting with sys will be filtered **

    https://www.itmz.uni-rostock.de/en/onlinedienste/speicherdienste/backup-commvault/streaming-client/zugriff-auf-clientdaten/include/exclude/

  5. AquaCare: 2. Forschungsaufenthalt in Chile 3/2016

    und innerhalb der Aquakultur mit Salmoniden Akronym: AquaCare Budget: 95.198€ (Vollfinanzierung), 0,5 Projektstellen Projektverantwortlicher: Dr. Gerd Niedzwiedz, UniR Projektmitarbeiter : Gesche Kohlberg

    https://www.fotau.uni-rostock.de/en/berichte/projekt-aquacare/2-forschungsaufenthalt-in-chile-32016/

  6. Create print-ready PDF

    document, because we usually print only on A4 and A3 paper or on a plotter roll a print margin of about 5mm cannot be printed on A4 and A3 paper poster was created with PowerPoint At the beginning: set/check

    https://www.itmz.uni-rostock.de/en/anwendungen/dienste-fuer-forschung/lehre/drucken-und-scannen/drucken-papier-und-3d/create-print-ready-pdf/

  7. 1. AIDA Uni-Liga Cup
    17.12.2023

    Platz / Astrostars 2. Platz / Lost Angeles Lakers 3. Platz / AMPA Groli 4. Platz / Baltic Ballers 5. Platz / FLAWless 6. Platz / Seawolves Office-Team 7. Platz / Die 7 Zwerge 8. Platz / IFC Bericht: Tobias

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/1-aida-uni-liga-cup-new657f6a6c73771256286216/

  8. BSc in Physik (2018)

    (63 Leistungspunkte), 6 Pflichtmodule aus dem Lehrgebiet Theoretische Physik (39 Leistungspunkte), 5 Pflichtmodule aus dem Lehrgebiet Mathematik (36 Leistungspunkte) zu studieren. Auf das Modul der Ab

    https://www.physik.uni-rostock.de/en/studium-und-lehre/studiengaenge/bsc-in-physik-2018/

  9. CurlDat (BISp)

    Barriers in Sports In Proceedings of the 9th Mediterranean Conference on Embedded Computing (MECO), pp. 1-5, DOI: 10.1109/MECO49872.2020.9134149 , Budva, Montenegro, Juni 2020 Links Videowettbewerb des BISp –

    https://www.imd.uni-rostock.de/en/forschung/projekte/forschungsprojekte/curldat-bisp/

  10. Cyclizations of Dianions

    2023 , 34 , 414–422. Period of investigation: 1993 - 2003 Keywords: allenes; cyclizations; dianions 10.5 Cyclizations of Bis-Imidoylchlorides of Oxalic Acid Abstract: The cyclization of oxaldiimidoyl dichlorides

    https://www.langer.chemie.uni-rostock.de/en/forschung2/forschungsthemen/cyclizations-of-dianions/

Displaying results 2491 to 2500 of 4782.
  • Previous
  • ...
  • 246
  • 247
  • 248
  • 249
  • 250
  • 251
  • 252
  • 253
  • 254
  • 255
  • ...
  • 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