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

4889 Results:

  1. Publications

    Unstructured Peer-To-Peer Networks (Student Paper & Poster) IEEE Sarnoff Symposium 2008, pp. 1-5, ISBN: 978-1-4244-1843-5, Princeton, USA, April 2008 Jakob Salzmann, Jens Schulz, Ralf Behnke, Peter Danielis, Dirk [...] (WFCS 2025), Rostock, Germany, June 2025 Peter Danielis, Helge Parzyjegla, and Stefan Lüdtke, editors 5th European Workshop on Maritime Systems, Resilience and Security (MARESEC 2025) University of Rostock [...] Annual IEEE Consumer Communications & Networking Conference (CCNC), pp. 1-2, ISBN: 978-1-5386-4790-5, Las Vegas, NV, USA, January 2018 2017 Peter Danielis, György Dán, James Gross, André Berger: Dynamic

    https://www.informatik.uni-rostock.de/en/parsys/research/publications/

  2. Secondary Literature

    Vergilius 56: 19–25. Battistella, C. (2012). La verità delle Muse: un dittico ovidiano (met. 5.250–664 e fast. 5.1–110), MH 69: 96–102. Baudou, A. (2005). Historiam per transitum tetigit: lecture servienne [...] Brioso Sánchez, M. (1989). Caritón III 5 y sus modellos, Minerva 3: 205–8. Brioso Sánchez, M. (1991). Apolonio de Rodas II 467. ¿Unos inoportunos remeros?, Minerva 5: 99–104. Brioso Sánchez, M. (1994–1995) [...] 143–61. Briggs, W. (1975). Augustan athletics and the games of Aeneid 5, Stadion 1: 267–83. Briggs, W. W. J. (1992). The similes of Aeneid 5, in: R. M. Wilhelm/H. Jones (eds.), The two worlds of the poet. New

    https://www.epische-bauformen.uni-rostock.de/en/epic-poetry-network/primary-literature/secondary-literature/

  3. Selig

    fields. Abstract 46 th Annual Meeting of the Ecological Society of Germany, Austria and Switzerland, 5-9 September, Marburg, Germany, 349-350. Selig, C., Pannwitt, H., Westerman, P. R., Gerowitt, B. (2016)

    https://www.auf.uni-rostock.de/en/professorships/h-w/crop-health/team/selig/

  4. Kalenderblatt September 2015

    berechnet. In den Absaugleitungen lagerte sich Eisensilicofluorid ab (Phosphor wurde aus Fluorapatit Ca 5 [F(PO 4 ) 3 ] gewonnen, das von der Halbinsel Kola stammte). Diese Fluoremission interessierte mich

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2015/kalenderblatt-september-2015/

  5. Kalenderblatt Dezember 2015

    Bienen. Eine tierpsychologische Untersuchung. In: Zoologische Jahrbücher (Physiologie) Band 40, 1923. [5] Die Nobelpreisrede ist zu finden unter: http://www.nobelprize.org/nobel_prizes/medicine/laureates/

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2015/kalenderblatt-dezember-2015/

  6. Digitale Systeme

    2001 Bähring: Mikrorechner-Technik, Springer Verlag, 2002 Tanenbaum: Structured Computer Organization, 5. Auflage, Prentice Hall, 2006 Links Vorlesung EECS150 - Components and Design Techniques for Digital

    https://www.imd.uni-rostock.de/en/lehre/lehrangebote/prof-t-timmermann/digitale-systeme/

  7. Speicherung elektrischer Energie mit neuartigen, organischen Redox-Flow-Batteries

    10-13 Rosenberg, D., Busker, M., Jansen, W. (2019): Modellversuche zu Redox-Flow-Batteries. ChemKon 26 (5), 203-208 (peer-review) Rosenberg, D., Wachhholz, M., Böttger, S., Busker, M., Jansen, W. (2019): Organische

    https://www.didaktik.chemie.uni-rostock.de/en/forschung/innovative-batterien-fuer-den-chemieunterricht/speicherung-elektrischer-energie-mit-neuartigen-organischen-redox-flow-batteries/

  8. 4. Spieltags-Bericht 15.05.2024 (Sommersaison 2024)
    24.05.2024

    Gesundheitstags ein unabhängiges Fußballturnier zu der Zeit der Uni-Liga stattfinden. Somit ist der 5. Spieltag der Uni-Liga erst am 05.06.2024. Ab 17:00 Uhr wird an der Waldessaumsportanlage (Am Waldessaum

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/4-spieltags-bericht-15052024-sommersaison-2024-195791/

  9. BloSSom 2019

    on the Blockchain Assoc. Prof. Dr. Alex Norta (Tallinn) & MSc Benjamin Leiding (Göttingen) Module 5: Blockchain and the Law Assoc. Prof. Dr. Thomas Hoffmann (Tallinn) Module 6: Authentication and Digital

    https://www.uni-rostock.de/en/international-affairs/rostock-international-house/summer-schools/blossom/blossom-2019/

  10. EU_FT-ICR_MS

    access; WP2 Training and Education; WP3 Open Data and e-Infrastructure; WP 4 Joint Research Action; WP 5 Dissemination; WP6 Consortium management). The Project has 4 objectives : 1. Provide the EU academic

    https://www.zimmermann.chemie.uni-rostock.de/en/projekte/eu-ft-icr-ms/

Displaying results 3121 to 3130 of 4889.
  • Previous
  • ...
  • 309
  • 310
  • 311
  • 312
  • 313
  • 314
  • 315
  • 316
  • 317
  • 318
  • ...
  • 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