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. Publications EEV

    Future" EPJ Web of Conferences 246, 00017 (2020). Joint EPS-SIF International School on Energy. Course 5 /99/|Töpfer, M.,Ahmed, N., Weber, H. "Dimensioning the Internal Components of a Hydrogen Storage Power [...] Sharma, D., Chhetri, R. "Analysis and Modeling of HPP Tala/Bhutan for Network Restoration Studies" 5th IYCE 27.-30.05.2015, Pisa, Italy /086/|Alali, Salaheddin (Univ. of Rostock); Haase, Torsten (50Hertz [...] 10) in „Elektrischer Eigenbedarf: Elektrotechnik in Kraftwerken und Industrie“ ISBN 978-3-8007-3057-5, VDE-Verlag, Berlin/Deutschland (2012) /079/|H. Weber: "Wege zur regenerativen Energie-Vollversorgung

    https://www.iee.uni-rostock.de/en/research/electrical-energy-supply-eev/publications-of-the-chair-of-electrical-energy-supply/

  2. Rostock

    Amsterdam (stops include Bremen and Lübeck) TRAINS https://www.bahn.de/ Regional RE1 from Hamburg RE5 from Berlin RE3/9 from Greifswald via Stralsund Intercity ICE 10 from Köln via Düsseldorf, Hannover [...] from Wien via Linz, Passau, Nürnberg, Jena, Halle, Leipzig, Berlin TRAMS https://www.rsag-online.de/ S5 (Mecklenburger Allee/Lichtenhagen) / S6 (Neuer Friedhof) will take you into the city center and close [...] Rostock university’s main building in the city centre (Universitätsplatz 1). Public transport: Tram lines 5 (direction: Rostock Mecklenburger Allee) and 6 (Rostock Neuer Friedhof) connect Rostock's central main

    https://www.iaa.uni-rostock.de/en/dgfa-conference/rostock-1/

  3. Peer-reviewed conference contribution

    Metal Parts. Conference Proceedings, DDMC2016, Berlin, March 16-17 (2016), 1-4 ISBN 978-3-8396-1001-5 Polzin, C.; Drescher, P.; Seitz, H.: Additive Fertigung neuer metallischer Werkstoffe und technischer [...] Diodenlasers. Rapid.Tech, Konferenz CD zur Anwendertagung, Erfurt, (2013), Session 4, Vortrag 1, 1-5 Drescher, P.; Spath, S.; Seitz, H.: Improvement of mechanical properties of bone tissue engineered scaffolds [...] ICC&IC, International Conference on Computers and Industrial Engineering, Beijing, China, (2000), CD, 5p Ederer, I., Seitz, H., Welisch, A.: Fast Ink-Jet Based Process. Conference Proceedings, SFF1999: 10th

    https://www.lfm.uni-rostock.de/en/research/publications/peer-reviewed-conference-contribution/

  4. 2020

    Satzung zur Änderung der Fakultätsordnung der Wirtschafts- und Sozialwissenschaftlichen Fakultät vom 5. November 2020 FakO ( AB 37/2012 ) Nr. 47/2020 Bekanntmachung über die Wahl der Prorektorin und Prorektoren [...] zur Änderung der Satzung über die Vergabe von Deutschlandstipendien vom 14. Oktober 2020 Satzung ( AB 5/2011 ), Erste Änderung ( AB 19/2012 ) Nr. 42/2020 Erste Satzung zur Änderung der Eignungsprüfungsordnung [...] Lehramtsstudiengänge vom 13. Januar 2020 RPO ( AB 50/2019 ), konsolidierte nichtamtliche Lesefassung Nr. 5/2020 Erste Satzung zur Änderung der Rahmenprüfungsordnung für die Bachelor- und Masterstudiengänge vom

    https://www.uni-rostock.de/en/universitaet/organisation/rechtsgrundlagen/amtliche-bekanntmachungen/2020/

  5. 2022

    tern veröffentlicht Leitlinie der Universität Rostock zur Verwendung der DFG-Programmpauschale vom 5. Dezember 2022 Nr. 58/2022 Studiengangsspezifische Prüfungs- und Studienordnung für den Masterstudiengang [...] und Studienordnung für den Bachelorstudiengang Mathematik vom 7. Juli 2022 (redaktionell geändert am 5. September 2022) Nr. 43/2022 Zweite Satzung zur Änderung der Studiengangsspezifischen Prüfungs- und [...] Verfahrensordnung zur Bearbeitung von Widersprüchen in Prüfungsangelegenheiten vom 7. Februar 2022 Nr. 5/2022 Erste Satzung zur Änderung der Promotionsordnung der Fakultät für Maschinenbau und Schiffstechnik

    https://www.uni-rostock.de/en/universitaet/organisation/rechtsgrundlagen/2022/

  6. Anwendungsszenarien

    Tool große Ideensammlung möglich, ohne dass einzelne Ideen untergehen oder dominieren Quiz in H5P Quiz in H5P vorbereites thematisches Quiz (Single-/ Multiple Choice, Memory, Bildzuordnung, …) Synchron hybride [...] Gestaltung von Lerneinheiten: abwechslungsreich und aktivierend (z. B.: kleinschrittige Einheiten von ca. 5-10 Minuten für die einzelne Aktivität; Aktivierung aller Teilnehmenden durch Aufforderung, in relativ

    https://www.phf.uni-rostock.de/en/fakultaet/digitale-lehre/hybride-lehre/synchrone-hybride-lehre/anwendungsszenarien/

  7. Quistorp-Symposium

    eit, Universität Rostock 5. Kulturförderung – Herausforderungen im Spannungsfeld staatlicher Alimentierung, bürgerlichen Mäzenatentums und privatwirtschaftlichen Sponsorings 5. Quistorp-Symposium / 07 [...] Justus-Liebig-Universität Gießen Nachhaltigkeit bei HUGO BOSS – ein fester Bestandteil der „Claim 5“ Wachstumsstrategie Andreas Streubig, SVP Global Corporate Responsibility & Public Affairs, Hugo Boss

    https://www.bwl.uni-rostock.de/en/veranstaltungen/quistorp-symposium/

  8. Buchreihe "Beiträge zur Geschichte der Pädagogik in der DDR"

    Teilkorpora mit insgesamt 31 Lesungen analysiert. Band 5 - Pädagogische Lesungen - Erziehung, Weiterbildung, Unterricht zu Band 5 auf Cover klicken Der Band 5 der Reihe „Beiträge zur Geschichte der Pädagogik

    https://www.pl.uni-rostock.de/en/schriftenreihe/buchreihe-beitraege-zur-geschichte-der-paedagogik-in-der-ddr/2/

  9. Buchreihe "Beiträge zur Geschichte der Pädagogik in der DDR"

    Teilkorpora mit insgesamt 31 Lesungen analysiert. Band 5 - Pädagogische Lesungen - Erziehung, Weiterbildung, Unterricht zu Band 5 auf Cover klicken Der Band 5 der Reihe „Beiträge zur Geschichte der Pädagogik

    https://www.pl.uni-rostock.de/en/schriftenreihe/buchreihe-beitraege-zur-geschichte-der-paedagogik-in-der-ddr/

  10. Bone Wars

    outposts of the American military and harassed settlers. Figure 4: Gold mining in Colorado in 1875. Figure 5: Excavation of fossils in Wyoming in 1898. Capitalism, Settler Colonialism and Fossil Hunting Fossil [...] system. The distinction between gold digging and fossil hunting seemed insignificant as figure 4 and 5 show and the indigenous tribes perceived both as practices of dispossession. [1] Fossils and other, [...] ng_in_Boren%27s_Gulch._La_Plata_County,_Colorado_-_NARA_-_517143.jpg ; accessed 12/08/2016. Figure 5: https://commons.wikimedia.org/wiki/File:Bone_Cabin_Quarry_1898.jpg ; accessed 12/08/2016. Figure 6:

    https://www.iaa.uni-rostock.de/en/forschung/laufende-forschungsprojekte/american-antiquities-prof-mackenthun/project/stories/bone-wars-1/

Displaying results 2221 to 2230 of 4780.
  • Previous
  • ...
  • 219
  • 220
  • 221
  • 222
  • 223
  • 224
  • 225
  • 226
  • 227
  • 228
  • ...
  • 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