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

Your search returned 3 results. Subscribe to this search

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

2. Pattern recognition : an algorithmic approach

by Murty, M. Narasimha | Devi, V. Susheela.

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

3. Communications and networking : an introduction

by Cowley, John.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xix, 251p.Publisher: London Springer-Verlag 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 C839c2] (1).

Powered by Koha