Search Results

1

ICCC 80, IEEE International Conference on Circuits and Computers : proceedings, October 1-3, 1980, Rye Town Hilton Inn, Port Chester, New York /

ICCC 80, IEEE International Conference on Circuits and Computers : proceedings, October 1-3, 1980, Rye Town Hilton Inn, Port Chester, New York /

Published 1980

Conference Proceeding Book

2

Computational aspects of VLSI design with an emphasis on semiconductor device simulation /

Computational aspects of VLSI design with an emphasis on semiconductor device simulation /

Published 1990

Conference Proceeding Book

3

Digest of technical papers : November 9-12, 1987, Convention Center, Santa Clara, California /

Digest of technical papers : November 9-12, 1987, Convention Center, Santa Clara, California /

Published 1987

Conference Proceeding Book

4

Computer-aided verification : proceedings /

Computer-aided verification : proceedings /

Published 1991

Conference Proceeding Book

5

VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings /

VLSI algorithms and architectures : Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986 : proceedings /

Published 1986

Conference Proceeding Book

6

Proceedings of the IEEE 1985 Custom Integrated Circuits Conference, the Portland Hilton, Portland, Oregon, May 20-23, 1985.

Proceedings of the IEEE 1985 Custom Integrated Circuits Conference, the Portland Hilton, Portland, Oregon, May 20-23, 1985.

Published 1985

Conference Proceeding Book

7

VLSI and computers : proceedings /

VLSI and computers : proceedings /

Published 1987

Conference Proceeding Book

8

Integrated circuit metrology, inspection, and process control VII : 2-4 March 1993, San Jose, California /

Integrated circuit metrology, inspection, and process control VII : 2-4 March 1993, San Jose, California /

Published 1993

Book

9

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

10

VLSI 91 : proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991 /

VLSI 91 : proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991 /

Published 1992

Conference Proceeding Book

11

Proceedings, Conference on Advanced Research in VLSI : January 25-27, 1982, Massachusetts Institute of Technology, Cambridge, Massachusetts, U.S.A. /

Proceedings, Conference on Advanced Research in VLSI : January 25-27, 1982, Massachusetts Institute of Technology, Cambridge, Massachusetts, U.S.A. /

Published 1981

Conference Proceeding Book

12

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /

Published 1990

Book

13

Advanced research in VLSI : proceedings of the fourth MIT conference, April 7-9, 1986 /

Advanced research in VLSI : proceedings of the fourth MIT conference, April 7-9, 1986 /

Published 1986

Conference Proceeding Book

14

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings /

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceed...

Published 2000

Conference Proceeding Book

15

Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Published 1990

Conference Proceeding Book

16

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /

Published 1990

Conference Proceeding Book

17

Symposium on VLSI Circuits : digest of papers.

Symposium on VLSI Circuits : digest of papers.

Published 1987

Conference Proceeding

18

VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings /

VLSI algorithms and architectures : 3rd Aegean Workshop on Computing, AWOC 88, Corfu, Greece, June 28-July 1, 1988 : proceedings /

Published 1988

Conference Proceeding Book

19

Hardware accelerators for electrical CAD : papers presented at the International Workshop on Hardware Accelerators, Oxford, 30 September-2 October, 1987 /

Hardware accelerators for electrical CAD : papers presented at the International Workshop on Hardware Accelerators, Oxford, 30 September-2 October, 1987 /

Published 1988

Conference Proceeding Book

20

Advanced research in VLSI : proceedings of the fifth MIT conference, March 1988 /

Advanced research in VLSI : proceedings of the fifth MIT conference, March 1988 /

Published 1988

Conference Proceeding Book

1
2
3
4
Next
[4]