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

Your search returned 316 results. Subscribe to this search

|
281. Surface Waves in Geomechanics: Direct and Inverse Modelling for Soils and Rocks : [electronic resource] /

by Lai, Carlo G [editor.] | Wilmański, Krzysztof [editor.] | SpringerLink (Online service).

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

282. Recent Advances in Memetic Algorithms : [electronic resource] /

by Hart, William E [editor.] | Smith, J. E [editor.] | Krasnogor, N [editor.] | SpringerLink (Online service).

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

283. Production Planning by Mixed Integer Programming : [electronic resource] /

by Pochet, Yves [author.] | Wolsey, Laurence A [author.] | SpringerLink (Online service).

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

284. Automatic Differentiation: Applications, Theory, and Implementations : [electronic resource] /

by Bücker, Martin [editor.] | Corliss, George [editor.] | Naumann, Uwe [editor.] | Hovland, Paul [editor.] | Norris, Boyana [editor.] | SpringerLink (Online service).

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

285. Python Scripting for Computational Science : [electronic resource] /

by Langtangen, Hans Petter [author.] | SpringerLink (Online service).

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

286. Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms : [electronic resource] /

by Kogel, Tim [author.] | Leupers, Rainer [author.] | Meyr, Heinrich [author.] | SpringerLink (Online service).

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

287. Advances in Systems, Computing Sciences and Software Engineering : Proceedings of SCSS05 / : [electronic resource] :

by Sobh, Tarek [editor.] | Elleithy, Khaled [editor.] | SpringerLink (Online service).

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

288. System Software Reliability : [electronic resource] /

by Pham, Hoang [author.] | SpringerLink (Online service).

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

289. Parallel and Distributed Logic Programming : Towards the Design of a Framework for the Next Generation Database Machines / : [electronic resource] :

by Bhattacharya, Alakananda [author.] | Konar, Amit [author.] | Mandal, Ajit K [author.] | SpringerLink (Online service).

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

290. Compiling Esterel : [electronic resource] /

by Potop-Butucaru, Dumitru [author.] | Edwards, Stephen A [author.1] | Berry, G�rard [author.2 ] | SpringerLink (Online service)0.

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

291. Design for Manufacturability and Yield for Nano-Scale CMOS : [electronic resource] /

by Chiang, Charles C [author.] | Kawa, Jamil [author.] | SpringerLink (Online service).

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

292. Optimized ASIP Synthesis from Architecture Description Language Models : [electronic resource] /

by Schliebusch, Oliver [author.] | Meyr, Heinrich [author.] | Leupers, Rainer [author.] | SpringerLink (Online service).

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

293. Real-Time Object Uniform Design Methodology with UML : [electronic resource] /

by Duc, Bui Minh [editor.] | SpringerLink (Online service).

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

294. Introduction to Reconfigurable Computing : Architectures, Algorithms, and Applications / : [electronic resource] :

by Bobda, Christophe [editor.] | SpringerLink (Online service).

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

295. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 / : [electronic resource] :

by Ramesh, S [editor.] | Sampath, Prahladavaradan [editor.] | SpringerLink (Online service).

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

296. Advances and Innovations in Systems, Computing Sciences and Software Engineering : [electronic resource] /

by Elleithy, Khaled [editor.] | SpringerLink (Online service).

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

297. Fine- and Coarse-Grain Reconfigurable Computing : [electronic resource] /

by Vassiliadis, Stamatis [editor.1] | Soudris, Dimitrios [editor.2] | SpringerLink (Online service)0.

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

298. Enterprise Interoperability : New Challenges and Approaches / : [electronic resource] :

by Doumeingts, Guy [editor.] | Müller, Jörg [editor.] | Morel, Gérard [editor.] | Vallespir, Bruno [editor.] | SpringerLink (Online service).

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

299. Enterprise Interoperability II : New Challenges and Approaches / : [electronic resource] :

by Gonçalves, Ricardo J [editor.] | Müller, Jörg P [editor.] | Mertins, Kai [editor.] | Zelm, Martin [editor.] | SpringerLink (Online service).

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

300. LabVIEW based Advanced Instrumentation Systems : [electronic resource] /

by Sumathi, S [author.] | Surekha, P [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 728 p. 488 illus., 72 illus. in color. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha