PKK Library

Your cart is empty.

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

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
1.
PAI CALCULUS

by Sangiorgi,Davide | Walker,David.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,580.Publisher: Cambridge Univ. Press, Cambridge 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.6 SA58P] (1).

Place hold Add to cart
2.
Advanced topics in bisimulation and coinduction

by | Sangiorgi, Davide, Ed.

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

Place hold Add to cart

Powered by Koha