|
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).
|
|
2.
|
|
|
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).
|
|
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).
|
|
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).
|
|
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).
|
|
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).
|
|
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).
|
|
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).
|
|
10.
|
|
|
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).
|
|
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).
|