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

Your search returned 5 results. Subscribe to this search

|
1. THE DECISION PROBLEM

by Dreben, Burton | Goldfarb, Warren D.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,271.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 D81] (1).

2. DEGREES OF UNSOLVABILITY

by Lerman, Manuel.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).

3. UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS

by Lewis, Harry R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,198.Publisher: Reading, Mass. Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L586u] (1).

4. DEGREES OF UNSOLVABILITY

by Lerman, Manuel.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,307.Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 L562d] (1).

5. Impossibility results for distributed computing /

by Attiya, Hagit [author.] | Ellen, Faith [author.].

Material type: book Book; Format: available online remote; Literary form: not fiction ; Audience: Specialized; Description: 1 PDF (xv, 146 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha