search result

Cover von Strategy Extraction by Interpolation

Strategy Extraction by Interpolation

Year: 2024
Media group: LIPIcs
Cover von Numerical methods for the Navier-Stokes equations
proceedings of the international workshop held at Heidelberg, October 25 - 28, 1993
Search for this author
Year: 1994
Publisher: Braunschweig, Vieweg
Series: Notes on numerical fluid mechanics; 47
Media group: MONOGRAPHIE
Cover von Computer als Medium
Search for this author
Year: 1994
Publisher: München, Fink
Series: Literatur und Medienanalysen; 4
Media group: MONOGRAPHIE
Cover von Logic and algebra of specification
Search for this author
Year: 1993
Publisher: Berlin, Springer
Series: NATO ASI Series / F; 94
Media group: MONOGRAPHIE
Cover von Program transformation and programming environments
report on a workshop directed by F. L. Bauer and H. Remus
Search for this author
Year: 1984
Publisher: Berlin, Springer
Series: NATO ASI Series / F; 8
Media group: MONOGRAPHIE
Cover von A Simply Numbered Lambda Calculus

A Simply Numbered Lambda Calculus

Year: 2023
Media group: OASICS
Cover von Quantified CDCL with Universal Resolution

Quantified CDCL with Universal Resolution

Year: 2022
Media group: LIPIcs
Cover von The Satisfiability Threshold for Non-Uniform Random 2-SAT

The Satisfiability Threshold for Non-Uniform Random 2-SAT

Year: 2019
Media group: LIPIcs
Cover von From Graph Theory to Network Science

From Graph Theory to Network Science

The Natural Emergence of Hyperbolicity
Year: 2019
Media group: LIPIcs
Cover von Scale-Free Networks, Hyperbolic Geometry, and Efficient Algorithms (Invited Talk)

Scale-Free Networks, Hyperbolic Geometry, and Efficient Algorithms (Invited Talk)

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0