PKK Library

Your cart is empty.

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

Your search returned 46 results. Subscribe to this search

Unhighlight Highlight
|
41.
Abstraction, Refinement and Proof for Probabilistic Systems : [electronic resource] /

by McIver, Annabelle [author.] | Morgan, Carroll [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 388 p. 63 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
42.
Geometric Fundamentals of Robotics : [electronic resource] /

by Selig, J. M [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 398 p. 32 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
43.
Adapting Proofs-as-Programs : The Curry-Howard Protocol / : [electronic resource] :

by Poernomo, Iman Hafiz [author.] | Wirsing, Martin [author.] | Crossley, John Newsome [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 420 p. 54 illus. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
44.
Software Configuration Management Using Vesta : [electronic resource] /

by Heydon, Allan [author.] | Mann, Timothy [author.] | Levin, Roy [author.] | Yu, Yuan [author.] | SpringerLink (Online service).

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

Place hold Add to cart
45.
Computational Geometry [Perpetual] : an Introduction

by Preparata, Franco P | Shamos, Michael Ian.

Description: xiv, 400p.Publisher: New York 9781461210986 1985Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
46.
The design and analysis of algorithms [Perpetual access]

by Kozen, Dexter C.

Description: x, 322p.Publisher: New York Springer 1992Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K849d] (1).

Place hold Add to cart

Powered by Koha