Search Results

1

Computer-aided cooperative product development : MIT-JSME workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings /

Computer-aided cooperative product development : MIT-JSME workshop, MIT, Cambridge, USA, November 20/21, 1989 : proceedings /

Berlin ; New York : Springer-Verlag, 1991

Conference Proceeding Book

2

Formal hardware verification : methods and systems in comparison /

Formal hardware verification : methods and systems in comparison /

Berlin ; New York : Springer, 1997

Book

3

On the computational geometry of pocket machining /

On the computational geometry of pocket machining /

by Held, Martin, 1965-
Berlin ; New York : Springer-Verlag, 1991

Book

4

Discrete geometry for computer imagery : 6th international workshop, DGCI '96, Lyon, France, November 13-15, 1996 : proceedings /

Discrete geometry for computer imagery : 6th international workshop, DGCI '96, Lyon, France, November 13-15, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

5

Closed object boundaries from scattered points /

Closed object boundaries from scattered points /

by Veltkamp, Remco C., 1963-
Berlin ; New York : Springer-Verlag, 1994

Book

6

Computer aided systems theory--EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings /

Computer aided systems theory--EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : pr...

Berlin ; New York : Springer, 1996

Conference Proceeding Book