PKK Library

Your cart is empty.

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

Your search returned 2255 results. Subscribe to this search

Unhighlight Highlight
|
1141.
Computing with logic : logic programming with Prolog

by Maier, David | Warren, David S.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 535p.Publisher: California Benjamin/Cummings Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M281c] (1).

Place hold Add to cart
1142.
Functional programming : practice and theory

by Maclennan, Bruce J.

Material type: book Book Description: xii, 596p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M224f] (1).

Place hold Add to cart
1143.
Functional programming : practice and theory

by Maclennan, Bruce J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 596p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M224f] (1).

Place hold Add to cart
1144.
Programming logics : an introduction to verification and semantics

by Gumb, Raymond D.

Material type: book Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: No items available Checked out (1).

Place hold Add to cart
1145.
OBJECT-ORIENTED CONCEPTS, DATABASES AND APPLICATIONS

by Kim, Won | Lochovsky, Frederich H.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,602.Publisher: New York Acm Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob3] (1).

Place hold Add to cart
1146.
Logic and computer science

by Odifreddi, Piergiorgio [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: viii, 430p.Publisher: London Academic Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829] (1).

Place hold Add to cart
1147.
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
1148.
Implementation of functional programming languages

by Jones, Simon L. Peyton.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 445p.Publisher: London Prentice-Hall International Pub. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 J69i] (1).

Place hold Add to cart
1149.
INTRODUCTION TO SYSTEM SOFTWARE

by Dhamdhere, D. M.

Material type: book Book Description: viii,400.Publisher: New Delhi Tata Mcgraw-Hill c1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 D535i] (1).

Place hold Add to cart
1150.
UNIX and C : a tutorial introduction

by Cornes, Philip.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 270p.Publisher: London Van Nostrand Reinhold (International) 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 C815u] (1).

Place hold Add to cart
1151.
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL

by Schneider, G. Michael | Perlman, David M.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).

Add to cart
1152.
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL

by Schneider, G. Michael | Perlman, David M.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).

Place hold Add to cart
1153.
An introduction to programming and problem solving with pascal

by Schneider, G. Michael | Perlman, David M.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: ix,467p.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).

Place hold Add to cart
1154.
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL

by Schneider, G. Michael | Perlman, David M.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).

Add to cart
1155.
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL

by Schneider, G. Michael | Perlman, David M.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).

Add to cart
1156.
Principles of visual programming systems

by | Chang, Shi-Kuo, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix, 372p.Publisher: Englewood Cliffs, New Jersey Prentice Hall 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P935c] (1).

Place hold Add to cart
1157.
Guidebook to Fortran on supercomputers

by Levesque, John M | Williamson, Joel W.

Material type: book Book Description: vii, 218p.Publisher: San Diego Academic Press 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L577g] (1).

Place hold Add to cart
1158.
PARALLEL PROGRAMMING AND COMPILERS

by Polychronopoulos, C. D.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,240.Publisher: Boston Kluwer 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P768p] (1).

Place hold Add to cart
1159.
COMPUTER-AIDED SOFTWARE ENGINEERING

by Gane, Chris.

Material type: book Book Description: xiv,220.Publisher: Englewood Cliffs Prentice Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 G154c] (1).

Place hold Add to cart
1160.
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

Powered by Koha