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. Development of Aero-Elastic Codes (SiWEC)

    participated in phase III of the Offshore Code Comparison Collaboration Continuation, with Correlation (OC5) project with its SiWEC programme. In this project a number of different simulation tools were validated

    https://www.lwet.uni-rostock.de/en/research/simulating-wind-turbines/the-development-and-validation-of-aero-elastic-codes-siwec-oc5-1/

  2. Unternehmerin des Jahres 2005 (29.04.2005)

    starten des Bundesministeriums für Wirtschaft und Arbeit für ihren Beitrag „VoiceSys“. Der Preis ist mit 5.000 Euro dotiert. Die Preisvergabe bei diesem Wettbewerb erfolgte ohne die Vergabe von Platzierungen

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/news-archiv/news-2005/liste-langansicht/

  3. Unternehmerin des Jahres 2005 (29.04.2005)

    starten des Bundesministeriums für Wirtschaft und Arbeit für ihren Beitrag „VoiceSys“. Der Preis ist mit 5.000 Euro dotiert. Die Preisvergabe bei diesem Wettbewerb erfolgte ohne die Vergabe von Platzierungen

    https://www.ief.uni-rostock.de/en/fakultaet/geschichte/preise-und-ehrungen/preise-und-ehrungen-2005/liste-langansicht/

  4. Offener Onlinekurs: BWL für innovative Hightech-Branchen

    Betrieb Lerneinheit 3: Produktionsprogrammplanung Lerneinheit 4: Bestands- und Stromgrößen Lerneinheit 5: Zuschlagskostenkalkulation Lerneinheit 6: Kennzahlen wirtschaftlichen Handelns Lerneinheit 7: Finanzierung

    https://www.uni-rostock.de/en/weiterbildung/offene-onlinekurse/offener-onlinekurs-bwl-fuer-innovative-hightech-branchen/

  5. AeroHealth Helmholtz International Lab

    al Lab is supported by the Impulse and Networking Funds of the Helmholtz Association initially for 5 years. Read more on the official website

    https://www.zimmermann.chemie.uni-rostock.de/en/projects/translate-to-english-aerohealth-helmholtz-international-lab/

  6. Arbeitsplätze

    haben. Technische Ausstattung Technische Ausstattung Was? Wo? Zugang außerhalb der Öffnungszeiten? 5 x Windows Surface Nein Drucker für einzelne Bücherseiten Schreibtisch Ja Laminiergerät Nein Taschenrechner

    https://www.mathematik.uni-rostock.de/en/unser-institut/professuren-apl-prof/didaktik-der-mathematik/studium-und-lehre/didaktik-kabinett/arbeitsplaetze/

  7. Universität Rostock ehrt Professor Dieter Nerius anlässlich seines 90. Geburtstags – Ein Leben für die deutsche Sprachwissenschaft
    07.04.2025

    seiner internationalen Wertschätzung und seinem Engagement für die germanistische Sprachwissenschaft. Am 5. April 2025 feierte Prof. Dr. Dieter Nerius seinen 90. Geburtstag – Anlass für das Institut für Germanistik

    https://www.germanistik.uni-rostock.de/en/institut/aktuelles/aktuelle-informationen-des-instituts/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=236903&cHash=cd2cca935628b1d85f396c7cea58f2e4

  8. Universität Rostock ehrt Professor Dieter Nerius anlässlich seines 90. Geburtstags – Ein Leben für die deutsche Sprachwissenschaft
    07.04.2025

    seiner internationalen Wertschätzung und seinem Engagement für die germanistische Sprachwissenschaft. Am 5. April 2025 feierte Prof. Dr. Dieter Nerius seinen 90. Geburtstag – Anlass für das Institut für Germanistik

    https://www.phf.uni-rostock.de/en/aktuelles/nachrichten-mitteilungen-aus-der-philosophischen-fakultaet/aktuelles/detailansicht-der-news/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=236901&cHash=eb310ab58006f88b4c81c59fc11efb6a

  9. Kurskalender

    Library – First Steps 10:00 a.m. | library introduction | on site | for first-year students 1 2 3 4 5 ❯ Alle Veranstaltungen Hinweise zu Online-Veranstaltungen Link zum Zoom Meeting Meeting-ID: 839 2920

    https://www.ub.uni-rostock.de/en/lernen-arbeiten/kurse-lernangebote/kurskalender/

  10. Bewerbung für JUAS-Kurse am CERN – für Studierende der Elektrotechnik (bis 05.11.2025)
    05.11.2025, 8:00 am - 05.11.2025, 11:00 pm

    Computational Science and Engineering und Computational Engineering auf der JUAS-Homepage ab sofort bis zum 5. November 2025. Spätere Bewerbungen werden bei freien Plätzen ggf. noch berücksichtigt. Die Studierenden

    https://www.ief.uni-rostock.de/en/fakultaet/ueber-uns/veranstaltungen/detailansicht-des-events/?tx_news_pi1%5Baction%5D=detail&tx_news_pi1%5Bcontroller%5D=News&tx_news_pi1%5Bnews%5D=249893&cHash=65202d5df1618b89a6260737f95104b3

Displaying results 1921 to 1930 of 4797.
  • Previous
  • ...
  • 189
  • 190
  • 191
  • 192
  • 193
  • 194
  • 195
  • 196
  • 197
  • 198
  • ...
  • 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