Résultats de la recherche

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 /

Publié 1980

Actes de congrès Livre

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 /

Publié 1990

Actes de congrès Livre

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 /

Publié 1987

Actes de congrès Livre

4

Computer-aided verification : proceedings /

Computer-aided verification : proceedings /

Publié 1991

Actes de congrès Livre

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 /

Publié 1986

Actes de congrès Livre

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.

Publié 1985

Actes de congrès Livre

7

VLSI and computers : proceedings /

VLSI and computers : proceedings /

Publié 1987

Actes de congrès Livre

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 /

Publié 1993

Livre

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 /

Publié 1995

Actes de congrès Livre

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 /

Publié 1992

Actes de congrès Livre

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. /

Publié 1981

Actes de congrès Livre

12

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

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

Publié 1990

Livre

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 /

Publié 1986

Actes de congrès Livre

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...

Publié 2000

Actes de congrès Livre

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 /

Publié 1990

Actes de congrès Livre

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 /

Publié 1990

Actes de congrès Livre

17

Symposium on VLSI Circuits : digest of papers.

Symposium on VLSI Circuits : digest of papers.

Publié 1987

Actes de congrès

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 /

Publié 1988

Actes de congrès Livre

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 /

Publié 1988

Actes de congrès Livre

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 /

Publié 1988

Actes de congrès Livre

1
2
3
4
Suivant
[4]