1. Algorithmic number theory : efficient algorithms. Volume 1

by Shallit, Jeffrey.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 1996Availability: Items available for loan: [Call number: 512.72015118 BAC] (1).
2. Basic category theory for computer scientists

by Pierce, Benjamin C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: MIT Press, 1991Availability: Items available for loan: [Call number: 511.3 BEN] (1).
3. Formal semantics of programming languages

by Winskel, Glynn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: MIT Press, 1993Availability: Items available for loan: [Call number: 005.131 WIN] (1).

Powered by Koha