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

Your search returned 267 results. Subscribe to this search

|
161. Supply Chain Management on Demand : Strategies, Technologies, Applications / : [electronic resource] :

by An, Chae [editor.] | Fromm, Hansjörg [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 332 p. 87 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Other title: With contributions by numerous experts.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

162. Web Component Development with Zope 3 : [electronic resource] /

by Weitershausen, Philipp von [author.] | SpringerLink (Online service).

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

163. Model-Driven Software Development : [electronic resource] /

by Beydeda, Sami [editor.] | Book, Matthias [editor.] | Gruhn, Volker [editor.] | SpringerLink (Online service).

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

164. Introduction to Reliable Distributed Programming : [electronic resource] /

by Guerraoui, Rachid [author.] | Rodrigues, Lu�s [author.2 ] | SpringerLink (Online service)0.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Powered by Koha