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
|
981.
MACHINE VISION

by Vernon,David.

Material type: book Book Description: xiii,260.Publisher: Prentice-Hall, New York c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 V598A] (1).

Place hold Add to cart
982.
INFORMATION-THEORETIC INCOMPLETENESS

by Chaitin, G. J.

Material type: book Book Description: viii,227.Publisher: Singapore World Scientific c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C349i] (1).

Place hold Add to cart
983.
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
984.
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
985.
PRACTICAL PARALLEL PROGRAMMING

by Bauer, Barr E.

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

Place hold Add to cart
986.
ESSENTIALS OF PROGRAMMING LANGUAGES

by Friedman, Daniel P | Haynes, Christopher.

Material type: book Book Description: 536.Publisher: Cambridge Mit Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 F914e] (3).

Place hold Add to cart
987.
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
988.
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
989.
PARALLEL COMPUTERS

by Treleaven, P. C.

Material type: book Book Description: xvi,927.Publisher: Chichester John Wiley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P212c] (1).

Place hold Add to cart
990.
Logic programming and non - monotonic reasoning : proceedings of the first International Workshop

by | International Workshop ( 1991 : Washington, D.C.) | Nerode, Anil, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi, 288p.Publisher: Cambridge Mit Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 L829] (1).

Place hold Add to cart
992.
MATHEMATICAL PRELIMINARIES FOR COMPUTER NETWORKING

by Claiborne, J. David.

Material type: book Book Description: ix,180.Publisher: New York John Wiley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 C525m] (1).

Place hold Add to cart
993.
PROGRAMMING LANGUAGE THEORY AND ITS IMPLEMENTATION

by Gordon, Michael J. C.

Material type: book Book Description: xiv,255.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G657p] (1).

Place hold Add to cart
994.
INTRODUCTION TO FUNCTIONAL PROGRAMMING THROUGH LAMBDA CALCULUS

by Michaelson, Greg.

Material type: book Book Description: xv,320.Publisher: Wokingham Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M582i] (1).

Place hold Add to cart
995.
LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING

by Gelernter, David, Nicolan, Alexander | Padua, David.

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

Place hold Add to cart
996.
AVENTURE IN PROGRAMMING TECHNIQUES

by Mitchell, David.

Material type: book Book Description: xvi,296.Publisher: Wokingham Addison-Wesley c1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M692a] (1).

Add to cart
997.
RESEARCH TOPICS IN FUNCTIONAL PROGRAMMING

by Turner, David A.

Material type: book Book Description: xv,373.Publisher: Reading, Mass. Addison-Wesley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R311t] (1).

Place hold Add to cart
998.
Logic programming : Proceedings of the eighth international conference

by | Furukawa, Koichi, Ed.

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

Place hold Add to cart
999.
Principles of functional programming

by Glaser, Hugh | Hankin, Chris | Till, David.

Material type: book Book; Literary form: Description: xi, 251p.Publisher: Englewood Cliffs, New Jersey Prentice Hall 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 G462p] (1).

Place hold Add to cart
1000.
DYNAMIC, GENETIC AND CHAOTIC PROGRAMMING

by Soucek, Branko | Iris Group.

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

Place hold Add to cart

Powered by Koha