Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Theoretical Foundations of VLSI DesignK. Tucker, J. V. McEvoy K McEvoy; J. V TuckerCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Correct hardware design and verification methods IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedingsCHARME '93 (1993 Arles, France) George J Milne 1952-; Laurence PierreBerlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.683 e.1 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Computational aspects of VLSIJeffrey D. Ullman (Jeffrey David), 1942-Rockville, Md. Computer Science Press c1984Localização: IME - Inst. Matemática e Estatística (QA732 U41c e.2 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Very large scale integration (VLSI) fundamentals and applicationsD. F Barbe (David F.), 1939-Berlin New York Springer-Verlag 1982Localização: IME - Inst. Matemática e Estatística (QA732.C3 B233v e.2 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
VLSI and parallel computationRobert Suaya; G. M Birtwistle (Graham M.)San Mateo, Calif. Morgan Kaufmann c1990Localização: IME - Inst. Matemática e Estatística (QA732.C3 S939v )(Acessar) |
6 |
Material Type: Livro
|
![]() |
Single-layer wire routing and compactionF. Miller MaleyCambridge, Mass. MIT Press c1990Localização: IME - Inst. Matemática e Estatística (QA732 M248s )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Advanced research in VLSI proceedings of the fourth MIT conference, April 7-9, 1986Charles Eric Leiserson; Massachusetts Institute of Technology Microsystems Research Center; MIT Conference on Advanced Research in VLSI (4th 1986 Cambridge, Mass.)Cambridge, Mass. MIT Press c1986Localização: IME - Inst. Matemática e Estatística (QA732.C C748a 1986 )(Acessar) |
8 |
Material Type: Tese de Doutorado
|
![]() |
Area-efficient VLSI computationCharles Eric Leiserson Jon Louis Bentley; H. T Kung1981Localização: IME - Inst. Matemática e Estatística (QA732.T L532a )(Acessar) |
9 |
Material Type: Livro
|
![]() |
VLSI 87 VLSI design of digital systemsIFIP TC10/WG 10.5 International Conference on Very Large Scale Integration (1987 Vancouver, Canada) Carlo H SéquinNorth-Holland 1988Localização: IME - Inst. Matemática e Estatística (QA732.C I61v 1987 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Formal hardware verification methods and systems in comparisonThomas Kropf 1961-Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1287 ) e outros locais(Acessar) |