Results of search for 'ccl=su:{Logic }' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	121.	A structuralist theory of logic by Koslow, Arnold Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Cambridge University Press, ©1992 Availability: Items available for loan: IIITD (1)Call number: REF 160 KOS-S. Place hold Add to cart (remove)
	122.	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)
	123.	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)
	124.	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)
	125.	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)
	126.	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)
	127.	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)
	128.	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)
	129.	Digital design and computer architecture by Harris, Sarah L Harris, David Money Edition: ARM® ed. Material type: Text; Format: print available online ; Literary form: Not fiction Publication details: New York : Morgan Kaufmann, ©2016 Online access: View this book online, via VLeBooks, both on- and off-campus Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.39 HAR-D. Add to cart (remove)
	130.	Digital design and computer architecture : RISC-V edition by Harris, Sarah L Harris, David Edition: RISC-V ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Morgan Kaufmann, ©2022 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.395 HAR-D. Add to cart (remove)
	131.	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)
	132.	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)
	133.	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)
	134.	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)
	135.	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)
	136.	ASIC/SoC functional design verification : a comprehensive guide to technologies and methodologies by Mehta, Ashok B Material type: Text; Format: available online ; Literary form: Not fiction Publication details: California : Springer, ©2018 Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 621.381 MEH-A. Add to cart (remove)
	137.	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)
	138.	Pristine Perspectives on Logic, Language and Computation [electronic resource] : ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers / by Colinet, Margot [editor.] Katrenko, Sophia [editor.] Rendsvig, Rasmus K [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8607 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	139.	Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Skrzypczak, Michał [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9802 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	140.	Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / by Meyer, Bertrand [editor.] Nordio, Martin [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8987 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Places

Topics

Titles

Your search returned 2363 results.