Your search returned 11 results.

Results
	1.	How to think about algorithms by Edmonds, Jeff Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi : Cambridge University Press, ©2008 Online access: Contributor biographical information Publisher description Table of contents only Availability: Items available for loan: IIITD (1)Call number: 005.1 EDM-H. Place hold Add to cart (remove)
	2.	Theory of computation by Kozen, Dexter C Series: Texts in computer science Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer, ©2006 SpringerLink ebooks - Computer Science (2006) Availability: Items available for loan: IIITD (1)Call number: REF 004.01 KOZ-T. Place hold Add to cart (remove)
	3.	An introduction to Ramsey theory : fast functions, infinity, and metamathematics by Katz, Matthew Reimann, Jan Series: Student mathematical library ; vol. 87 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Providence, Rhode island : American Mathematical Society, ©2018 Availability: Items available for loan: IIITD (1)Call number: REF 511.66 KAT-I. Place hold Add to cart (remove)
	4.	Computability theory by Weber, Rebecca Material type: Text; Format: print ; Literary form: Not fiction Publication details: Hyderabad : American Mathematical Society, ©2012 Availability: Items available for loan: IIITD (1)Call number: 511.352 WEB-C. Place hold Add to cart (remove)
	5.	Computability : an introduction to recursive function theory by Cutland, Nigel Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, ©1980 Availability: Items available for loan: IIITD (1)Call number: 519.4 CUT-C. Place hold Add to cart (remove)
	6.	The recursive book of recursion : ace the coding interview with python and javaScript by Sweigart, Al Material type: Text; Format: print ; Literary form: Not fiction Publication details: San Francisco : No Starch Press, ©2022 Availability: Items available for loan: IIITD (1)Call number: 005.1 SWE-R. Place hold Add to cart (remove)
	7.	Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Supowit, Kenneth J [author.] SpringerLink (Online service) Series: Computer Science Foundations and Applied Logic Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Reverse Mathematics [electronic resource] : Problems, Reductions, and Proofs / by Dzhafarov, Damir D [author.] Mummert, Carl [author.] SpringerLink (Online service) Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Computability [electronic resource] / by Tourlakis, George [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Pavlovic, Dusko [author.] SpringerLink (Online service) Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Pettorossi, Alberto [author.] SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

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