FEEDBACK Smiley face

Your search returned 46 results. Subscribe to this search

|
1. Digital design

by Mano, M. Morris.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Pearson, ©2007Availability:
Items available for reference: IIITD [REF 621.395 MAN-D] (1). Checked out (15). On hold (3).

2. Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed.Material type: book 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 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 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] (5).
Items available for reference: IIITD [REF 511 LIP-D] (1).
Checked out (1).

5. Discrete mathematics and its applications

by Rosen, Kenneth H.

Edition: 6th ed.Material type: book 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] (8).
Items available for reference: IIITD [REF 511 ROS-D] (1).
Checked out (7).

6. Mathematical logic for computer science

by Ben-Ari, M.

Edition: 2nd ed.Material type: book 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 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 Book; Format: print ; Literary form: not fiction Publisher: New Delhi: Tata McGraw Hill, ©2009Availability: Items available for loan: IIITD [621.395 BRO-F] (2).
Items available for reference: IIITD [REF 621.395 BRO-F] (1).
Checked out (6). Withdrawn (1).

9. Digital logic design principles

by Balabanian, Norman | Carlson, Bradley.

Material type: book 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] (1).
Items available for reference: IIITD [REF 621.395 BAL-D] (1).
Checked out (1).

10. Verilog HDL synthesis : a practical primer

by Bhasker, J.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi: BSP, ©2008Availability: Items available for loan: IIITD [621.392 BHA-V] (1).
Items available for reference: IIITD [REF 621.392 BHA-V] (1).
Checked out (3).

11. Quantum computation and quantum information

by Nielsen, Michael A | Chuang, Isaac L.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Cambridge University Press, ©2009Availability: Items available for loan: IIITD [004.1 NIE-Q] (1).
Items available for reference: IIITD [REF 004.1 NIE-Q] (1).
Checked out (2).

12. The essence of logic

by Kelly, John J.

Material type: book 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).

13. The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

by Davis, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1965Availability: Items available for loan: IIITD [REF 512.8 DAV-U] (1).

14. Digital logic and computer organization

by Rajaraman, V | Radhakrishnan, T.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi: PHI, c2006Availability:
Items available for reference: IIITD [CBIA 006.5 RAJ-D] (1).

15. Digital circuits and logic design

by Lee, Samuel C.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi. : PHI, ©1976Availability: Items available for loan: IIITD [621.3819 LEE-D] (1).
Items available for reference: IIITD [REF 621.3819 LEE-D] (1).

16. CMOS logic circuit design

by Uyemura, John P.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Delhi : Springer, ©1999Online access: Publisher description | Table of contents only Availability: Items available for loan: IIITD [621.397 UYE-C] (4).
Items available for reference: IIITD [REF 621.397 UYE-C] (1).

17. A mathematical introduction to logic

by Enderton, Herbert B.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: not fiction Publisher: San Diego : Harcourt/Academic Press, ©2001Online access: Publisher description | Table of contents Availability: Items available for loan: IIITD [511.3 END-M] (3).
Items available for reference: IIITD [REF 511.3 END-M] (1).
Checked out (1).

18. Logic for computer scientists

by Schoning, Uwe 1955-.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Boston : Birkhauser, 1989Availability: Items available for loan: IIITD [REF 511.3 SCH-L] (1).

19. Set theory and logic

by Stoll, Robert Roth.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York : Dover Publications, ©1963Availability: Items available for loan: IIITD [REF 511.322 STO-S] (1).

20. Infinity and the mind : the science and philosophy of the infinite

by Rucker, Rudy v. B.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Princeton, N.J. : Princeton University Press, ©2005Online access: Publisher description | Table of contents only | Contributor biographical information Availability: Items available for loan: IIITD [REF 511.3 RUC-I] (1).


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