1–20 of 220 hits

Sort by: Relevancy | Date newest | Title A-Z

Filter results

Type of media

+ Show more

Source

+ Show more

Author

+ Show more

Subject

+ Show more

Type of material

Licence

Language

External sources

Searching...
  1.  

    Method for operating electric or hybrid vehicle and electric or hybrid vehicle

    SCHRODER LUTZ | European Patent Office | 2019
  2.  

    Verfahren zum Betrieb eines Elektro- oder Hybridfahrzeugs sowie Elektro- oder Hybridfahrzeug

    SCHRÖDER LUTZ | European Patent Office | 2019
  3.  

    Digitale Spiele als Quellen : Das Vier-Säulen-Analysemodell im Spannungsfeld von Geschichte, Geschichtsbildern und Systemanforderungen : Erprobt an der Assassin‘s Creed-Reihe

    Schröder, Lutz | TIBKAT | 2020
  4.  

    Vorrichtung zur Reduzierung einer Krafteinwirkung auf eine Batterie, sowie Kraftfahrzeug mit einer solchen Vorrichtung

    SCHRÖDER LUTZ | European Patent Office | 2018
  5.  

    FORTBEWEGUNGSMITTEL UND ANORDNUNG ZUR ANBINDUNG EINES ELEKTROCHEMISCHEN ENERGIESPEICHERS AN EIN BORDNETZ EINES ELEKTRISCH ANTREIBBAREN FORTBEWEGUNGSMITTELS

    SCHRÖDER LUTZ | European Patent Office | 2015
  6.  

    Fortbewegungsmittel und Anordnung zur Anbindung eines elektrochemischen Energiespeichers an ein Bordnetz eines elektrisch antreibbaren Fortbewegungsmittels

    SCHRÖDER LUTZ | European Patent Office | 2015
  7.  

    FORTBEWEGUNGSMITTEL UND ANORDNUNG ZUR ANBINDUNG EINES ELEKTROCHEMISCHEN ENERGIESPEICHERS AN EIN BORDNETZ EINES ELEKTRISCH ANTREIBBAREN FORTBEWEGUNGSMITTELS

    SCHRÖDER LUTZ | European Patent Office | 2015
  8.  

    Preface to CALCO-Tools

    Schröder, Lutz | Springer Verlag | 2013
  9.  

    Literatur - Besprechungen - Daniel Appel

    Schröder, Lutz | Online Contents | 2013
  10.  

    Fugen und Nähte im Asphaltstraßenbau

    Schröder, Lutz | Tema Archive | 2012
  11.  

    Hochleistungselastomermörtel auf Kunststoffbasis: Densolastic EM in der Praxis

    Schröder, Lutz | Tema Archive | 2012
  12.  

    Erhaltung von Offenporigen Asphaltflächen: Details entscheiden über die Lebensdauer

    Schröder, Lutz | Tema Archive | 2011
  13.  

    Expressivity of coalgebraic modal logic: The limits and beyond

    Schröder, Lutz | Online Contents | 2008
  14.  

    Bootstrapping Inductive and Coinductive Types in HasCASL

    Schröder, Lutz | arXiv | 2008
  15.  

    Linearizability of non-expansive semigroup actions on metric spaces

    Schröder, Lutz | Online Contents | 2008
  16.  

    NP Reasoning in the Monotone μ-Calculus

    Hausmann, Daniel / Schröder, Lutz | British Library Conference Proceedings
  17.  

    Non-iterative Modal Logics are Coalgebraic

    Forster, Jonas / Schröder, Lutz | arXiv | 2020
  18.  

    Optimal Satisfiability Checking for Arithmetic $\mu$-Calculi

    Hausmann, Daniel / Schröder, Lutz | arXiv | 2019
  19.  

    Automata Learning: An Algebraic Approach

    Urbat, Henning / Schröder, Lutz | arXiv | 2019
  20.  

    Optimal Satisfiability Checking for Arithmetic μ-Calculi

    Hausmann, Daniel / Schröder, Lutz | British Library Conference Proceedings

Number of results: 10 | 20 | 50

Feedback