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

4864 Results:

  1. RMB 28 (2018)

    Station Zingst: Coastal studies at the Southern Baltic Sea 2018 Schumann, R., 2018, Vorwort. RMB 28: S. 5-7 [ pdf ] Schumann, R., 2018, Research at the Biological Station Zingst. RMB 28: S. 9-19 [ pdf ] Schumann

    https://www.oekologie.uni-rostock.de/en/rostocker-meeresbiol-beitraege/rmb-28-2018/

  2. MSGA I/4

    Band wird derzeit von Konstantin Leschke ediert, kommentiert und herausgegeben. Wie schon der Band I/5 und Band I/6 der Gesamtausgabe enthält er v. a. zu Lebzeiten von Schlick veröffentlichte Aufsätze und

    https://www.iph.uni-rostock.de/en/forschung/moritz-schlick-forschungsstelle/edition/msga-i4/

  3. Doppler-Effekt

    Dopplereffekt beobachten? Angenommen, ein Raumschiff entfernt sich mit 0.35c von der Erde und sendet bei 1.5GHZ Radiosignal. Auf welcher Frequenz wird das Signal empfangen? Ist der relativistische Dopplereffekt

    https://www.cluster-nano.physik.uni-rostock.de/en/teaching/moderne-physik/doppler-effekt/

  4. Publikationen

    Verfassungsfragen in der 10. Volkskammer der DDR (1990), in: Deutschland Archiv, 37. Jg. (2004), H. 5, S. 828–839.

    https://www.dokumentationsstelle.uni-rostock.de/en/forschungsstelle/mitarbeiter/assoziierte-doktoranden/laufende-promotionsverfahren/gunnar-peters/publikationen/

  5. Internationale Uwe Johnson-Tagung
    01.06.2018

    rbuch sind ein Anlass zum Feiern und nach vorn zu blicken. Wir begehen das Jubiläum, indem wir die 5. Internationale Uwe Johnson-Tagung unter den Titel Twenty-five Years with J. stellen. Über drei Tage

    https://www.ujfs.uni-rostock.de/en/uwe-johnson-forschungsstelle/aktuelles/aktuelles/detailansicht-der-news/n/internationale-uwe-johnson-tagung-17571/

  6. 6. Deutscher Diversity-Tag
    23.04.2018

    Zum 6. Mal wird die Universität Rostock am 5. Juni 2018 den bundesweiten Deutschen Diversity-Tag feiern. Die Universität Rostock setzt sich für ein chancengerechtes diskriminierungsfreies Studium- und

    https://www.dienstleistungsportal.uni-rostock.de/en/ur-interne-nachrichten/detailansicht-der-news/n/6-deutscher-diversity-tag-32009/

  7. Nachwuchswissenschaftlerwettbewerb „Rostock’s Eleven“ – Kandidatinnen und Kandidaten gesucht
    09.01.2019

    Ideen vor einer fachkundigen Jury aus Wissenschaftsjournalisten vorzutragen. Der Workshop findet vom 5. bis zum 7. Juni 2019 an der Universität Rostock statt. Der beste Vortrag wird mit einem Preisgeld in

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/nachwuchswissenschaftlerwettbewerb-rostocks-eleven-kandidatinnen-und-kandidaten-gesucht-40903/

  8. Das RIH-Team sucht schnellstmöglich Unterstützung für die Bereiche Rostock International House und Welcome Center
    10.04.2019

    2. Lebenslauf, 3. Abiturzeugnis und ggf. Hochschulabschlusszeugnisse, 4. aktuelle Notenübersicht, 5. ggf. Arbeits-und Praktikumszeugnisse etc.) in einer zusammenhängenden PDF-Datei per Email bis spätestens

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/das-rih-team-sucht-schnellstmoeglich-unterstuetzung-fuer-die-bereiche-rostock-international-house-und-welcome-center-44945/

  9. Teaching and Manufacturing Laboratory

    Mechanical 2D/3D processing of FKV components Production of laminating molds/aids Flow Test Press LAT 4.5 Application: Laminate production from prepregs Technical data: Heating plate size: 200 x 200 mm floor

    https://www.leichtbau.uni-rostock.de/en/translate-to-english-labor-fuer-lehre-und-fertigung/

  10. Research Funding Day 2022
    05.09.2022

    the entire northern German region (aimed primarily at postdocs). On November 2, 2022, from 9 am to 5 pm , you will have the opportunity to find out about the various programs offered by renowned third-party

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/research-funding-day-2022/

Displaying results 1191 to 1200 of 4864.
  • Previous
  • ...
  • 116
  • 117
  • 118
  • 119
  • 120
  • 121
  • 122
  • 123
  • 124
  • 125
  • ...
  • 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