Search Results

1

CAD systems : proceedings of the IFIP Working Conference on Computer-aided Design Systems /

CAD systems : proceedings of the IFIP Working Conference on Computer-aided Design Systems /

Published 1977

Conference Proceeding Book

2

Knowledge engineering in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Knowledge Engineering in Computer-Aided Design, Budapest, Hungary, 17-19 September, 1984 /

Knowledge engineering in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Knowledge Engineering in Computer-Aided Design, Budapest, Hungary, 17-19 Septe...

Published 1985

Conference Proceeding Book

3

Expert systems in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Expert Systems in Computer-Aided Design, Sydney (Jenolan Caves), Australia, 17-20 February 1987 /

Expert systems in computer-aided design : proceedings of the IFIP WG 5.2 Working Conference on Expert Systems in Computer-Aided Design, Sydney (Jenolan Caves), Australia, 17-20 Feb...

Published 1987

Conference Proceeding Book

4

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

Published 1995

Conference Proceeding Book

5

Proceedings /

Published 1991

Conference Proceeding Book

6

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /

Published 1995

Conference Proceeding Book