1. Automated verification of concurrent search structures

by Krishna, Siddharth | Patel, Nisarg | Shasha, Dennis | Wies, Thomas.

Publisher: San Rafael, California : Morgan & Claypool Publishers, 2021Availability: Items available for loan: [Call number: 005.741 KRI] (1).
2. Database system concepts

by Silberschatz, Abraham | Korth, Henry F | Sudarshan, S.

Edition: 7th ed. Publisher: Chennai : McGraw Hill India, 2020Availability: Items available for loan: [Call number: 005.74 SIL] (10). Checked out (2).

Powered by Koha