21. Database Management Systems

by Panneerselvam, R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall of India, 2002Availability: Items available for loan: [Call number: 005.74 PAN] (1).
22. Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions

by Bertot, Yves | Casteran, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer 2004Availability: Items available for loan: [Call number: 004.015113 BER] (1).
23. Introduction to data systems : building from Python

by Bressoud, Thomas | White, David.

Publisher: Cham : Springer, 2020Availability: Items available for loan: [Call number: 006.312 BRE] (1).
24. Quick recursion

by Matuszek, David L.

Publisher: Boca Raton : CRC Press, 2023Availability: Items available for loan: [Call number: 005.131 MAT] (1).

Powered by Koha