search result

Cover von Tribute to a mathemagician
Search for this author
Year: 2005
Publisher: Wellesley, A K Peters
Media group: MONOGRAPHIE
Cover von Multi-version program analysis
Search for this author
Year: 2005
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 05261
Media group: DAGSTUHL-SEMINAR-PRO
Cover von High performance embedded architectures and compilers
first international conference, Barcelona, Spain, November 17 - 18, 2005 : proceedings
Search for this author
Year: 2005
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3793
Media group: MONOGRAPHIE
Cover von Special issue on context-aware computing in CSCW; 3/4
S. 221 - 345
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 3/4
Media group: SPECIAL ISSUE
Cover von From object-orientation to formal methods
essays in memory of Ole-Johan Dahl
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science : Festschrift; 2635
Media group: MONOGRAPHIE
Cover von Exploration of large state spaces
04.11. - 09.11.01, Seminar Nr. 01451
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 326
Media group: DAGSTUHL-SEMINAR-REP
Cover von Generalized Decidability via Brouwer Trees

Generalized Decidability via Brouwer Trees

Year: 2026
Media group: LIPIcs
Cover von Density Matters

Density Matters

A Complexity Dichotomy of Deleting Edges to Bound Subgraph Density
Year: 2026
Media group: LIPIcs
Cover von Symmetric Quantum Computation

Symmetric Quantum Computation

Year: 2026
Media group: LIPIcs
Cover von Classical and Quantum Polynomial Freiman-Ruzsa Algorithms

Classical and Quantum Polynomial Freiman-Ruzsa Algorithms

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0