|
1.
|
Digital design
by Mano, M. Morris. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Pearson, ©2007Availability: Items available for loan: IIITD [621.395 MAN-D] (16). Items available for reference: IIITD [REF 621.395 MAN-D] (1). Checked out (2).
|
|
2.
|
Logic in computer science : modelling and reasoning about systems
by Huth, Michael | Ryan, Mark. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Cambridge University Press, ©2004Availability: Items available for loan: IIITD [005.101 HUT-L] (2). Items available for reference: IIITD [REF 005.101 HUT-L] (1).
|
|
3.
|
Mathematical logic
by Ebbinghaus, Heinz-Dieter | Flum, Jorg | Thomas, Wolfgang. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, ©1996Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [REF 511.3 EBB-M] (1).
|
|
4.
|
Schaum's outline of the theory and problems of discrete mathematics
by Lipschutz, Seymour | Lipson, Marc. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : McGraw-Hill, ©1997Other title: Discrete mathematics.Availability: Items available for loan: IIITD [511 LIP-D] (6). Items available for reference: IIITD [REF 511 LIP-D] (1).
|
|
5.
|
Discrete mathematics and its applications
by Rosen, Kenneth H. Edition: 6th ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : McGraw Hill, ©2007Online access: Table of contents Availability: Items available for loan: IIITD [511 ROS-D] (15). Items available for reference: IIITD [REF 511 ROS-D] (1).
|
|
6.
|
Mathematical logic for computer science
by Ben-Ari, M. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, 2003, c2001Online access: Publisher description | Table of contents only Availability: Items available for reference: IIITD [REF 511.3 BEN-M] (1).
|
|
7.
|
Logic for applications
by Nerode, Anil 1932- | Shore, Richard A 1946-. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Springer, c1997Online access: Publisher description | Table of contents only Availability: Items available for reference: IIITD [REF 005.1 NER-L] (1).
|
|
8.
|
Fundamentals of digital logic design with VHDL
by Brown, Stephen | Vranesic, Zvonko. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi: Tata McGraw Hill, ©2009Availability: Items available for loan: IIITD [621.395 BRO-F] (8). Items available for reference: IIITD [REF 621.395 BRO-F] (1). Withdrawn (1).
|
|
9.
|
Digital logic and state machine design
by Comer, David J. Edition: 3rd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Oxford University Press, c1995Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [621.381 COM-D] (1).
|
|
10.
|
Introduction to logic and computer design
by Marcovitz, Alan B. Edition: 1st ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : TMH, c2008Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [621.395 MAR-I] (1).
|
|
11.
|
Digital logic design principles
by Balabanian, Norman | Carlson, Bradley. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Wiley, ©2002Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [621.39 BAL-D] (2). Items available for reference: IIITD [REF 621.395 BAL-D] (1).
|
|
12.
|
Elements of the theory of computation
by Lewis, Harry R | Papadimitriou, Christos H. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : PHI, c1998Availability: Items available for loan: IIITD [511 LEW-E] (1).
|
|
13.
|
Verilog HDL synthesis : a practical primer
by Bhasker, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi: BSP, ©2008Availability: Items available for loan: IIITD [621.392 BHA-V] (3). Items available for reference: IIITD [REF 621.392 BHA-V] (1). Checked out (1).
|
|
14.
|
Fundamentals of digital logic with verilog design
by Brown, Stephen | Vranesic, Zvonko. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Tata McGraw Hill, ©2008Availability: Items available for loan: IIITD [621.395 BRO-F] (2).
|
|
15.
|
Quantum computation and quantum information
by Nielsen, Michael A | Chuang, Isaac L. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Cambridge University Press, ©2009Availability: Items available for reference: IIITD [REF 004.1 NIE-Q] (1). Checked out (3).
|
|
16.
|
The essence of logic
by Kelly, John J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New York : Prentice Hall, ©1996Availability: Items available for loan: IIITD [511.3 KEL-E] (3). Items available for reference: IIITD [REF 511.3 KEL-E] (1).
|
|
17.
|
My best mathematical and logic puzzles
by Gardner, Martin. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Dover Publications, 1994Availability: Items available for loan: IIITD [793.7 GAR-M] (1).
|
|
18.
|
Logic puzzles to bend your brain
by Smith, Kurt. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Orient Paperbacks, c2004Online access: Publisher description Availability: Items available for loan: IIITD [793.7 SMI-L] (1).
|
|
19.
|
Super sudoku : the stuff of sleepless nights
by International Herald Tribune. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Orient paperbacks, 2012Online access: Publisher description Availability: Items available for loan: IIITD [793.74 SUP-S] (1).
|
|
20.
|
Tricky logic puzzles
by Willis, Norman D | Sharpe, Jim. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: New Delhi : Orient Paperbacks, c1995Availability: Items available for loan: IIITD [793.73 WIL-T] (1).
|