1. Constraint-based verification

by Yuan, Jun | Aziz, Adnan | Pixley, Carl.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2006Availability: Items available for loan: [Call number: 005.115 YUA] (1).
2. Computer Logic : design principles and applications

by Hsu, John Y.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 005.1015113 HSU] (1).
3. Course in Approximation Theory

by Cheney, Ward.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: U.S.A.: Brooks/Cole, 2000Availability: Items available for loan: [Call number: 511.4 CHE] (1).
4. Digital Electronics

by Gothmann, William H.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 621.381 GOT] (1).
5. Digital Logic and Computer Design

by Mano, M. Morris.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 004 MAN] (6).
Lists:
6. Logic Design Theory

by Biswas, Nripendra N.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 621.395 BIS] (1).
7. Computer System Architecture

by Mano, M. Morris.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 004.22 MAN] (10).
8. Fundamentals of digital circuits

by Kumar, A. Anand.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 621.3815 KUM] (6).
9. Information Technology Concepts

by Jain, Madhulika.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: BPB Publications, 2000Availability: Items available for loan: [Call number: 621.382 JAI] (1).
10. Digital systems : principles and applications

by Tocci, Ronald J | Widmer, Neal S.

Edition: 8th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Delhi: Pearson Education, 2003Availability: Items available for loan: [Call number: 621.395 TOC] (1).
11. Introduction to digital systems

by Ercegovac, Milos D | Lang, Tomas | Moreno, Jaime, H.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: John Wiley & Sons, 2000Availability: Items available for loan: [Call number: 004 ERC] (1).
12. 2000 Solved Problems in Discrete Mathematics

by Lipschutz, Seymour.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Tata McGraw-Hill, 2002Availability: Items available for loan: [Call number: 510 LIP] (1).
13. Essential discrete mathematics for computer science

by Feil, Todd | Krone, Joan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 2003Availability: Items available for loan: [Call number: 004.0151 FEI] (1).
14. Discrete mathematics for computing

by Haggary, Rod.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Harlow: Addison-Wesley, 2002Availability: Items available for loan: [Call number: 004.0151 HAG] (1).
15. Discrete mathematics for computing

by Grossman, Peter.

Edition: 3rd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Palgrave Macmillan, 2009Availability: Items available for loan: [Call number: 004.0151 GRO] (1).
16. FSM-based digital design using Verilog HDL

by Minns, Peter | Elliott, Ian D.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Chichester: John Wiley & Sons, 2008Availability: Items available for loan: [Call number: 004.33 MIN] (1). Checked out (1).
17. Mathematical structures for computer science : a modern approach to discrete mathematics

by Gersting, Judith L.

Edition: 6th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: W. H. Freeman and Company, 2006Availability: Items available for loan: [Call number: 004.0151 GER] (1).
18. Ones and Zeros

by Gregg, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: IEEE Press, 1998Availability: Items available for loan: [Call number: 621.3815 GRE] (1).
19. Algebra for computer science

by Garding, Lars | Tambour, Torbjorn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 1988Availability: Items available for loan: [Call number: 004.0151 GAR] (1).
20. Handbook of Logic and Proof Techniques for Computer Science

by Krantz, Steven G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).

Powered by Koha