Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 818 results. Subscribe to this search

|
301. Foundations of software technology and theoretical computer science (FSTTCS 2009) : proceedings...

by 29th International Conference on the Foundations of Software Technology and Theoretical Computer Science Kanpur, India 2009 | Kannan, Ravi, Ed | K.Narayan Kumar, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 473p.Publisher: Germany Indian Association For Research In Computing Science (Iarcs) 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 In8f 2009] (1).

302. Process improvement and CMMI for systems and software

by Kenett, Ron S | Baker, Emanuel R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiv, 411p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K355p] (1).

303. The ParaView guide

by Squillacote, Amy Henderson.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 366p.Publisher: Colombia Kitware 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.3 Sq48p] (1).

304. Product release planning : methods, tools, and applications

by Ruhe, Gunther.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 323p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 R85p] (1).

305. Requirements engineering : fundamentals, principles and techniques

by Pohl, Klaus.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 813p.Publisher: Heidelberg Springer-Verlag 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.12 P753r] (1).

306. Service revolution in South Asia

by Ghani, Ejaz, ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 382p.Publisher: New Delhi Oxford University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 338.40954 Se69] (1).

307. Enterprise cloud computing : technology, architecture, applications

by Shroff, Gautam.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 273p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 Sh87e] (2).

308. The future of software engineering

by | Nanz, Sebastian, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: 184p.Publisher: Heidelberg Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 F989s] (1).

309. Software development : an open source approach

by Tucker, Allen | Morelli, Ralph.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiv, 370p.Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.3 T795s] (1).

310. Software modeling and design : UML, use cases, patterns, and software architectures

by Gomaa, Hassan.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxv, 550p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.3 G584s] (1).

311. Come, let's play : scenario-based programming using LSCs and the play-engine

by Harel, David | Marelly, Rami.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 382p.Publisher: Berlin Springer 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 H222c] (1).

312. The computer graphics manual [2 vol.]

by Salomon, David.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2 v. (xxiii, 1502p.).Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6 Sa36c] (2).

313. Specification of software systems

by Alagar, V.S | Periyasamy, K.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxv, 644p.Publisher: London Springer-Verlag 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 Al11s2] (1).

314. Rigorous software development : an introduction to program verification

by Almeida, Jose Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 263p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 R449] (1).

315. Agile software development : the cooperative game

by Cockburn, Alistair.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxxiv, 467p.Publisher: New Jersey Addison-Wesley 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C64a2] (1).

316. Designing data-intensive web applications

by Ceri, Stefano ...[Et Al.] | Fraternali, Piero | Bongio, Aldo | Brambilla, Marco.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxix, 562p.Publisher: Amsterdam Morgan Kaufmann Publishers 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.276 D46] (1).

317. OpenCV 2 computer vision application programming cookbook : over 50 recipes to master this library of programming functions for real-time computer vision

by Laganiere, Robert.

Material type: book Book; Format: print ; Literary form: not fiction Description: 287p.Publisher: Birmingham Packt Publishing 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.37 L135o] (1).

318. Practical software testing : a process-oriented appoach

by Burnstein, Ilene.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 709p.Publisher: New Delhi Springer 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.14 B937p] (1).

319. Aspect-oriented, model-driven software product lines : the AMPLE way

by | Rashid, Awais, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi, 464p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 As63] (1).

320. How to build a business rules engine : extending application functionality through metadata engineering

by Chisholm, Malcolm.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxv, 484p.Publisher: Amsterdam Elsevier 2004Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C447h] (1).

Powered by Koha