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

4797 Results:

  1. Kalenderblatt Juli 2014

    B. Krey: Andenken an die Rostockschen Gelehrten aus den drei letzten Jahrhunderten. Rostock 1816. [5] W. Engel: Mathematik und Mathematiker an der Universität Rostock 1419 – 2004, Rostocker Mathematisches

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2014/kalenderblatt-juli-2014/

  2. Kalenderblatt Oktober 2013

    1890/91, WS 1891/92, SS 1893) 4. Mechanische Wärmetheorie (WS 1889/90, SS 1891, SS 1892, WS 1892/93) 5. Theorie der elektrischen Messungen (SS 1890) Paul Moennich konstruiert verschiedene elektrische Instrumente

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2013/kalenderblatt-oktober-2013/

  3. Kalenderblatt August 2014

    Fischerei und marinen Forschung, Forschungsmagazin der Universität Rostock, Traditio et Innovation Heft 1, 5. Jahrgang 2000, S. 41-44. Archiv aller Kalenderblätter

    https://www.mathnat.uni-rostock.de/en/geschichte/kalenderblatt/archiv-der-kalenderblaetter/kalenderblaetter-2014/kalenderblatt-august-2014/

  4. Hörsaalgebäude

    einen sicheren Platz hat. Mensa und Bibliothek Die Mensa Süd ist zu Fuß über die Campusachse in ca. 5 Minuten zu erreichen. Sie hat zusätzlich ein Cafe, hier kann man Frühstücken oder später am Nachmittag

    https://www.physik.uni-rostock.de/en/das-institut/das-institut-fuer-physik/lehr-und-lernbereiche-am-institut-fuer-physik/1-1/

  5. 5. Spieltags-Bericht 05.06.2024 (Sommersaison 2024)
    12.06.2024

    Teams auf dem Fußballplatz der Waldessaumsportanlage (Am Waldessaum 23A, 18057 Rostock). Am bereits 5. Spieltag der Gruppenphase qualifizierten sich die ersten Mannschaften für die Viertelfinals, während

    https://www.hochschulsport.uni-rostock.de/en/vorlage-aktuelles/detailansicht-der-news/n/5-spieltags-bericht-05062024-sommersaison-2024-196995/

  6. Current information on dealing with the coronavirus

    teaching FFP2 masks recommended in university buildings Regular hand washing and ventilation, keeping 1.5 m away from other people and wearing a mask are among the most important measures to protect yourself

    https://www.uni-rostock.de/en/schnelleinstieg/studierendenportal/current-information-on-dealing-with-the-coronavirus/

  7. ULTRHAS

    Air 2019 report, air pollution ranked fifth among all mortality risk factors in 2017, accounting for 5 million deaths and 147 million years of life lost, worldwide. An increasing number of studies indicate

    https://www.zimmermann.chemie.uni-rostock.de/en/projekte/ultrhas/

  8. Dr.-Ing. Björn Kolewe

    Modellbildung, Identifikation und Echtzeitsimulation des Bewegungsverhaltens eines Bodeneffektfahrzeuges, 5. ASIM-Workshop Modellierung, Regelung und Simulation in Automotive und Prozessautomation, HS Wismar

    https://www.rt.uni-rostock.de/en/arbeitsgruppe/mitarbeiter/dr-ing-bjoern-kolewe/

  9. Internationale Bunsen-Tagung erstmals an Uni Rostock
    04.05.2016

    Wärme nutzen. Was noch alles möglich ist, darüber beraten international renommierte Wissenschaftler vom 5. bis zum 7. Mai an der Uni Rostock. Ein Highlight der Veranstaltung ist der öffentliche Vortrag von

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/internationale-bunsen-tagung-erstmals-an-uni-rostock-3365/

  10. Basics in Ship Technology

    design for efficiency and economy, 2. ed. Butterworth-Heinemann, 1998 Signatur URO-BIB: ZO 6200 S358 S5(2) Bronsart, Robert Glossar Schiffstechnik Signature URO-BIB ZO 6200 B869 Allocation of this course

    https://www.lsb.uni-rostock.de/en/study-programme/lectures/basics-in-ship-technology/

Displaying results 2941 to 2950 of 4797.
  • Previous
  • ...
  • 291
  • 292
  • 293
  • 294
  • 295
  • 296
  • 297
  • 298
  • 299
  • 300
  • ...
  • 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