Koha online

HTML5 Icon

Refine your search

Your search returned 1652 results.

1301.
C how to program: with an introduction to C++

by Deitel, Paul | Deitel, Harvey.

Edition: 8th ed. Language: English Publisher: Noida Pearson c2018Availability: Items available for loan: Central Library [Call number: 005.133 DEI/C] (2). Items available for reference: Central Library [Call number: 005.133 DEI/C] (1).
Place hold
1302.
Linux command line and shell scripting Bible

by Blum, Richard | Bresnahan, Christine.

Edition: 4th ed. Language: English Publisher: Indiana John Wiley & Sons c2021Availability: Items available for loan: Central Library [Call number: 005.432 BLU/L] (1). Items available for reference: Central Library [Call number: 005.432 BLU/L] (1).
Checked out (1).
Place hold
1303.
Computer systems: a programmer's perspective

by Bryant, Randal E | O'Hallaron, David R.

Edition: 3rd ed. Language: English Publisher: Noida Pearson 2016Availability: Items available for loan: Central Library [Call number: 004 BRY/C] (24). Items available for reference: Central Library [Call number: 004 BRY/C] (1).
Checked out (10).
Place hold
1304.
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] (4). Items available for reference: Central Library [Call number: 004.24 CLA/H] (1).
Place hold
1305.
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] (7). Items available for reference: Central Library [Call number: 005.1015113 HUT/L] (1).
Checked out (2).
Place hold
1306.
Modern applications of automata theory

by D'Souza, Deepak (Editor) | Shankar, Priti (Editor).

Language: English Publisher: Singapore IISc Press, World Scientific c2012Availability: Items available for loan: Central Library [Call number: 005.31 DSO/M] (2). Items available for reference: Central Library [Call number: 005.131 DSO/M] (1).
Place hold
1307.
Theory of computation

by Kozen, Dexter C.

Language: English Publisher: London Springer-Verlag c2006Availability: Items available for loan: Central Library [Call number: 004.0151 KOZ/T] (3). Items available for reference: Central Library [Call number: 004.0151 KOZ/T] (1).
Checked out (4).
Place hold
1308.
Theory of computational complexity

by Du, Ding-Zu | Ko, Ker-I.

Edition: 2nd ed. Language: English Publisher: New Jersey Wiley c2014Availability: Items available for loan: Central Library [Call number: 004.0151 DU/T] (1). Items available for reference: Central Library [Call number: 004.0151 DU/T] (1).
Checked out (1).
Place hold
1309.
Introduction to circuit complexity: a uniform approach

by Vollmer, Heribert.

Edition: 1st ed. Language: English Publisher: Berlin Springer-Verlag c1999Availability: Items available for loan: Central Library [Call number: 004.0151 VOL/I] (4). Items available for reference: Central Library [Call number: 004.0151 VOL/I] (1).
Place hold
1310.
Boolean function complexity: advances and frontiers

by Jukna, Stasys.

Edition: 1st ed. Language: English Publisher: Berlin Springer 2012Availability: Items available for loan: Central Library [Call number: 004.0151 JUK/B] (3). Items available for reference: Central Library [Call number: 004.0151 JUK/B] (1).
Checked out (1).
Place hold
1311.
Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant

by Chlipala, Adam.

Language: English Publisher: Cambridge The MIT Press 2013Availability: Items available for loan: Central Library [Call number: 005.1 CHL/C] (1). Items available for reference: Central Library [Call number: 005.1 CHL/C] (1).
Checked out (1).
Place hold
1312.
Data structures and algorithms in Java

by Goodrich, Michael T | Tamassia, Roberto | Goldwasser, Michael H.

Edition: 6th ed. Language: English Publisher: New Delhi Wiley 2021Availability: Items available for loan: Central Library [Call number: 005.73 GOO/D] (8). Items available for reference: Central Library [Call number: 005.73 GOO/D] (1).
Checked out (1).
Place hold
1313.
An Introduction to Statistical Learning: with Applications in R

by James, Gareth | Witten, Daniela Hastie, Trevor Tibshirani, Robert.

Edition: Ed. 2 Language: English Publisher: United States of America -- Springer -- 2021Availability: Items available for loan: Central Library [Call number: 006.31 JAM/I] (2). Items available for reference: Central Library [Call number: 006.31 JAM/I] (1).
Place hold
1314.
Pattern recognition and machine learning

by Bishop, Christopher M.

Language: English Publisher: New York Springer 2009Availability: Items available for loan: Central Library [Call number: 006.4 BIS/P] (1). Items available for reference: Central Library [Call number: 006.4 BIS/P] (1).
Checked out (1).
Place hold
1315.
Deep learning with Python

by Chollet, Francois.

Edition: 2nd ed. Language: English Publisher: New York Manning Publications 2021Availability: Items available for loan: Central Library [Call number: 006.31 CHO/D] (1). Items available for reference: Central Library [Call number: 006.31 CHO/D] (1).
Checked out (3).
Place hold
1316.
Hands-on machine learning with Scikit-Learn, Keras and TensorFlow: concepts, tools, and techniques to build intelligent systems

by Geron, Aurelien.

Edition: 3rd ed. Language: English Publisher: Navi Mumbai Shroff Publishers & Distributors 2022Availability: Items available for reference: Central Library [Call number: 006.31 GER/H] (1). Checked out (1).
Place hold
1317.
R for data science: import, tidy, transform, visualize, and model data

by Wickham, Hadley | Grolemund, Garrett.

Language: English Publisher: Navi Mumbai Shroff Publishers and Distributors 2023Availability: Items available for loan: Central Library [Call number: 006.312 WIC/R] (4). Items available for reference: Central Library [Call number: 006.312 WIC/R] (1).
Checked out (3).
Place hold
1318.
Pattern Classification

by Duda, Richard O | Hart, Peter E. Stork, David G.

Edition: Ed. 2 Language: English Publisher: United States of America -- John Wiley & Sons -- 2000Availability: Items available for loan: Central Library [Call number: 006.4 DUD/P] (2). Items available for reference: Central Library [Call number: 006.4 DUD/P] (1).
Place hold
1319.
Applied statistics and probability for engineers

by Montgomery, Douglas C | Runger, George C.

Edition: 6th ed. Language: English Publisher: New Delhi Wiley 2019Availability: Items available for loan: Central Library [Call number: 519.5 MON/A] (7). Items available for reference: Central Library [Call number: 519.5 MON/A] (1).
Place hold
1320.
AI ethics

by Coeckelbergh, Mark.

Language: English Publisher: Cambridge The MIT Press 2020Availability: Items available for loan: Central Library [Call number: 170 COE/A] (6). Items available for reference: Central Library [Call number: 170 COE/A] (1).
Place hold

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.