Melden Sie sich zuerst an, um alle Funktionen optimal nutzen zu können!

1–20 von 714 Ergebnissen

Sortieren nach: Relevanz | Aktualität neu zuerst | Titel A-Z

Treffer filtern

Erscheinungsjahr

-

Medientyp

+ Mehr anzeigen

Datenquelle

+ Mehr anzeigen

Autor

+ Mehr anzeigen

Fach

+ Mehr anzeigen

Format

Lizenz

Sprache

+ Mehr anzeigen

TIB-Lesesaalbestand

LUH-Institutsbestand

  1. Parameterized linear temporal logics meet costs: still not costlier than LTL

    Zimmermann, Martin | Online Contents | 2018

  2. Parameterized linear temporal logics meet costs: still not costlier than LTL

    Zimmermann, Martin | Springer Verlag | 2016

  3. Optimal bounds in parametric LTL games

    Zimmermann, Martin | Elsevier | 2012

  4. Delay Games with WMSO+U Winning Conditions∗

    Zimmermann, Martin | EDP Sciences | 2016

  5. AGB-Recht – Aktuelle Entwicklungen bei Einbeziehung, Inhaltskontrolle und Rechtsfolgen

    Zimmermann, Martin | DeGruyter | 2022

  6. SYSTEM CONFIGURATION

    Freier Zugriff
    ZIMMERMANN MARTIN | Europäisches Patentamt | 2022

  7. AGB-Recht – Aktuelle Entwicklungen bei einzelnen Vertragstypen und -klauseln

    Zimmermann, Martin | DeGruyter | 2022

  8. Delay Games with WMSO + U Winning Conditions

    Zimmermann, Martin | Springer Verlag | 2015

  9. Untersuchung des Feuchtetransportes und dessen Einfluss auf Form- und Eigenspannungsänderungen in Furnieren

    Zimmermann, Martin | TIBKAT | 2022

  10. Approximating the Minimal Lookahead Needed to Win Infinite Games

    Freier Zugriff
    Zimmermann, Martin | ArXiv | 2020

  11. Günter Fischer – Susanne Moraw (Hrsg.), Die andere Seite der Klassik. Gewalt im 5. und 4. Jahrhundert v. Chr.

    Zimmermann, Martin | DataCite | 2021

  12. Arbeitssicherheit — Aufgaben und Verantwortung beim Arbeitsschutz

    Zimmermann, Martin | British Library Conference Proceedings | 2019

  13. LEUCHTENANORDNUNG

    Freier Zugriff
    ZIMMERMANN MARTIN | Europäisches Patentamt | 2018

  14. Games with Costs and Delays

    Freier Zugriff
    Zimmermann, Martin | ArXiv | 2017

  15. Games with costs and delays

    Zimmermann, Martin | IEEE | 2017

  16. Finite-state Strategies in Delay Games

    Freier Zugriff
    Zimmermann, Martin | ArXiv | 2017

  17. Delay Games with WMSO+U Winning Conditions

    Zimmermann, Martin | British Library Conference Proceedings | 2015

  18. Unbounded Lookahead in WMSO+U Games

    Freier Zugriff
    Zimmermann, Martin | ArXiv | 2015

  19. Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL (full version)

    Freier Zugriff
    Zimmermann, Martin | ArXiv | 2015

  20. Time-Optimal Winning Strategies for Poset Games

    Zimmermann, Martin | Springer Verlag | 2009

Ergebnisse anzeigen: 10 | 20 | 50

Feedback