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

Your search returned 155 results. Subscribe to this search

|
61. Software Product Line Engineering : Foundations, Principles, and Techniques / : [electronic resource] :

by Pohl, Klaus [author.] | Böckle, Günter [author.] | Linden, Frank van der [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVI, 467 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).

62. Software Engineering 1 : Abstraction and Modelling / : [electronic resource] :

by Bj�rner, Dines [author.1] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XL, 714 p. 38 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

63. Differential Evolution : A Practical Approach to Global Optimization / : [electronic resource] :

by Price, Kenneth V [author.] | Storn, Rainer M [author.] | Lampinen, Jouni A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIX, 539 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).

64. Multiagent Engineering : Theory and Applications in Enterprises / : [electronic resource] :

by Kirn, Stefan [editor.] | Herzog, Otthein [editor.] | Lockemann, Peter [editor.] | Spaniol, Otto [editor.] | SpringerLink (Online service).

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

65. Distributed Event-Based Systems : [electronic resource] /

by Mühl, Gero [author.] | Fiege, Ludger [author.] | Pietzuch, Peter [author.] | SpringerLink (Online service).

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

66. Software Engineering 2 : Specification of Systems and Languages / : [electronic resource] :

by Bj�rner, Dines [author.1] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 780 p. 151 illus. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

67. Software Engineering 3 : Domains, Requirements, and Software Design / : [electronic resource] :

by Bjøner, Dines [author.] | SpringerLink (Online service).

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

68. High Availability and Disaster Recovery : Concepts, Design, Implementation / : [electronic resource] :

by Schmidt, Klaus [author.] | SpringerLink (Online service).

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

69. Ontologies for Agents: Theory and Experiences : [electronic resource] /

by Tamma, Valentina [editor.] | Cranefield, Stephen [editor.] | Finin, Timothy W [editor.] | Willmott, Steven [editor.] | SpringerLink (Online service).

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

70. Embedded Systems Specification and Design Languages : Selected contributions from FDL’07 / : [electronic resource] :

by Villar, Eugenio [editor.] | SpringerLink (Online service).

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

71. Ingredients for Successful System Level Design Methodology : [electronic resource] /

by Patel, Hiren D [author.] | Shukla, Sandeep K [author.] | SpringerLink (Online service).

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

72. Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics : [electronic resource] /

by Sobh, Tarek [editor.] | Elleithy, Khaled [editor.] | Mahmood, Ausif [editor.] | Karim, Mohammad A [editor.] | SpringerLink (Online service).

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

73. Recent Advances in Evolutionary Computation for Combinatorial Optimization : [electronic resource] /

by Cotta, Carlos [editor.] | Hemert, Jano van [editor.] | SpringerLink (Online service).

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

74. Automatic Quantum Computer Programming : A Genetic Programming Approach / : [electronic resource] :

by Spector, Lee [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 154 p. 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).

75. Software Engineering Techniques: Design for Quality : [electronic resource] /

by Sacha, Krzysztof [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 378 p. 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).

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

77. Genetic Programming Theory and Practice IV : [electronic resource] /

by Riolo, Rick [editor.] | Soule, Terence [editor.] | Worzel, Bill [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 338 p. 200 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).

78. Visual Languages and Applications : [electronic resource] /

by Zhang, Kang [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 246 p. 109 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).

79. Distributed and Parallel Systems : From Cluster to Grid Computing / : [electronic resource] :

by Kacsuk, P�ter [editor.1 ] | [editor.1 ] | [editor.2 ] | .

Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 223 p. 64 illus. online resource.Boston, MA : Springer US, 2007. Online access: Click here to access online Availability: Items available for loan: (1).

80. Open Source Development, Adoption and Innovation : IFIP Working Group 2.13 on Open Source Software, June 11–14, 2007, Limerick, Ireland / : [electronic resource] :

by Feller, Joseph [editor.] | Fitzgerald, Brian [editor.] | Scacchi, Walt [editor.] | Sillitti, Alberto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVIII, 392 p. 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).

Powered by Koha