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

Your search returned 23 results. Subscribe to this search

|
1. Software reusability (2 vol.)

by Biggerstaff, Ted J., Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2v. various paging.Publisher: New York Acm Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 So23] (2).

2. Domain- specific application frameworks : frameworks experience by industry

by Fayad, Mohamed E | Johnson, Ralph E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 681p.Publisher: Newyork Wiley Computer Publishing 2000Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 D711] (1).

3. Building application frameworks : object-oriented foundations of framework design

by Fayad, Mohamed E | Johnson, Ralph E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiii, 664p.Publisher: New York Wiley Computer Publishing 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.117 B868] (1).

4. Implementing application frameworks : object-oriented frameworks at work

by Fayad, Mohamed E | Johnson, Ralph E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 729p. + 1 CD-ROM.Publisher: New York Wiley Computer Publishing 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.117 Im7] (1).

5. REUSE-BASED METHODOLGIES AND TOOLS IN THE DESIGN OF ANALOG AND MIXED-SIGNAL INTEGRATED CIRCUITS

by Castro-Lopez,R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,393.Publisher: Springer, Aa Dordrecht 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 R319] (1).

6. Formal Aspects in Security and Trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / : [electronic resource] :

by Dimitrakos, Theo [editor.] | Martinelli, Fabio [editor.] | SpringerLink (Online service).

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

7. Computational Intelligence in Fault Diagnosis : [electronic resource] /

by Palade, Vasile [editor.] | Jain, Lakhmi [editor.] | Bocaniala, Cosmin Danut [editor.] | SpringerLink (Online service).

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

8. Autonomous Systems – Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008 / : [electronic resource] :

by Mahr, Bernd [editor.] | Huanye, Sheng [editor.] | SpringerLink (Online service).

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

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

10. Responsibility and Dependable Systems : [electronic resource] /

by Dewsbury, Guy [editor.] | Dobson, John [editor.] | SpringerLink (Online service).

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

11. Guerrilla Capacity Planning : A Tactical Approach to Planning for Highly Scalable Applications and Services / : [electronic resource] :

by Gunther, Neil J [author.] | SpringerLink (Online service).

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

12. Innovation in Manufacturing Networks : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008 / : [electronic resource] :

by Azevedo, Américo [editor.] | SpringerLink (Online service).

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

13. Performance Modeling and Engineering : [electronic resource] /

by Liu, Zhen [editor.] | Xia, Cathy H [editor.] | SpringerLink (Online service).

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

14. Multiaccess, Reservations & Queues : [electronic resource] /

by Denteneer, Dee [author.] | Leeuwaarden, Johan S. H. van [author.] | SpringerLink (Online service).

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

15. Stochastic Ageing and Dependence for Reliability : [electronic resource] /

by Lai, Chin-Diew [author.] | Xie, Min [author.] | SpringerLink (Online service).

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

16. Extreme Man-Made and Natural Hazards in Dynamics of Structures : [electronic resource] /

by Ibrahimbegovic, Adnan [editor.] | Kozar, Ivica [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VIII, 294 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Other title: Proceedings of the NATO Advanced Research Workshop on Extreme Man-Made and Natural Hazards in Dynamics of Structures, Opatija, Croatia, 28 May - 1 June 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

17. Gizopoulos / Advances in ElectronicTesting : [electronic resource] /

by Gizopoulos, Dimitris [editor.] | SpringerLink (Online service).

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

18. Fault-Tolerance Techniques for SRAM-based FPGAs : [electronic resource] /

by Kastensmidt, Fernanda Lima [author.] | Carro, Luigi [author.] | Reis, Ricardo [author.] | SpringerLink (Online service).

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

19. Software-Implemented Hardware Fault Tolerance : [electronic resource] /

by Goloubeva, Olga [author.] | Rebaudengo, Maurizio [author.] | Reorda, Matteo Sonza [author.] | Violante, Massimo [author.] | SpringerLink (Online service).

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

20. Embedded Systems – Modeling, Technology, and Applications : [electronic resource] /

by Hommel, Günter [editor.] | Huanye, Sheng [editor.] | SpringerLink (Online service).

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

Powered by Koha