Koha online

HTML5 Icon

Your search returned 69 results.

41.
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).
Place hold
42.
A first course in coding theory

by Hill, Raymond.

Language: English Publisher: New York Oxford University Press 1986Availability: Items available for loan: Central Library [Call number: 003.54 HIL/F] (4). Items available for reference: Central Library [Call number: 003.54 HIL/F] (1).
Checked out (1).
Place hold
43.
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).
Place hold
44.
Protecting information: from classical error correction to quantum cryptography

by Loepp, Susan | Wootters, William K.

Language: English Publisher: New York Cambridge University Press 2006Availability: Items available for loan: Central Library [Call number: 005.8 LOE/P] (1). Items available for reference: Central Library [Call number: 005.8 LOE/P] (1).
Place hold
45.
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] (9). Items available for reference: Central Library [Call number: 005.8 STA/C] (1).
Place hold
46.
The definitive guide to ARM® Cortex®-M0 and Cortex-M0+ processors

by Yiu, Joseph.

Edition: 2nd ed. Language: English Publisher: Oxford Elsevier c2015Availability: Items available for loan: Central Library [Call number: 629.895 YIU/D] (19). Items available for reference: Central Library [Call number: 629.895 YIU/D] (1).
Place hold
47.
Advanced digital design with the Verilog HDL

by Ciletti, Michael D.

Edition: 2nd ed. Language: English Publisher: Noida Pearson 2017Availability: Items available for loan: Central Library [Call number: 621.395 CIL/A] (3). Items available for reference: Central Library [Call number: 621.395 CIL/A] (1).
Checked out (1).
Place hold
48.
Starting out with Python

by Gaddis, Tony.

Edition: 5th ed. Language: English Publisher: Harlow Pearson 2022Availability: Items available for loan: Central Library [Call number: 005.133 GAD/S] (4). Items available for reference: Central Library [Call number: 005.133 GAD/S] (1).
Place hold
49.
Introduction to programming in Python: an interdisciplinary approach

by Sedgewick, Robert | Wayne, Kevin | Dondero, Robert.

Edition: 1st ed. Language: English Publisher: Noida Pearson 2016Availability: Items available for loan: Central Library [Call number: 005.133 SED/I] (4). Items available for reference: Central Library [Call number: 005.133 SED/I] (1).
Place hold
50.
Think Python: how to think like a computer scientist

by Downey, Allen B.

Edition: 2nd ed Language: English Publisher: Mumbai Shroff Publishers and Distributors 2021Availability: Items available for loan: Central Library [Call number: 005.133 DOW/T] (1). Items available for reference: Central Library [Call number: 005.133 DOW/T] (1).
Checked out (1).
Place hold
51.
Python for data analysis: data wrangling with Pandas, NumPy, and IPython

by McKinney, Wes.

Edition: 2nd ed. Language: English Publisher: Mumbai Shroff Publishers & Distributors 2021Availability: Items available for loan: Central Library [Call number: 005.133 MCK/P] (2). Items available for reference: Central Library [Call number: 005.133 MCK/P] (1).
Place hold
52.
Automate the boring stuff with Python: practical programming for total beginners

by Sweigart, Al.

Edition: 2nd ed. Language: English Publisher: San Francisco No Starch Press 2020Availability: Items available for loan: Central Library [Call number: 005.133 SWE/A] (2). Items available for reference: Central Library [Call number: 005.133 SWE/A] (1).
Place hold
53.
Introduction to modern cryptography

by Katz, Jonathan | Lindell, Yehuda.

Edition: 2nd ed. Language: English Publisher: Boca Raton CRC Press 2018Availability: Items available for loan: Central Library [Call number: 005.82 KAT/I] (9). Items available for reference: Central Library [Call number: 005.82 KAT/I] (1).
Place hold
54.
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
55.
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] (9). Items available for reference: Central Library [Call number: 005.1015113 HUT/L] (1).
Place hold
56.
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
57.
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
58.
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] (9). Items available for reference: Central Library [Call number: 005.73 GOO/D] (1).
Place hold
59.
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] (3). Items available for reference: Central Library [Call number: 006.31 CHO/D] (1).
Checked out (1).
Place hold
60.
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 loan: Central Library [Call number: 006.31 GER/H] (1). Items available for reference: Central Library [Call number: 006.31 GER/H] (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.