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

Your search returned 2 results. Subscribe to this search

|
1. Decision Procedures : An Algorithmic Point of View / : [electronic resource] :

by Kroening, Daniel [author.] | Strichman, Ofer [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 306 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2. Decision Procedures [2nd ed.] [Perpetual] : an algorithmic point of view

by Kroening, Daniel | Strichman, Ofer.

Edition: 2nd ed. Description: xxi, 356p.Publisher: Berlin Springer-Verlag 2016Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.542 K913d2] (1).

Powered by Koha