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

4780 Results:

  1. RMB 25 (2015)

    Coastal System Analysis and Status Evaluation (BACOSA) 2015 Piepho, M., 2015, Introduction. RMB (25) S. 5 [ pdf ] Berthold, M, Zimmer, D. & Schumann, R., 2015, A simplified method for total phosphorus digestion

    https://www.oekologie.uni-rostock.de/en/rostocker-meeresbiol-beitraege/rmb-25-2015/

  2. Contact angle measuring system

    pl...1000 nl Optics: 7-fold zoom lens with integrated fine focus (± 4 mm) Mikro lens 20-fold with 7.5 ... 55-fold magnification 1/2“ standard camera 0.85 x 0.64...0.116 x 0.087 mm

    https://www.lfm.uni-rostock.de/en/equipment/analyse/contact-angle-measuring-system/

  3. Archiv

    Schulunterricht einsetzen 13:15 - 16:45 Uhr | Workshop | in Präsenz| für Studierende read more 1 2 3 4 5 ❯

    https://www.ub.uni-rostock.de/en/portal-rostock-university-library/news-and-events/news-ub/archiv/

  4. Verteilte Systeme

    AE-22, SR 110, Beginn: 10.04.2024 Belegung: Vorlesung: LSF , StudIP Übung: LSF , StudIP SWS (CP): 3 (4.5) Geeignet für: Bachelor Studiengänge: Informatik und Wirtschaftsinformatik Sprache: Deutsch Vorausgesetzte

    https://www.ava.uni-rostock.de/en/lehre/sommersemester-2023/verteilte-systeme-1/

  5. Homepage Martin Lemke

    Anführungszeichen und erste Beweise. 3. Sitzung: Wir zaubern weiter. 4. Sitzung: Logische Partikel . 5. Sitzung: Junktoren. 6. Sitzung: Die große Verwirrung. 7. Sitzung: Die Sprache AL. 8. Sitzung: Allg

    https://www.iph.uni-rostock.de/en/mitarbeitende/homepage-martin-lemke/

  6. 2014 - Schumann

    Implementierung des Avalanche ist dieses Modell auch für Hochvolt-IGBTs verwendbar. Das wird anhand von 6,5kV-IGBTs gezeigt. Mit Hilfe von experimentellen Untersuchungen an realen Leistungshalbleitermodulen kann

    https://www.iee.uni-rostock.de/en/forschung/leistungselektronik-und-elektrische-antriebe-lea/promotionen-lea/2014-schumann/

  7. 2019 - Rump

    Bezug auf Frequenzpendelungen ergibt sich eine dämpfende Wirkung für niedrige Frequenzen unterhalb von 5 Hz. In diesem Bereich ist die Frequenzmessung maßgeblich, so dass sich das Verhalten von Ladegerät und

    https://www.iee.uni-rostock.de/en/forschung/leistungselektronik-und-elektrische-antriebe-lea/promotionen-lea/2019-rump/

  8. ForschungsForumFachdidaktik

    der Straßenbahn in Richtung Innenstadt: —> Haltestelle Hauptgebäude: Lange Straße —> mit der Linie 5 (Richtung Mecklenburger Allee/Lichtenhagen) oder Linie 6 (Richtung Neuer Friedhof) Übernachtungsmög

    https://www.ibp.uni-rostock.de/en/forschungsforum-fachdidaktik/

  9. Theoria Projects

    of humanities and social sciences implemented at the universities of Mecklenburg-Vorpommern with 2.5 million Euros in total. The funding is provided via the Kurt von Fritz science program of the state

    https://www.isd.uni-rostock.de/en/isd/forschung/institutionelle/theoria-projects/

  10. Liturgie in der englischen Volkssprache? Die Wyclif-Bibelübersetzung und ihre Verwendung in Lektionaren des 15. Jahrhunderts
    29.06.2021, 5:15 pm - 29.06.2021, 6:45 pm

    und -kommentare. Zugangslink zum Onlinevortrag: https://bbb-greenlight.uni-rostock.de/b/hel-u99-x3j-wl5

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/veranstaltungskalender/detailansicht/n/liturgie-in-der-englischen-volkssprache-die-wyclif-bibeluebersetzung-und-ihre-verwendung-in-lektionaren-des-15-jahrhunderts/

Displaying results 2271 to 2280 of 4780.
  • Previous
  • ...
  • 224
  • 225
  • 226
  • 227
  • 228
  • 229
  • 230
  • 231
  • 232
  • 233
  • ...
  • 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