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

4796 Results:

  1. Exzellenzprojekt WETSCAPES stellt sich Vertretern der EU-Kommission vor
    19.10.2017

    für dieses Programm stammen aus dem Europäischen Sozialfonds. Das Projekt WETSCAPES wird mit mehr als 5 Mio. Euro über 4 Jahre und 3 Monate gefördert. Der Rektor der Universität Rostock Prof. Wolfgang Schareck

    https://www.auf.uni-rostock.de/en/fakultaet/ueber-uns/aktuelles/detailansicht-der-news/n/exzellenzprojekt-wetscapes-stellt-sich-vertretern-der-eu-kommission-vor-18715/

  2. Wie können Städte klimafreundlich planen? Schutz kommunaler Wald- und Moorflächen hilft (nicht nur) dem Klima
    04.01.2021

    Städte relevant sein dürften. Die Ergebnisse überraschten die Autorinnen der Studie: „Rostock gehört mit 5.100 ha baumbestandener Fläche zu den größten Waldbesitzern Deutschlands. Wald ist innerhalb des Flä

    https://www.auf.uni-rostock.de/en/fakultaet/ueber-uns/aktuelles/detailansicht-der-news/n/wie-koennen-staedte-klimafreundlich-planen-schutz-kommunaler-wald-und-moorflaechen-hilft-nicht-nur-dem-klima-82168/

  3. Berufspraktikum

    regionale Entwicklung (EFRE). Praktikumsberichte Unternehmen für Prozesssteuerungssysteme Dauer: 1.3.-31.5.2018 Institution: PROMECON GmbH, Barleben Aufgabe: Messungen an einem Mehrzonensensor für Prozesssteuerung

    https://www.physik.uni-rostock.de/en/studium-und-lehre/organisatorisches/betriebspraktikum/

  4. Universität Rostock für alle

    Angebote für Schülerinnen und Schüler 3. Weiterbildungsangebote 4. Angebote für Seniorinnen und Senioren 5. Öffentliche Veranstaltungen 6. Weitere Angebote Sehenswürdigkeiten an der Universität Die Universität

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/presse-und-kommunikationsstelle/universitaet-rostock-fuer-alle/

  5. 2011

    kalkulierten Stammpersonals bei der Auftragsforschung (Forschungsfonds-Richtlinie) vom 17. Mai 2011 Nr. 5/2011 Satzung über die Vergabe von Deutschlandstipendien vom 25. Mai 2011 Erste Änderung ( AB 19/2012

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

  6. Lehre und Skripten

    "Partielle Differentialgleichungen aus der Physik" Vorlesungen "Mathematik für Physiker 1,2,3" (6, 5, 2 mal) Skripte Lehrveranstaltungen an der Uni Rostock Topology and Fourier Transform Lehrveranstaltung

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/analysis-differentialgleichungen/prof-dr-rer-nat-michael-dreher/lehre-und-skripten/

  7. Applying to Master EE

    ns code) with more than 90 points a valid IELTS-Academic score report with an overall minimum of 6.5 A proof of knowledge about the German language is not required. Submitting of Application documents

    https://www.ief.uni-rostock.de/en/studiengaenge/master-studiengaenge-2/electrical-engineering-msc/ee-master-spso-2024/applying-to-master-ee/

  8. Coding of Finite Elements

    Element Formulations 3. Internal FE Code Scripting 4. Application of Initial Deflections and Stresses 5. Solution Procedure and Postprocessing 6. Fundamentals of Finite Element Scripting 7. Application of

    https://www.lsk.uni-rostock.de/en/study/lectures-master/selected-topics-of-the-analysis-of-marine-structures-1-1-1/

  9. Caes. Gall. 5,12-14

    Geographie und Lebenswelt der Britannier - Caes. Gall. 5,12-14 12 Britanniae pars interior ab iis incolitur, quos natos in insula ipsi memoria proditum dicunt, maritima pars ab iis, qui praedae ac belli

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/ov-met-71-158-2/

  10. Liv. 2,10

    quacumque vi possint, interrumpant: se impetum hostium, quantum corpore uno posset obsisti, excepturum. 5 Vadit inde in primum aditum pontis, insignisque inter conspecta cedentium pugnae terga obversis comminus

    https://www.altertum.uni-rostock.de/en/hsi-digital/online-texte/liv-210/

Displaying results 2751 to 2760 of 4796.
  • Previous
  • ...
  • 272
  • 273
  • 274
  • 275
  • 276
  • 277
  • 278
  • 279
  • 280
  • 281
  • ...
  • 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