PKK Library catalog › Results of search for 'se,phr:"Monographs in Computer Science,"'

Refine your search

Availability
- Limit to currently available items.
Authors
- Alagic, Suad (3)
- Arbib, Michael A. (3)
- Kozen, Dexter C. (4)
- Preparata, Franco P. (5)
- Shamos, Michael Ian (6)
- Show more
Holding libraries
- PK Kelkar Library, IIT Kanpur (46)
Home libraries
- PK Kelkar Library, IIT Kanpur (46)
Item types
- Books (38)
- E books (9)
- Text Books (1)
Series
Topics
- Computer Science. (5)
- Computer science. (5)
- Computers. (4)
- Geometry -- Data Processing (5)
- Software Engineering/Programming and Operating Systems. (4)
- Show more

	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; Format: electronic available online ; 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 (remove)
	42.	Geometric Fundamentals of Robotics : [electronic resource] / by Selig, J. M [author.] \| SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format: electronic available online ; 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 (remove)
	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; Format: electronic available online ; 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 (remove)
	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; Format: electronic available online ; 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 (remove)
	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 (remove)
	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 (remove)

PKK Library

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

Refine your search

Authors

Item types

Series

Topics