PKK Library catalog › Results of search for 'au:"DasGupta, Pallab."'

	1.	A Roadmap for Formal Property Verification : [electronic resource] / by DasGupta, Pallab [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: not fiction Description: XIV, 252 p. online resource.Publisher: Dordrecht : Springer Netherlands, 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)
	2.	Multiobjective heuristic search : an introduction to intelligent search methods for multicriteria optimization by Dasgupta, Pallab \| DeSarkar, S. C \| Chakrabarti, P. P. Material type: Book; Format: print ; Literary form: not fiction Description: 134p.Publisher: Vieweg Germany 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 D26m] (1). Place hold Add to cart (remove)

PKK Library