1. Efficient checking of polynomials and proofs and the hardness of approximation problems

by Sudan, Madhu.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 SUD] (1).
2. Golden ticket : P, NP, and the search for the impossible

by Fortnow, Lance.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2013Availability: Items available for loan: [Call number: 511.352 FOR] (1).
3. Introduction to computation : Haskell, logic and automata

by Sannella, Donald | Fourman, Michael | Peng, Haoran | Wadler, Philip.

Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 SAN] (1).
4. Algorithms and discrete applied mathematics : 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9-11, 2023, proceedings

by Bagchi, Amitabha [ed.] | Muthu, Rahul [ed.].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cham : Springer, 2023Availability: Items available for loan: [Call number: 004 BAG] (1).
5. Mathematical muffin morsels : nobody wants a small piece

by Gasarch, William I | Metz, Erik | Prinz, Jacob | Smolyak, Daniel.

Publisher: New Jersey : World Scientific, 2020Availability: Items available for loan: [Call number: 513.21 GAS] (1).
6. The discrete charm of the machine : why the world became digital

by Steiglitz, Ken.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton : Princeton University Press, 2019Availability: Items available for loan: [Call number: 621.382 STE] (1).

Powered by Koha