Did you mean: schröder

search result

Cover von Architecture of Computing Systems
ARCS 2016 : 29th International Conference, Nuremberg, Germany, April 4 - 7, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9637
Media group: MONOGRAPHIE
Cover von Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems

Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems

Year: 2018
Media group: LIPIcs
Cover von Nominal Tree Automata with Name Allocation

Nominal Tree Automata with Name Allocation

Year: 2024
Media group: LIPIcs
Cover von Hierarchical methods in computer graphics
24.05.1998 - 29.05.1998 (98211)
Search for this author
Year: 1998
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 212
Media group: DAGSTUHL-SEMINAR-REP
Cover von Foundations of Software Science and Computation Structures
25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2 - 7, 2022, Proceedings
Search for this author
Year: 2022
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 13242
Media group: MONOGRAPHIE
Cover von Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions

Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions

Year: 2020
Media group: LIPIcs
Cover von Game-Based Local Model Checking for the Coalgebraic mu-Calculus

Game-Based Local Model Checking for the Coalgebraic mu-Calculus

Year: 2019
Media group: LIPIcs
Cover von Uniform Interpolation in Coalgebraic Modal Logic

Uniform Interpolation in Coalgebraic Modal Logic

Year: 2017
Media group: LIPIcs
Cover von Global Caching for the Alternation-free µ-Calculus

Global Caching for the Alternation-free µ-Calculus

Year: 2016
Media group: LIPIcs
Cover von Feature-based Visualization of Dense Integral Line Data

Feature-based Visualization of Dense Integral Line Data

article
Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0