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

4868 Results:

  1. 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/

  2. 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/

  3. 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/

  4. 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/

  5. 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/

  6. 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/

  7. 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/

  8. 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/

  9. Ambient pressure laser desorption (APLD)

    (Trinitrotoluol) untersucht. Hierbei beliefen sich die erreichten Nachweisgrenzen je nach Substanz auf 0,5 bis 50 ng/cm², wobei diese durch aktuelle Verbesserungen in der LD Einheit, aber gerade auch durch das

    https://www.zimmermann.chemie.uni-rostock.de/en/research/archiv/ambient-pressure-laser-desorption-apld/

  10. Term 4 to 7

    total scope of 30 credit points must be studied. 6 credit points each must be acquired in term 4 and 5, 18 credit points in term 6 in the focus studies. Additionally, the module "Rechnergestütztes wisse

    https://www.informatik.uni-rostock.de/en/study-teaching/bachelor-study-courses/business-informatics-bsc/term-4-to-7/

Displaying results 2801 to 2810 of 4868.
  • Previous
  • ...
  • 277
  • 278
  • 279
  • 280
  • 281
  • 282
  • 283
  • 284
  • 285
  • 286
  • ...
  • 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