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

4861 Results:

  1. VAC Colloquium: Prof. Dr.-Ing. Martin Weier: "Perception-aware Rendering"
    09.06.2026, 1:15 pm

    anyone interested. You can also join via Zoom: https://uni-rostock-de.zoom-x.de/j/68816644516?pwd=S8sGJB5lweBXL26SOb2s44i7d2Ouhy.1 Meeting ID: 688 1664 4516 Passcode: 609809 Abstract : This talk explores perceptual

    https://vac.uni-rostock.de/en/veranstaltungen/detailansicht-des-events/n/vac-colloquium-prof-dr-ing-martin-weier-perception-aware-rendering-276593/

  2. Archäologische Sammlung

    bis 15. Juli immer am Mittwoch von 16.00 bis 18.00 Uhr sowie jeweils am ersten Samstag im Monat ( 2.5. / 6.6. / 4.7 .) von 14.00 bis 17.00 Uhr geöffnet. Der Eintritt ist frei. Die Abguss-Sammlung Antiker

    https://www.altertum.uni-rostock.de/en/archaeologische-sammlung/

  3. Anreise

    use one of the 2 lanes on the right to turn right onto Satower Straße. Then drive straight ahead for 5.4 km and turn right into Justus-von-Liebig-Weg. Or you can also use the Google Maps route planner

    https://www.auf.uni-rostock.de/en/professorships/construction-and-environmental-area/ai-for-sustainable-construction/anreise/

  4. Feiern und Feste

    dass wir in diesem Jahr einen kleinen Unkostenbeitrag erheben müssen. Mitglieder zahlen bitte vor Ort 5,00 € (bitte möglichst passend bereithalten), Gäste sind herzlich willkommen und zahlen 10,00 €.

    https://www.seniorenverein.uni-rostock.de/en/feiern-und-feste/

  5. All News

    scientists for publishing data sets, software, and presentations. Zenodo is a research… read more 1 2 3 4 5 … ❯ Would you like to supplement an upcoming event?

    https://www.limati.uni-rostock.de/en/news-/-events/all-news/

  6. Weiterbildungsportal für Beschäftigte der Universität Rostock

    Lehre - Kulturelle Diversität im Seminar Tue 25 Aug Workshop: Forschendes Lernen im Seminar 1 2 3 4 5 … ❯ Nachrichten 09.07.2026 Anfeindungen in der Wissenschaftskommunikation? Der Scicomm-Support zu Gast

    https://www.weiterbildungsportal.uni-rostock.de/en/

  7. Selbstlernangebot: Psychische Gesundheit
    29.06.2026, 2:32 pm - 29.06.2026, 2:33 pm

    beeinflusst Referentin: Miriam Hagner-Collett | ab 17.02.2027 auf dieser Webseite der FH Güstrow verfügbar 5. Impuls: Betriebliches Gesundheitsmanagement verstehen und gestalten: Die Rolle(n) der Führungskräfte

    https://www.weiterbildungsportal.uni-rostock.de/en/weiterbildungsangebote-kalender/detailansicht-der-lehrangebote/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=280771&cHash=58777e44dc6a84696d0a14232b6c0fcd

  8. Workshop "American Antiquities" 2016

    American Antiquities: First Workshop (17-18 June, 2016) Program Venue: Schwaansche Strasse 5, seminar room SRT (ground floor: a few steps up and then left) Friday, 17 June 15:00 Welcome, Introductions

    https://www.iaa.uni-rostock.de/en/forschung/abgeschlossene-forschungsprojekte/american-antiquities-prof-mackenthun/archive/workshop-american-antiquities-2016/

  9. Evakuierungsübung durchführen

    jeweiligen Hausverantwortlichen für die Durchführung zuständig. Eine Evakuierungsübung muss alle 2-5 Jahre durchgeführt werden. Der Zeitraum variiert, wenn: ein häufiger Wechsel der Beschäftigten stattfindet

    https://www.dienstleistungsportal.uni-rostock.de/en/dienstleistungen/dienstleistungen-nach-leistungsfeld/suche-in-serviceleistungen/ppp-prozesse/detail/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=167337&cHash=2a55b0b9aa33cb01de35a5c2b89c415d

  10. Prof. Dr.-Ing. habil. János Zierath

    the Application on Wind Energy Conversion Systems. Rostocker Schriften zur Angewandten Mechanik, Band 5, Verlag Dr. Hut, München, 2015. Zierath, J.: Modelling of Three-Dimensional Contacts by Coupled Multi-body- [...] ing Strategy for Load Alleviation and Power Leveling. In Journal of Physics: Conference Series 753(5), pp. 052021, from TORQUE 2016 „The Science from Making Torque of Wind“, Munich, Germany, 2016. Schulze [...] Wind“, Munich, Germany, 2016. Zierath, J.; Rachholz, R.; Woernle, C.: Field Test Validation of Flex5, MSC.Adams, alaska/Wind and SIMPACK for Load Calculations on Wind Turbines, In Wind Energy 19:1201-1222

    https://www.ltmd.uni-rostock.de/en/team/prof-dr-ing-habil-janos-zierath/

Displaying results 1971 to 1980 of 4861.
  • Previous
  • ...
  • 194
  • 195
  • 196
  • 197
  • 198
  • 199
  • 200
  • 201
  • 202
  • 203
  • ...
  • 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