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

Your search returned 49 results. Subscribe to this search

|
21. Object-oriented software construction

by Meyer, Bertrand.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxvii, 1254p.Publisher: New Jersey Prentice-Hall International 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.117 M575o2] (1).

22. PLANNING EXTREME PROGRAMMING .

by Beck,Kent | Fowler,Martin.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii,139.Publisher: Addison-Wesley, Boston 2001Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.3 B388P] (1).

23. EXTREME PROGRAMMING

by Auer,Ken | Miller,Roy.

Material type: book Book; Format: print ; Literary form: not fiction Description: xlix,326.Publisher: Addison-Wesley, Boston 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 AU34E] (1).

24. EXTREME PROGRAMMING EXPLORED

by Wake,William C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxv,159.Publisher: Addison-Wesley, Boston 2002Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 W137E] (1).

25. ADVANCED SYSTEMS DESIGN WITH JAVA, UML AND MDA

by Lano,Kevin.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,378.Publisher: Elsevier Butterworth-Heinemann, Burlington, Ma 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 L28A] (1).

26. DEVELOPING MULTI-AGENT SYSTEMS WITH JADE

by Bellifemine,Fabio,Caire,Giovanni | Greenwood,Dominic.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,286.Publisher: John Wiley And Sons Ltd., Chichester 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 B417D] (1).

27. Embedded software

by Labrosse, Jean.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi.Publisher: Amsterdam Elsevier 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.26 Em13] (1).

28. Software visualization

by Diehl, Stephan.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 187p.Publisher: Berlin Springer-Verlag 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 D563s] (1).

29. A concise introduction to languages and machines

by Parkes, Alan P.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii, 343p.Publisher: London Springer 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005 P229c] (1).

30. 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).

31. Modern software tools for scientific computing

by | Arge Erlend, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: 380p.Publisher: Boston Birkhauser 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 502.855 M72] (1).

32. Introduction to reliable and secure distributed programming

by Cachin, Christian | Guerraoui, Rachid.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xix, 367p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39 C113i2] (1).

33. Software Verification and Validation : An Engineering and Scientific Approach / : [electronic resource] :

by Fisher, Marcus S [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 172 p. 20 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

34. More Math Into Latex : 4th Edition / : [electronic resource] :

by Grätzer, George [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXIV, 620 p. 44 illus. online resource.Publisher: New York, NY : Springer New York, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

35. The Basics of S-PLUS : [electronic resource] /

by Krause, Andreas [author.] | Olson, Melvin [author.] | SpringerLink (Online service).

Edition: Fourth Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXII, 444 p. 31 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

36. Design of Adaptive Finite Element Software : The Finite Element Toolbox ALBERTA. : [electronic resource] :

by SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 315 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

37. Getting Started with MuPAD : [electronic resource] /

by Majewski, Miroslaw [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 263 p. 138 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

38. The Mathematica GuideBook for Numerics : [electronic resource] /

by Trott, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXXVI, 1208 p. 789 illus. online resource.Publisher: New York, NY : Springer New York : Imprint: Springer, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

39. The Mathematica GuideBook for Symbolics : [electronic resource] /

by Trott, Michael [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: LV, 1454 p. online resource.Publisher: New York, NY : Springer New York, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

40. Global Optimization : From Theory to Implementation / : [electronic resource] :

by Liberti, Leo [editor.] | Maculan, Nelson [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 428 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha