Your search returned 10 results.

Sort
Results
1.
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Dover Publications, ©1965
Availability: Items available for loan: IIITD (1)Call number: REF 512.8 DAV-U.

2.
A course in multivariable calculus and analysis by Series: Undergraduate texts in mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher number:
  • 12542772
Publication details: New York : Springer, ©2010
Availability: Items available for loan: IIITD (1)Call number: 515.94 GHO-C.

3.
Theory of computation by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Hoboken, N.J. : Wiley, 2012
Availability: Items available for loan: IIITD (1)Call number: REF 511.352 TUR-T.

4.
Problems in real analysis : a workbook with solutions by
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: San Diego : Academic Press, c1999
Availability: Items available for loan: IIITD (1)Call number: 515 ALI-P.

5.
Mathematical physics : with applications, problems and solutions by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Ane Books, ©2020
Availability: Items available for loan: IIITD (1)Call number: CB 530.15 BAL-M.

6.
Problems in real and functional analysis by Series: Graduate studies in mathematics ; 166
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Hyderabad : American Mathematical Society, ©2015
Availability: Items available for loan: IIITD (1)Call number: 515.7 TOR-P.

7.
The Hurwitz and the Lerch Zeta-functions in the second variable by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New Delhi : Narosa Publishing House, ©2016
Availability: Items available for loan: IIITD (1)Call number: 515.56 RAN-H.

8.
Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Series: Computer Science Foundations and Applied Logic
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 In: Springer Nature eBook
Availability: No items available.

9.
Reverse Mathematics [electronic resource] : Problems, Reductions, and Proofs / by Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

10.
Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Series: Undergraduate Topics in Computer Science
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook
Availability: No items available.

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