A sua pesquisa retornou 17 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
Não realçar Realçar
|
Contemporary logic design / Randy H. Katz, Gaetano Borriello Publicação: Upper Saddle River (NJ) : Prentice Hall, cop. 2005Descrição: XVI, 448 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da ESAN (1).
Reservar Adicionar ao carrinho
Synthesis of finite state machines : logic optimization / Tiziano Villa...[et al.] Publicação: Boston (MA) : Kluwer Academic Publishers, cop. 1997Descrição: XIII, 381 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logic synthesis and verification algorithms / Gary D. Hachtel, Fabio Somenzi Publicação: Boston : Kluwer Academic Publishers, 1996Descrição: XXXI, 564 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logic synthesis for field-programmable gate arrays / Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli Publicação: Boston : Kluwer Academic Publishers, cop. 1995Descrição: XV, 427 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
International conference on computer design : proceedings / IEEE International ... Publicação: Los Alamitos(CA) : IEEE Computer Society Press, cop. 1994Descrição: XVII, 639, [3] p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Proceedings [of the] 1993 IEEE International Conference on Computer Design : VLSI in computers and processors Publicação: Washington (DC) : IEEE Computer Society Press, 1993Descrição: XVII, 619 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Correct hardware design methodologies : proceedings of the Advanced Research Workshop [...] / edited by Paolo Prinetto, Paolo Camurati Publicação: Amsterdam : North-Holland, 1992Descrição: IX, 470 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
High-level synthesis : introduction to chip and system design / Daniel D. Gajski...[et al.] Publicação: Boston : Kluwer Academic Press, 1992Descrição: XIII, 359 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Proceedings [of the] 1992 IEEE International Conference on Computer Design : VLSI in computers and processors Publicação: Washington (DC) : IEEE Computer Society Press, 1992Descrição: XVII, 605 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logic and architecture synthesis : proceedings of the Workshop on [...] / edited by Petra Michel, Gabrielle Saucier Publicação: Amsterdam : North-Holland, 1991Descrição: XII, 337 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Formal verification of hardware design / edited by Michael Yoeli Publicação: Washington : IEEE Computer Society Press, 1990Descrição: IX, 326 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Proceedings [of the] 1990 IEEE International Conference on Computer Design: VLSI in computers & processors Publicação: Los Alamitos (CA) : IEEE Computer Society Press, 1990Descrição: XX, 477 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Design methodologies for VSLI and computer architecture : proceedings of the [...] Working Conference [...] / edited by D. A. Edwards Publicação: Amsterdam : North-Holland, 1989Descrição: XIII, 348 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Proceedings [of the] 1989 IEEE International Conference on Computer Design : VLSI in computers and processors Publicação: Washington : IEEE Computer Society Press, 1989Descrição: XVII, 587 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Proceedings [of the] 1988 IEEE International Conference on Computer Design : VLSI in computers and processors Publicação: Washington (DC) : IEEE Computer Society Press, 1988Descrição: XVII, 618 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logic minimization algorithms for VLSI synthesis / Robert K. Brayton... [et al.] Publicação: Boston (MA) : Kluwer, 1986 printingDescrição: IX, 193 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho
Logic design and simulation / edited by E. Horbst Publicação: Amsterdam : North-Holland, 1986Descrição: X, 286 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Reservar Adicionar ao carrinho


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>