Your search returned 7 results.

Results
	1.	No cover image available Logic in computer science : modelling and reasoning about systems by Huth, Michael 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 (1)Call number: 005.101 HUT-L. Place hold Add to cart (remove)
	2.	The calculus of computation : decision procedures with applications to verification by Bradley, Aaron R Manna, Zohar Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Springer, ©2007 Availability: Items available for loan: IIITD (2)Call number: 004.015 BRA-C, ... Items available for reference: IIITD: Not for loan (1)Call number: 004.015 BRA-C. Place hold Add to cart (remove)
	3.	Discrete mathematics and its applications by Rosen, Kenneth H Edition: 5th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : McGraw Hill, ©2003 Availability: Items available for reference: IIITD: Not for loan (1)Call number: 511 ROS-D. Add to cart (remove)
	4.	First course in fuzzy logic by Nguyen, Hung T Walker, E Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Boca Raton, FL : Chapman & Hall/CRC, 2006 Other title: Fuzzy logic Online access: Table of contents only Publisher description Availability: Items available for loan: IIITD (1)Call number: 511.313 NGU-F. Place hold Add to cart (remove)
	5.	Discrete mathematics and its applications by Rosen, Kenneth H Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : McGraw Hill, ©2007 Online access: Table of contents 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. Place hold Add to cart (remove)
	6.	Fundamentals of digital logic with verilog design by Brown, Stephen Vranesic, Zvonko Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Tata McGraw Hill, ©2008 Availability: Items available for loan: IIITD (3)Call number: 621.395 BRO-F, ... Place hold Add to cart (remove)
	7.	The essence of logic by Kelly, John J 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. Place hold Add to cart (remove)

© 2024 IIIT-Delhi, library@iiitd.ac.in

Powered by Koha