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

4861 Results:

  1. International Welcome Center

    y 2,5 hours there. After that, we can grab some lunch and take a stroll through the beautiful city of Wismar. Depending on everyone’s wishes, we could take the train back home to Rostock around 5pm or [...] 7pm at Friedrich-Engels-Platz 6, 18055 Rostock . Please find the exact dates below and on our flyer. 5th of August 9th of September 7th of October 4th of November 2nd of December We're looking forward to [...] literature. The event is free of charge. Drinks and snacks will be provided! Date : 21st of October, 5 pm Location : IBZ - Bergstraße 7a, 18057 Rostock Lecturer : Ines Collmann (tax consultant at Steuerring)

    https://www.welcome-center.uni-rostock.de/en/

  2. Ella E. Clark

    stories. In a letter to the principal of St. Mary’s Mission School in British Columbia from April 5, 1954, Clark writes that it is her hope “that these collections will increase white man’s respect for [...] sts, not all of who adhered to the rules of source criticism or were able to verify translations. [5] Other reviewers such as folklorist Geoffrey Turner saw the volume in a more favorable light and described [...] the work of Ella Clark into their textbook Writer's Choice: Grammar and Composition, Grade 9 (2008). [5] See Ralph Maud’s discussion of Franz Boas’ sometimes problematic methods in collaborating with indigenous

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/project/agents/ella-e-clark-1/

  3. Sturmflut "Zeetje"

    sichtbar statt. Zum Beispiel verliert das Urlaubsparadies Kuba pro Jahr in etwa 1,5 bis 2,5 Meter Strand an das Meer [5]. Verantwortlich dafür ist unter anderem die verstärkte Sanderosion durch den Anstieg [...] Winden mit hohen Geschwindigkeiten kann der Windstau an der Ostseeküste Usedoms Wasserstände von 1,5 m bis 2 m verursachen. Nordwestliche bzw. nördliche Winde, wie sie am 2. Januar 2019 auftraten, haben [...] Bezeichnungen der Stufen leicht unterscheiden. Die Sturmflut Anfang Januar 2019 mit Pegelständen von über 1,5 m NMW in Mecklenburg-Vorpommern fällt in die Kategorie „Schwere Sturmflut.“ Die genannten Klassifizierungen

    https://www.auf.uni-rostock.de/en/professuren/bau-und-umweltbereich/geotechnik-und-kuestenwasserbau/aktuelles/sturmflut-zeetje/

  4. Bachelor-/Masterarbeiten

    1,5-facher Zeilenabstand für die Fußnoten: Schriftart Arial (Blocksatz), Schriftgröße 9, einfacher Zeilenabstand Seitenabstände: von oben 2,5 cm; von unten 2,0 cm; von links 2,5 cm; von rechts 2,5 cm

    https://www.juf.uni-rostock.de/en/professuren/pfad/professuren/prof-dr-bjoern-schiffbauer/bachelor-/masterarbeiten/

  5. Wytse Keulen

    203-230. ‘Significant Names in Apuleius: A ‘Good Contriver’ and his Rival in the Cheese Trade (Met. 1. 5)’, in: Mnemosyne 53. 3 (2000) 310-321. ‘ ‘Natura Artifex’ in Propertius 1. 2. 13’, in: Acta Classica [...] sixth International Conference of the International Plutarch Society, Nijmegen / Castle Hernen, May 1-5, 2002 (Leiden 2004), 261-273. ‘The Wet Rituals of the Excluded Mistress: Meroe and the Mime’, in: Nauta [...] and Related Texts. Caeculus, Papers in Mediterranean Archaeology and Greek and Roman Studies, no. 5 (Leuven 2006), 43-61. ‘ad amussim congruentia: Measuring the Intellectual in Apuleius’, in: W.H. Keulen

    https://www.altertum.uni-rostock.de/en/institut/mitarbeitende/wytse-keulen/

  6. OER

    "Goldstandards OER" (S5E1) gibt Silvia Retzlaff (ZLB) einen einführenden Überblick zu den Goldstandards in OER Onlinekursen. In diesem Beitrag aus dem ROCinar zum Thema "Goldstandards OER" (S5E1) stellt PD Dr [...] Informationen aus den ROCinaren In diesem Beitrag aus dem ROCinar zum Thema "Goldstandards OER" (S5E1) gibt Torsten Kreher (Fachdidaktik Biologie) einen Überblick zu OER und Präsentationen. Thematisch [...] , Lizenzen sowie das Zitatrecht. In diesem Beitrag aus dem ROCinar zum Thema "Goldstandards OER" (S5E1) gibt Emanuel Nestler (Fachdidaktik Biologie, ZLB) einen Überblick zu OER und Video. Themen sind unter

    https://www.roc.uni-rostock.de/en/andere/ur-roc/lehre-digital-gestalten/themenseiten/vorlage-themenseiten-1/

  7. Publikationen 2001

    Architecture for a Pre-loadable 1GHz@0.6µm/5V Pre-scaler in TSPC Folien IEEE International Symposium on Circuits and Systems (ISCAS´2001), S. IV 92-95, ISBN: 0-7803-6687-5, Sydney, Australien, Mai 2001 Dirk [...] Wassatsch, Dirk Timmermann: Skalierbare Architektur eines einstellbaren Frequenz-Teilers für 1GHz in 0,6mm/5V-AMS-Technologie Folien 10. Symposium Maritime Elektronik, S. 205-208, Rostock, Deutschland, Juni 2001 [...] rukturen Folien Fachtagung Informationstechnik, Universität Magdeburg, S. 17-22, ISBN: 3-930385-29-5, Magdeburg, Deutschland, Mai 2001 Hagen Ploog, Sebastian Flügel, Dirk Timmermann: 4.3 Bit/Operation

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

  8. Project W06

    R. Schoch, H. Egold, J. Steube, F. R. Fischer, S. Lochbrunner and M. Bauer Dalton Trans. 25 (12), D5DT02915E (2026) Imaging domain boundaries of rubrene thin crystallites by photoemission electron microscopy [...] T. Völzer, R. Lange, K. Oldenburg, S. Lochbrunner, I. Barke and S. Speller Adv. Optical Mater. 14 (5) e02744 (2025) Shape, membrane morphology, and morphodynamic response of metabolically active human [...] Barke, R. Schwartz, K. Watanabe, T. Taniguchi, S. Speller, T. Korn and S. Lochbrunner Nanoscale Adv. 5 (12), 3348-3356 (2023) Comparison of Frenkel and Excimer Exciton Diffusion in Perylene Bisimide Nan

    https://www.limati.uni-rostock.de/en/projects/project-area-w/project-w06/

  9. BigBlueButton

    wird der kostenfreie Software 5kPlayer und der Bonjour-Service von Apple benötigt. Am iPad wird über das Kontrollzentrum mit der Bildschirmsynchronisierung eine Verbindung zu 5kPlayer aufgebaut. Am Computer [...] t Rostock BigBlueButton (BBB) ist ein Open-Source-basiertes Webkonferenzsystem. Es basiert auf HTML5 und WebRTC . Die Nutzung aktueller Chromium-basierten Browsern (Chrome, Firefox) ist erforderlich. [...] Computer wird der BBB-Konferenzraum geöffnet und per Bildschirmfreigabe die Anwendung 5kPlayer ausgewählt. Gruppenarbeit / Breakout-Räume Für die Gruppenarbeit sind sogenannte Breakout-Räume in einer/m laufenden

    https://www.itmz.uni-rostock.de/en/anwendungen/dienste-fuer-forschung/lehre/videokonferenz/bigbluebutton/

  10. Schneeglöckchenbaum (Halesia monticola)

    und besitzen eine vierteilige Krone. Aus ihnen entwickeln sich geflügelte Steinfrüchte, die bis zu 5 cm lang werden. Zur Blütenzeit bietet der Schneeglöckchenbaum einen prächtigen Anblick. In unseren Parks

    https://www.garten.uni-rostock.de/en/ihr-besuch/pflanze-des-monats/2023/schneegloeckchenbaum-halesia-monticola/

Displaying results 1301 to 1310 of 4861.
  • Previous
  • ...
  • 127
  • 128
  • 129
  • 130
  • 131
  • 132
  • 133
  • 134
  • 135
  • 136
  • ...
  • 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