1. Logic synthesis and verification algorithms

by Hachtel, Gary D | Somenzi, Fabio.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 621.395 HAC] (1).
2. Contemporary logic design

by Borriello, Gaetano | Katz, Randy H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2005Availability: Items available for loan: [Call number: 621.395 KAT] (10).
3. Contemporary logic design

by Katz, Randy H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: California: Benjamin/Cummings Publishing, 1994Availability: Items available for loan: [Call number: 621.395 KAT] (1).

Powered by Koha