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

4889 Results:

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

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

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

  4. Feierliche Einweihung des Neubaus der Forschungshalle und des grundsanierten Statikgebäudes der Fakultät für Maschinenbau und Schiffstechnik an der Universität Rostock
    21.10.2022

    Heiko Geue. Der Neubau wird über Fernwärme mit einem zertifizierten Kraft-Wärme-Kopplungsanteil von 91,5 % versorgt. Die Beheizung erfolgt über Deckenstrahlplatten und Heizkörper, welche raumweise mit hoher

    https://www.uni-rostock.de/en/university/news-and-publications/press-releases/details/n/feierliche-einweihung-des-neubaus-der-forschungshalle-und-des-grundsanierten-statikgebaeudes-der-fakultaet-fuer-maschi-nenbau-und-schiffstechnik-an-der-uni-versitaet-rostock/

  5. Stubbendorfer Wildapfel für den Botanischen Garten Rostock
    02.12.2020

    Bundesministeriums für Ernährung, Landwirtschaft und Verbraucherschutz (BMELV) waren 2013 nur noch 5.500 Exemplare des Wildapfels in Deutschland nachgewiesen worden. „Der Stubbendorfer Wildapfelbaum,

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/stubbendorfer-wildapfel-fuer-den-botanischen-garten-rostock-80462/

  6. Universität Rostock begleitet neue Form der Bürgerbeteiligung in Bützow
    23.10.2020

    Beschluss der Bützower Stadtvertretung sogleich in den Live-Modus versetzt und ist laut Satzung auf vorerst 5 Jahren angelegt. Daher hat die Vorschlagsphase für den 2. Bützower Bürgerhaushalt bereits wieder begonnen

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/universitaet-rostock-begleitet-neue-form-der-buergerbeteiligung-in-buetzow-77765/

  7. Beitrag der Uni Rostock zur Zukunft der deutschen Polarforschung
    15.09.2017

    SCAR/IASC der DFG, 160pp, ISBN 978-3-00-057243-2. Verlag: Universität Trier. Online : ISBN 978-3-00-057242-5. Informationen zum Nationalkomitee . Kontakte Vorsitzender des DFG-Nationalkomitees für Polarforschung

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/beitrag-der-uni-rostock-zur-zukunft-der-deutschen-polarforschung-18009/

  8. Beitrag der Uni Rostock zur Zukunft der deutschen Polarforschung
    15.09.2017

    SCAR/IASC der DFG, 160pp, ISBN 978-3-00-057243-2. Verlag: Universität Trier. Online : ISBN 978-3-00-057242-5. Informationen zum Nationalkomitee. Kontakte Vorsitzender des DFG-Nationalkomitees für Polarforschung

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/beitrag-der-uni-rostock-zur-zukunft-der-deutschen-polarforschung-16891/

  9. Physiker wechselt von der Uni Harvard an die Uni Rostock
    27.11.2017

    Wolkenhauer werden deshalb auf einem bundesweiten Workshop “Omics in der medizinischen Forschung” am 5. Dezember in Berlin ihre Erfahrungen mit interdisziplinärer Forschung weitergeben. Text: Wolfgang Thiel

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/physiker-wechselt-von-der-uni-harvard-an-die-uni-rostock-21151/

  10. Physiker wechselt von der Uni Harvard an die Uni Rostock
    27.11.2017

    Wolkenhauer werden deshalb auf einem bundesweiten Workshop “Omics in der medizinischen Forschung” am 5. Dezember in Berlin ihre Erfahrungen mit interdisziplinärer Forschung weitergeben. Text: Wolfgang Thiel

    https://www.uni-rostock.de/en/universitaet/kommunikation-und-aktuelles/medieninformationen/detailansicht/n/physiker-wechselt-von-der-uni-harvard-an-die-uni-rostock-20999/

Displaying results 3011 to 3020 of 4889.
  • Previous
  • ...
  • 298
  • 299
  • 300
  • 301
  • 302
  • 303
  • 304
  • 305
  • 306
  • 307
  • ...
  • 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