Results
|
1.
|
Logic in computer science : modelling and reasoning about systems by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Cambridge University Press, ©2004
Availability: Items available for loan: IIITD (2)Call number: 005.101 HUT-L, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 005.101 HUT-L.
|
|
2.
|
|
|
3.
|
Discrete mathematics and its applications by
Edition: 6th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : McGraw Hill, ©2007
Availability: Items available for loan: IIITD (13)Call number: 511 ROS-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511 ROS-D.
|
|
4.
|
Fundamentals of digital logic design with VHDL by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi: Tata McGraw Hill, ©2009
Availability: Items available for loan: IIITD (8)Call number: 621.395 BRO-F, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.395 BRO-F. Not available: IIITD: Withdrawn (1).
|
|
5.
|
Digital logic design principles by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Wiley, ©2002
Availability: Items available for loan: IIITD (2)Call number: 621.39 BAL-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.395 BAL-D.
|
|
6.
|
Verilog HDL synthesis : a practical primer by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi: BSP, ©2008
Availability: Items available for loan: IIITD (4)Call number: 621.392 BHA-V, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.392 BHA-V.
|
|
7.
|
Quantum computation and quantum information by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Cambridge University Press, ©2009
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 004.1 NIE-Q. Not available: IIITD: Checked out (3).
|
|
8.
|
The essence of logic by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Prentice Hall, ©1996
Availability: Items available for loan: IIITD (3)Call number: 511.3 KEL-E, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 KEL-E.
|
|
9.
|
CMOS logic circuit design by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Springer, ©1999
Availability: Items available for loan: IIITD (4)Call number: 621.397 UYE-C, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.397 UYE-C.
|
|
10.
|
A mathematical introduction to logic by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: San Diego : Harcourt/Academic Press, ©2001
Availability: Items available for loan: IIITD (3)Call number: 511.3 END-M, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 END-M. Not available: IIITD: Checked out (1).
|
|
11.
|
Critical thinking an introduction by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : Cambridge University Press, ©2001
Availability: Items available for loan: IIITD (2)Call number: 160 FIS-C, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 160 FIS-C.
|
|
12.
|
Digital design and computer architecture by
Edition: 2nd ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Waltham : Morgan kaufmann, ©2013
Availability: Items available for loan: IIITD (9)Call number: 621.381 HAR-D, ... Items available for reference: IIITD: Not for loan (1)Call number: REF 621.381 HAR-D. Not available: IIITD: Withdrawn (1).
|
|
13.
|
A first course in artificial intelligence by
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New Delhi : McGraw Hill, ©2013
Availability: Items available for loan: IIITD (8)Call number: 006.3 KHE-F, ... Items available for reference: IIITD: Not for loan (2)Call number: CBIA 006.3 KHE-F, ...
|
|
14.
|
Logic and structure by Series: Universitext
Edition: 4th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: New York : Springer, ©2004
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 DAL-L.
|
|
15.
|
Turing computability by
Edition: 4th ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Chicago : Springer, ©2016
Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.352 SOA-T.
|