PKK Library

Your cart is empty.

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

Your search returned 17 results. Subscribe to this search

Unhighlight Highlight
|
1.
NETS, TERMS AND FORMULAS

by Olderog, E. R.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,267.Publisher: Cambridge Cambridge Univ. Pr. 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511 O11n] (1).

Place hold Add to cart
2.
Logic and computation : interactive proof with Cambridge LCF

by Paulson, Lawrence C.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 302p.Publisher: Cambridge Cambridge University Press 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P285l] (1).

Place hold Add to cart
3.
Understanding Z : a specification language and its formal semantics

by Spivey, J. M.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,131p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sp49u] (1).

Place hold Add to cart
4.
Mathematics for computer graphics

by Hoggar, S. G.

Material type: book Book Description: xviii, 472p.Publisher: Cambridge Cambridge University press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.6 H679m] (1).

Place hold Add to cart
5.
ACTION SEMANTICS

by Mosses, Peter D.

Material type: book Book Description: xx,372.Publisher: Cambridge Cambridge Univ. Pr. c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 M855a] (1).

Place hold Add to cart
6.
Two-level functional languages

by Nielson, Fleming | Nielson, Hanne Riis.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 299p.Publisher: Cambridge Cambridge University Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 N554t] (1).

Place hold Add to cart
7.
COMPUTATIONAL LEARNING THEORY

by Anthony, Martin | Biggs, Norman.

Material type: book Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006 AN87C] (1).

Place hold Add to cart
8.
LOGIC OF TYPED FEATURE STRUCTURES

by Carpenter, Bob.

Material type: book Book Description: viii,270.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.73 C225L] (1).

Place hold Add to cart
9.
Formal methods in artificial intelligence

by Ramsay, Allan.

Material type: book Book Description: ix, 279p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R149f] (1).

Place hold Add to cart
11.
METAMATHEMATICS MACHINES AND GODELS PROOF

by Shankar,N.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,202.Publisher: Cambridge Univ. Press, Cambridge 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 SH18M] (1).

Place hold Add to cart
12.
TOPOLOTY VIA LOGIC

by Vickers, Steven.

Material type: book Book Description: 200.Publisher: Cambridge Cambridge Univ. Pr. c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 514 V663t] (1).

Place hold Add to cart
13.
The clausal theory of types

by Wolfram, D. A.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W833c] (1).

Place hold Add to cart
14.
PREDICATE TRANSFORMER SEMANTICS

by Manes, Ernest G.

Material type: book Book Description: 223.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M313p] (1).

Add to cart
15.
FORMAL SPECIFICATION AND DESIGN

by Feijs, L. M. G | Jonkers, H. B. M.

Material type: book Book Description: xvi,335.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 F324f] (1).

Place hold Add to cart
16.
Advanced topics in bisimulation and coinduction

by | Sangiorgi, Davide, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 326p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015113 Ad95] (1).

Place hold Add to cart
17.
Nominal sets : names and symmetry in computer science

by Pitts, Andrew M.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 276p.Publisher: Cambridge Cambridge University Press 2013Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.114 P687n] (1).

Place hold Add to cart

Powered by Koha