Search results › Indraprastha Institute of Information Technology, Delhi catalog

Results
	1.	Introduction to digital systems design by Donzellini, Giuliano Anguita, Davide Oneto, Luca Ponta, Domenico Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Switzerland : Springer, ©2019 Availability: Items available for loan: IIITD (1)Call number: 621.3 DON-I. Place hold Add to cart (remove)
	2.	The irrationals : a story of the numbers you can't count on by Havil, Julian Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Jersey : Princeton University Press, ©2012 Availability: Items available for loan: IIITD (1)Call number: 512.73 HAV-I. Place hold Add to cart (remove)
	3.	The myth of artificial intelligence : why computers can't think the way we do by Larson, Erik J Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Harvard University Press, ©2021 Availability: Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	4.	Book of proof by Hammack, Richard Edition: 3rd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Virginia : Richard Hammack, ©2018 Availability: Items available for loan: IIITD (1)Call number: 511.3 HAM-B. Place hold Add to cart (remove)
	5.	How to predict everything : the formula transforming what we know about life and the universe by Poundstone, William Material type: Text; Format: print ; Literary form: Not fiction Publication details: London : Oneworld, ©2019 Availability: Items available for loan: IIITD (1)Call number: 003.2 POU-H. Place hold Add to cart (remove)
	6.	Methods of solving number theory problems by Grigorieva, Ellina Material type: Text; Format: print available online ; Literary form: Not fiction Publication details: Switzerland : Birkhauser, ©2018 Availability: Items available for loan: IIITD (1)Call number: 512.7 GRI-M. Place hold Add to cart (remove)
	7.	Digital fundamentals by Floyd, Thomas L Edition: 11th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Noida : Pearson, ©2018 Availability: Items available for loan: IIITD (1)Call number: 621.38 FLO-D. Place hold Add to cart (remove)
	8.	Proof and the art of mathematics by Hamkins, Joel David Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : MIT Press, ©2020 Availability: Items available for loan: IIITD (1)Call number: 511.36 HAM-P. Place hold Add to cart (remove)
	9.	Mathematician's delight by Sawyer, W. W Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover, ©2007 Availability: Items available for loan: IIITD (1)Call number: 510 SAW-M. Place hold Add to cart (remove)
	10.	The cartoon introduction to philosophy by Patton, Michael F Cannon, Kevin Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Hill and Wang, ©2015 Availability: Items available for loan: IIITD (1)Call number: 100 PAT-C. Place hold Add to cart (remove)
	11.	Digital logic and computer design by Mano, M. Morris Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Pearson, ©1979 Availability: Items available for loan: IIITD (3)Call number: 621.381 MAN-D, ... Place hold Add to cart (remove)
	12.	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)
	13.	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)
	14.	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)
	15.	Digital design : with an introduction to the verilog HDL, VHDL and system verilog by Mano, M. Morris Ciletti, Michael D Edition: 6th ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Noida : Pearson, ©2018 Availability: Items available for loan: IIITD (17)Call number: 621.395 MAN-D, ... Items available for reference: IIITD: Not for loan (2)Call number: 621.395 MAN-D, ... (1 votes) Place hold Add to cart (remove)
	16.	The philosophy of bertrand russell by Schilpp, Paul Arthur [editer ] Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Srishti Publication, ©1971 Availability: Items available for loan: IIITD (1)Call number: 192 SCH-P. Place hold Add to cart (remove)
	17.	Real analysis : a constructive approach through interval arithmetic by Bridger, Mark Series: Pure and applied undergraduate texts ; 38 \| The Sally series Material type: Text; Format: print ; Literary form: Not fiction Publication details: Rhode Island USA : American Mathematical Society, ©2019 Availability: Items available for loan: IIITD (1)Call number: 515 BRI-R. Place hold Add to cart (remove)
	18.	Computational thinking by Denning, Peter J Tedre, Matti Series: The MIT Press Essential Knowledge Series \| The MIT Press Essential Knowledge Series Material type: Text; Format: print Publication details: London : MIT Press, ©2019 Availability: Items available for loan: IIITD (1)Call number: 005.1 DEN-C. Place hold Add to cart (remove)
	19.	Logic : the basics by Beall, J. C Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Routledge, ©2017 Availability: Items available for loan: IIITD (1)Call number: 160 BEA-L. Place hold Add to cart (remove)
	20.	Toposes and local set theories : an introduction by Bell, J. L Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1988 Availability: Items available for loan: IIITD (1)Call number: 511.32 BEL-T. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 99 results.