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

Refine your search

Your search returned 2363 results. Subscribe to this search

|
801. Wiley encyclopedia of computer science and engineering [5v.]

by Wah, Benjamin W. [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: 5 v. (xviii, 3223 p.).Publisher: New Jersey John Wiley & Sons 2009Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 004.03 W648] (5).

802. Fundamental problems in computing : essays in Honor of Professor Daniel J. Rosenkrantz

by Ravi, S.S. [ed.] | Shukla, Sandeep K. [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 515p.Publisher: New York Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 F962] (1).

803. Programming massively parallel processors : a hands-on approach

by Kirk, David B | Hwu, Wen-Mei W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 258p.Publisher: Amsterdam Elsevier 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 K634p] (1). Checked out (1).

804. Fundamental concepts in computer science

by | Gelenbe, Erol, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 159p.Publisher: London Imperial College Press 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 F962] (1).

805. Process neural networks : theory and applications

by He, Xingui | Xu, Shaohua.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 240p.Publisher: New York Springer 2009Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 H34p] (1).

806. Discrete mathematics : proofs, structures, and applications

by Garnier, Rowan | Taylor, John.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxi, 821p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 G188d3] (1).

807. Hashing in computer science : fifty years of slicing and dicing

by Konheim, Alan G.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 386p.Publisher: New Jersey John Wiley & Sons 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.82 K836h] (1).

808. Great ideas in computer science : a gentle introduction

by Biermann, Alan W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 446p.Publisher: Cambridge The MIT Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 B477g] (1).

809. Pearls of functional algorithm design

by Bird, Richard.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 277p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.31 B532p] (1).

810. Handbook of face recognition

by | Li, Stan Z., Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 395p.Publisher: New York Springer Science+Business Media 2005Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.42 H191f] (2).

811. Explorations in computing : an introduction to computer science

by Conery, John S.

Material type: book Book; Format: print ; Literary form: not fiction Description: xix, 370p.Publisher: Boca Raton Crc Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 C757e] (1).

812. Discrete calculus : applied analysis on graphs for computational science

by Grady, Leo J | Polimeni, Jonathan R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 366p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 518.1 G178d] (1).

813. Relational mathematics

by Schmidt, Gunther.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 567p.Publisher: Cambridge Cambridge University Press 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 Sch53r] (1).

814. Handbook of natural language processing

by | Indurkhya, Nitin, Ed.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xxiii, 678p.Publisher: Boca Raton Crc Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 H191n2] (1).

815. Complex intelligent systems and their applications

by | Xhafa, Fatos, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 271p.Publisher: New York Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 C738] (1).

816. Neural-based orthogonal data fitting : the EXIN neural networks

by Cirrincione, Giansalvo | Cirrincione, Maurizio.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 243p.Publisher: Hoboken John Wiley 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.32 C496n] (1).

817. Modeling in event-B : system and software engineering

by Abrial, Jean-Raymond.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxvi, 586p.Publisher: Cambridge Cambridge University Press 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 Ab87m] (1).

818. Introduction to software process improvement

by O'Regan, Gerard.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 246p.Publisher: London Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.10685 Or3i] (1).

819. Proofs and algorithms : an introduction to logic and computability

by Dowek, Gilles.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 155p.Publisher: Berlin Springer 2011Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 D753p] (1).

820. Neural networks in a softcomputing framework

by Du, K.L | Swamy, M.N.S.

Material type: book Book; Format: print ; Literary form: not fiction Description: l, 566p.Publisher: Berlin Springer 2010Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 D85n] (1).

Powered by Koha