search result

Cover von Computer algebra in science and engineering
28 - 31 August 1994, Bielefeld, Germany
Search for this author
Year: 1995
Publisher: Singapore, World Scientific
Media group: MONOGRAPHIE
Cover von Information processing 92

Information processing 92

proceedings of the IFIP 12th World computer congress, Madrid, Spain, 7 - 11 September, 1992
Amsterdam, North-Holland
Media group: GESAMTWERK
Volumes loading
Cover von The Munich project CIP

The Munich project CIP

1985-1987
Berlin, Springer
Series: Lecture notes in computer science
Media group: GESAMTWERK
Volumes loading
Cover von Pedant

Pedant

A Certifying DQBF Solver
Year: 2022
Media group: LIPIcs
Cover von Towards Uniform Certification in QBF

Towards Uniform Certification in QBF

Year: 2022
Media group: LIPIcs
Cover von Simulating and evaluating supply chain disruptions along an end-to-end semiconductor automotive supply chain
article in WSC '21: Proceedings of the Winter Simulation Conference
Search for this author
Year: 2021
Publisher: Los Alamitos, IEEE
Media group: ARTICLE
Cover von Approximate CVP_p in Time 2^{0.802 n}

Approximate CVP_p in Time 2^{0.802 n}

Year: 2020
Media group: LIPIcs
Cover von Hyperbolic Random Graphs: Separators and Treewidth

Hyperbolic Random Graphs: Separators and Treewidth

Year: 2016
Media group: LIPIcs
Cover von Fine-grained Language Composition

Fine-grained Language Composition

A Case Study
Year: 2016
Media group: LIPIcs
Cover von A Hand-held Laser Scanner based on Multi-camera Stereo-matching

A Hand-held Laser Scanner based on Multi-camera Stereo-matching

article
Year: 2012
Media group: ARTICLE
OPEN V 11.1.0.0