Most popular
| Title | Item type | Collection | Checkouts | ||
|---|---|---|---|---|---|
|
Database system concepts / Silberschatz, Abraham. - McGraw-Hill Education (India), Chennai : 2021 - xxviii, 1344 p. : 25 cm. |
Item type Books | Collection | Checkouts: 8 | ||
|
Introduction to optimization / Chong, Edwin Kah Pin. - Wiley India Pvt. Ltd., New Delhi: 2017 - xv, 622p. |
Item type Books | Collection | Checkouts: 8 | ||
|
Introduction to algorithms / - MIT Press, Cambridge, Mass. : 2022 - xx, 1291 p. : 24 cm. |
Item type Books | Collection | Checkouts: 4 | ||
|
Godel's theorem: Moore, A. W. - Oxford University Press, Oxford : 2022 - xx, 128 p. ; 22 cm. |
Item type Books | Collection | Checkouts: 3 | ||
|
You are not expected to understand this : - Princeton University Press, Princeton: 2022 - xii, 202 pages : 22 cm |
Item type Books | Collection | Checkouts: 3 | ||
|
The story of proof : Stillwell, John. - Princeton University Press, Princeton: 2022 - xiv, 441 pages : 24 cm |
Item type Books | Collection | Checkouts: 3 | ||
|
Quantum machine learning with python: Pattanayak, Santanu. - Springer, New York: 2024 - xix, 361p. |
Item type Books | Collection | Checkouts: 3 | ||
|
How to read and do proofs : Solow, Daniel. - John Wiley, Hoboken, N.J. : 2014 - xiv, 319 p. : 23 cm. |
Item type Books | Collection | Checkouts: 3 | ||
|
Meaning of proofs : Lolli, Gabriele. - The MIT Press, Cambridge: 2022 - xviii, 157 pages ; 21 cm |
Item type Books | Collection | Checkouts: 2 | ||
|
Markov chains : Bremaud, Pierre. - Springer Nature, Switzarland : 2020 - xvi, 557 p. : 24 cm. |
Item type Books | Collection | Checkouts: 2 |