|
21.
|
|
|
22.
|
Robotics: fundamental concepts and analysis by Ghosal, Ashitava. Language: English Publisher: New Delhi Oxford University Press 2006Availability: Items available for loan: Central Library
[Call number: 629.892 GHO/R]
(14). Items available for reference: Central Library
[Call number: 629.892 GHO/R]
(1).
|
|
23.
|
|
|
24.
|
Decision procedures: an algorithmic point of view by Kroening, Daniel | Strichman, Ofer. Edition: 2nd ed. Language: English Publisher: Berlin Springer 2016Availability: Items available for loan: Central Library
[Call number: 004.0151 KRO/D]
(1). Items available for reference: Central Library
[Call number: 004.0151 KRO/D]
(1).
|
|
25.
|
Elegant SciPy: the art of scientific Python by Nunez-Iglesias, Juan | Walt, Stefan van der | Dashnow, Harriet. Language: English Publisher: Mumbai Shroff Publishers & Distributors 2017Availability: Items available for reference: Central Library
[Call number: 005.133 NUN/E]
(1).
|
|
26.
|
Understanding machine learning: from theory to algorithms by Shalev-Shwartz, Shai | Ben-David, Shai. Language: English Publisher: Delhi Cambridge University Press 2015Availability: Items available for loan: Central Library
[Call number: 006.31 SHA/U]
(3). Items available for reference: Central Library
[Call number: 006.31 SHA/U]
(1). Checked out (1).
|
|
27.
|
|
|
28.
|
Understanding contemporary India: critical perspectives by Vanaik, Achin | Bhargava, Rajeev. Language: English Publisher: New Delhi Orient Blackswan 2010Availability: Items available for loan: Central Library
[Call number: 342.54 VAN/U]
(1). Items available for reference: Central Library
[Call number: 342.54 VAN/U]
(1). Checked out (1).
|
|
29.
|
An introduction to parallel programming by Pacheco, Peter S. Language: English Publisher: New Delhi Elsevier 2011Availability: Items available for loan: Central Library
[Call number: 005.275 PAC/I]
(1). Items available for reference: Central Library
[Call number: 005.275 PAC/I]
(1).
|
|
30.
|
Parallel programming in C with MPI and OpenMP by Quinn, Michael J. Language: English Publisher: New Delhi McGraw-Hill Education 2003Availability: Items available for loan: Central Library
[Call number: 005.275 QUI/P]
(1). Items available for reference: Central Library
[Call number: 005.275 QUI/P]
(1).
|
|
31.
|
Materials science: an intermediate text by Hosford, William F. Language: English Publisher: New York Cambridge University Press 2011Availability: Items available for loan: Central Library
[Call number: 620.11 HOS/M]
(3). Items available for reference: Central Library
[Call number: 620.11 HOS/M]
(1).
|
|
32.
|
Functional polymers: design, synthesis, and applications by Shunmugam, Raja(Editor). Language: English Publisher: Canada Apple Academic Press 2017Availability: Items available for loan: Central Library
[Call number: 547.7 SHU/F]
(1). Items available for reference: Central Library
[Call number: 547.7 SHU/F]
(1).
|
|
33.
|
Continuum mechanics: concise theory and problems by Chadwick, P. Language: English Publisher: New York Dover Publications 1999Availability: Items available for loan: Central Library
[Call number: 531 CHA/C]
(9). Items available for reference: Central Library
[Call number: 531 CHA/C]
(1).
|
|
34.
|
|
|
35.
|
Cryptography and network security: principles and practice by Stallings, William. Edition: 7th ed. Language: English Publisher: Noida Pearson c2017Availability: Items available for loan: Central Library
[Call number: 005.8 STA/C]
(5). Items available for reference: Central Library
[Call number: 005.8 STA/C]
(1). Checked out (4).
|
|
36.
|
|
|
37.
|
Raman spectroscopy in graphene related systems by Jorio, Ado | Dresselhaus, Mildred | Saito, Riichiro | Dresselhaus, Gene F. Language: English Publisher: Weinheim Wiley-VCH 2011Availability: Items available for loan: Central Library
[Call number: 543.57 JOR/R]
(1). Items available for reference: Central Library
[Call number: 543.57 JOR/R]
(1).
|
|
38.
|
The mathematics of politics by Robinson, E. Arthur | Ullman, Daniel H. Edition: 2nd ed. Language: English Publisher: Boca Raton CRC Press 2017Availability: Items available for loan: Central Library
[Call number: 320.01513 ROB/M]
(1). Items available for reference: Central Library
[Call number: 320.01513 ROB/M]
(1).
|
|
39.
|
Handbook of model checking by Clarke, Edmund M. (Editor) | Henzinger, Thomas A. (Editor) | Veith, Helmut (Editor) | Bloem, Roderick (Editor). Edition: 1st ed. Language: English Publisher: Switzerland Springer 2018Availability: Items available for loan: Central Library
[Call number: 004.24 CLA/H]
(3). Items available for reference: Central Library
[Call number: 004.24 CLA/H]
(1). Checked out (1).
|
|
40.
|
Logic in computer science: modelling and reasoning about systems by Huth, Michael | Ryan, Mark. Edition: 2nd ed. Language: English Publisher: Cambridge Cambridge University Press 2018Availability: Items available for loan: Central Library
[Call number: 005.1015113 HUT/L]
(8). Items available for reference: Central Library
[Call number: 005.1015113 HUT/L]
(1). Checked out (1).
|