Your search returned 5 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Dusko Pavlovic. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
2.
Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
3.
Computability [electronic resource] / by George Tourlakis. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
4.
Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Alberto Pettorossi. by Series: Undergraduate Topics in Computer Science
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: (1)Call number: 005.131.

Place hold Save to lists
5.
Reverse Mathematics [electronic resource] : Problems, Reductions, and Proofs / by Damir D. Dzhafarov, Carl Mummert. 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 ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.0151.

Place hold Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India