Your search returned 99 results.

Results
	81.	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)
	82.	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)
	83.	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)
	84.	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)
	85.	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)
	86.	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)
	87.	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)
	88.	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)
	89.	First-order logic by Smullyan, Raymond M Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Dover Publications, ©1995 Availability: Items available for loan: IIITD (1)Call number: 511.3 SMU-F. Not available: IIITD: Checked out (1). Place hold Add to cart (remove)
	90.	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)
	91.	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)
	92.	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)
	93.	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)
	94.	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)
	95.	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)
	96.	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)
	97.	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)
	98.	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)
	99.	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)

First
Previous
1
2
3
4
5

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