PKK Library

Your cart is empty.

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

Your search returned 9 results. Subscribe to this search

Unhighlight Highlight
|
1.
CATEGORICAL COMBINATORS, SEQUENTIAL ALGORITHMS AND FUNCTIONAL PROGRAMMING

by Curien, P. L.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,300.Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C925c] (1).

Place hold Add to cart
2.
PARALLEL COMPLEXITY THEORY

by Parberry, Ian.

Material type: book Book; Format: print ; Literary form: not fiction Description: 200.Publisher: London Pitman 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 P213p] (1).

Place hold Add to cart
3.
CONONICAL FORMS IN FINITELY PRESENTED ALGEBRAS

by Le Chenadec, Philippe.

Material type: book Book; Format: print ; Literary form: not fiction Description: 201.Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512 L46c] (1).

Place hold Add to cart
4.
STUDIES IN COMPLEXITY THEORY

by Book, Ronald V.

Material type: book Book; Format: print ; Literary form: not fiction Description: 226.Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 St94] (1).

Place hold Add to cart
5.
COMPUTATION

by Hong, Jia-Wei.

Material type: book Book; Format: print ; Literary form: not fiction Description: 236.Publisher: Pitman, Wiley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.40285 J56c] (1).

Place hold Add to cart
6.
STUDIES IN COMPLEXITY THEORY

by Book, Ronald V.

Material type: book Book; Format: print ; Literary form: not fiction Description: 226.Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 St94] (1).

Place hold Add to cart
7.
AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS

by Thistlewaite, Paul B | Meyer, Robert K.

Material type: book Book Description: 154.Publisher: London Pitman c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 T349a] (1).

Place hold Add to cart
8.
STUDIES IN COMPLEXITY THEORY

by Book, Ronald V.

Material type: book Book; Format: print ; Literary form: not fiction Description: 226.Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 St94] (1).

Place hold Add to cart
9.
Fully abstract models of programming languages

by Stoughton, Allen.

Material type: book Book; Format: print ; Literary form: not fiction Description: 123p.Publisher: London Pitman Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 St76f] (1).

Place hold Add to cart

Powered by Koha