Resultados da pesquisa

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 /

Publicado em 1980

Conference Proceeding Livro

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 /

Publicado em 1990

Conference Proceeding Livro

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 /

Publicado em 1987

Conference Proceeding Livro

4

Computer-aided verification : proceedings /

Computer-aided verification : proceedings /

Publicado em 1991

Conference Proceeding Livro

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 /

Publicado em 1986

Conference Proceeding Livro

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.

Publicado em 1985

Conference Proceeding Livro

7

VLSI and computers : proceedings /

VLSI and computers : proceedings /

Publicado em 1987

Conference Proceeding Livro

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 /

Publicado em 1993

Livro

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 /

Publicado em 1995

Conference Proceeding Livro

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 /

Publicado em 1992

Conference Proceeding Livro

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

Publicado em 1981

Conference Proceeding Livro

12

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

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

Publicado em 1990

Livro

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 /

Publicado em 1986

Conference Proceeding Livro

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

Publicado em 2000

Conference Proceeding Livro

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 /

Publicado em 1990

Conference Proceeding Livro

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 /

Publicado em 1990

Conference Proceeding Livro

17

Symposium on VLSI Circuits : digest of papers.

Symposium on VLSI Circuits : digest of papers.

Publicado em 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 /

Publicado em 1988

Conference Proceeding Livro

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 /

Publicado em 1988

Conference Proceeding Livro

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 /

Publicado em 1988

Conference Proceeding Livro

1
2
3
4
Seguinte
[4]