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

Your search returned 3 results. Subscribe to this search

|
1. COMPUTABILITY WITH PASCAL

by Mallozzi, John S | De Lillo, Nicholas J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,193.Publisher: Englewood Cliffs Prentice-Hall 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M297c] (1).

2. Logic and computation : interactive proof with Cambridge LCF

by Paulson, Lawrence C.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 302p.Publisher: Cambridge Cambridge University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P285l] (1).

3. NETWORKS AND GRAPHS

by Smith,David K.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,193.Publisher: Horwood Publishing, Chichester 2003Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.5 SM54N] (1).

Powered by Koha