Your search returned 10 results. Subscribe to this search

Not what you expected? Check for suggestions
|
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).
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).
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).
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).
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).
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).
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).
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).
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).
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).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>