|
1.
|
Constraint-based verification
by Yuan, Jun | Aziz, Adnan | Pixley, Carl. Material type: 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2001Availability: Items available for loan: [Call number: 004 MAN] (6).
|
|
6.
|
Logic Design Theory
by Biswas, Nripendra N. Material type: 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; Format:
print
; Literary form:
Not fiction
Publisher: Basel: Birkhauser Verlag, 2002Availability: Items available for loan: [Call number: 004 KRA] (1).
|