Koha online

1.
Art of computer programming. Volume 4, Fascicle 2 : generating all tuples and permutations

by Knuth, Donald E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston: Addison-Wesley, 2005Availability: Items available for loan: [Call number: 005.1 KNU] (1).
Place hold
2.
No cover image available
Art of computer programming. Volume 4, Fascicle 2 : generating all tuples and permutations

by Knuth, Donald E.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River: Addison-Wesley, 2005Availability: Items available for loan: [Call number: 005.1 KNU] (1).
Place hold
3.
Isabelle/HOL : a Proof Assistant for Higher-Order Logic

by Paulson, Lawrence C | Nipkow, Tobias | Wenzel, Markus | Paulson, Lawrence C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 NIP] (1).
Place hold
4.
Hands-on data structures and algorithms with Python : write complex and powerful using the latest features of Python 3.7

by Agarwal, Basant | Baka, Benjamin.

Edition: 2nd ed. Publisher: Birmingham : Packt Publishing, 2018Availability: No items available Checked out (1).
Place hold
5.
Principles of database management : the practical guide to storing, managing and analyzing big and small data

by Lemahieu, Wilfried | Broucke, Seppe vanden | Baesens, Bart.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, 2018Availability: Items available for loan: [Call number: 005.74 LEM] (1).
Place hold

Powered by Koha