FEEDBACK Smiley face

Your search returned 3 results. Subscribe to this search

|
1. The calculus of computation : decision procedures with applications to verification

by Bradley, Aaron R | Manna, Zohar.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Springer, ©2007Availability:
Items available for reference: IIITD [004.015 BRA-C] (1).

2. Digital design : with an introduction to the verilog HDL, VHDL and system verilog

by Mano, M. Morris | Ciletti, Michael D [Author].

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: Uttar pradesh : Pearson Education, ©2018Availability: Items available for loan: IIITD [621.395 MAN-D] (1).

3. High performance integer arithmetic circuit design on FPGA : architecture, implementation and design automation

by Palchaudhuri, Ayan | Chakraborty, Rajat Subhra.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Springer, ©2016Availability:
Items available for reference: IIITD [REF 621.395 PAL-H] (1).


© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in