Koha online

HTML5 Icon

Your search returned 12 results.

1.
The C programming language

by Kernighan, Brain W | Ritchie, Dennis M.

Edition: 2nd ed. Language: English Publisher: New Delhi PHI Learning 1988Availability: Items available for loan: Central Library [Call number: 005.133 KER/C] (3). Items available for reference: Central Library [Call number: 005.133 KER/C] (1).
Checked out (1).
Place hold
2.
Multiagent systems: algorithmic, game-theoretic, and logical foundations

by Shoham, Yoav | Leyton-Brown, Kevin.

Language: English Publisher: Cambridge Cambridge University Press 2009Availability: Items available for loan: Central Library [Call number: 006.3 SHO/M] (1). Items available for reference: Central Library [Call number: 006.3 SHO/M] (1).
Place hold
3.
Principles of model checking

by Baier, Christel | Katoen, Joost-Pieter.

Language: English Publisher: Cambridge The MIT Press 2008Availability: Items available for loan: Central Library [Call number: 004.24 BAI/P] (5). Items available for reference: Central Library [Call number: 004.24 BAI/P] (1).
Place hold
4.
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).
Place hold
5.
Design patterns: elements of reusable object-oriented software

by Gamma, Erich | Helm, Richard | Johnson, Ralph | Vlissides, John.

Language: English Publisher: Noida Pearson 2016Availability: Items available for loan: Central Library [Call number: 005.12 GAM/D] (3). Items available for reference: Central Library [Call number: 005.12 GAM/D] (1).
Place hold
6.
Joel on software

by Spolsky, Joel.

Language: English Publisher: Berkeley Apress 2004Availability: Items available for loan: Central Library [Call number: 005.1 SPO/J] (2). Items available for reference: Central Library [Call number: 005.1 SPO/J] (1).
Place hold
7.
Fundamentals of software engineering

by Ghezzi, Carlo | Jazayeri, Mehdi | Mandrioli, Dino.

Edition: 2nd ed. Language: English Publisher: Noida Pearson 2015Availability: Items available for loan: Central Library [Call number: 005.1 GHE/F] (2). Items available for reference: Central Library [Call number: 005.1 GHE/F] (1).
Place hold
8.
Fundamentals of software engineering

by Mall, Rajib.

Edition: 5th ed. Language: English Publisher: Delhi PHI Learning 2018Availability: Items available for loan: Central Library [Call number: 005.1 MAL/F] (4). Items available for reference: Central Library [Call number: 005.1 MAL/F] (1).
Place hold
9.
The mythical man-month: essays on software engineering

by Brooks, Frederick P.

Language: English Publisher: Boston Addison-Wesley 1995Availability: Items available for loan: Central Library [Call number: 005.1 BRO/M] (3). Items available for reference: Central Library [Call number: 005.1 BRO/M] (1).
Place hold
10.
Embedded systems fundamentals with arm cortex-M based microcontrollers: a practical approach

by Dean, Alexander G.

Language: English Publisher: Cambridge ARM Education Media 2017Availability: Items available for loan: Central Library [Call number: 629.895 DEA/E] (3). Items available for reference: Central Library [Call number: 629.895 DEA/E] (1).
Checked out (1).
Place hold
11.
Computer networking: a top-down approach

by Kurose, James F | Ross, Keith W.

Edition: 8th ed. Language: English Publisher: Noida Pearson 2022Availability: Items available for reference: Central Library [Call number: 004.678 KUR/C] (1). Checked out (4).
Place hold
12.
Modern Robotics: Mechanics, Planning, and Control

by Lynch, Kevin M | Park, Frank C.

Edition: Ed. 1 Language: English Publisher: United Kingdom -- Cambridge University Press -- 2017Availability: Items available for loan: Central Library [Call number: 629.892 LYN/M] (2). Items available for reference: Central Library [Call number: 629.892 LYN/M] (1).
Checked out (2).
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.