PKK Library

Your cart is empty.

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

Your search returned 46 results. Subscribe to this search

Unhighlight Highlight
|
1.
Algebraic approaches to program semantics

by Manes, Ernest G | Arbib, Michael A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 351p.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M313a] (1).

Place hold Add to cart
2.
PROGRAMMING METHODOLOGY

by Gries, David.

Material type: book Book; Format: print ; Literary form: not fiction Description: 417.Publisher: New York Springer Verlag 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P943] (1).

Place hold Add to cart
3.
Selected writings on computing : a personal perspective

by Dijkstra, Edsger W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 362p.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D569s] (1).

Place hold Add to cart
4.
METHODS AND APPLICATIONS OF ERROR-FREE COMPUTATION

by Gregory, Robert Todd | Krishnamurthy, R. T.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,194.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.40285 G862m] (1).

Place hold Add to cart
5.
METHODS AND APPLICATIONS OF ERROR-FREE COMPUTATION

by Gregory, Robert Todd | Krishnamurthy, R. T.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,194.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.40285 G862m] (1).

Place hold Add to cart
6.
Selected writings on computing : a personal perspective

by Dijkstra, Edsger W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 362p.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 B489s] (1).

Place hold Add to cart
7.
ADAPTIVE INFORMATION PROCESSING

by Sampson, Jeffrey R.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,274.Publisher: New York Springer-Verlag 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 Sa48a] (1).

Place hold Add to cart
8.
COMPUTATIONAL GEOMETRY : an introduction

by Preparata, Franco P | Shamos, Michael Ian.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,390.Publisher: New York Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 516.02854 P919c] (1).

Place hold Add to cart
9.
A PROGRAMMING APPROACH TO COMPUTABILITY

by Kfoury, A. J | Arbib, Michael A.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,251.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 K526p] (1).

Place hold Add to cart
10.
COMPILER CONSTRUCTION

by Waite, William Mccastine | Goos, Gerhard.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,446.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 W134c] (1).

Place hold Add to cart
11.
RELATIONAL DATABASE TECHNOLOGY

by Alagic, Suad.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,259.Publisher: New York Springer-Verlag 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 AL11r] (1).

Add to cart
12.
PROGRAMMING WITH SETS

by Schwartz, J. T.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,493.Publisher: New York Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P943] (1).

Place hold Add to cart
13.
The design of well-structured and correct programs

by Alagic, Suad | Arbib, Michael A.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii, 292p.Publisher: New York Springer 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11d] (2).

Place hold Add to cart
14.
PROGRAMMING IN MODULA-2

by Wirth, Niklaus.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: 202.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W746p3] (1).

Place hold Add to cart
15.
ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT

by Bauer, Friedrich Ludwig | Wossner, Hans.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,497.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B326aE] (1).

Place hold Add to cart
16.
ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT

by Bauer, Friedrich Ludwig | Wossner, Hans.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,497.Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B326aE] (1).

Place hold Add to cart
17.
CHESS SKILL IN MAN AND MACHINE

by Frey, Peter William.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xiv,329.Publisher: New York Springer Verlag 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425s2] (1).

Place hold Add to cart
18.
CHESS SKILL IN MAN AND MACHINE

by Frey, Peter W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425] (1).

Add to cart
19.
CHESS SKILL IN MAN AND MACHINE

by Frey, Peter W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425] (1).

Place hold Add to cart
20.
CHESS SKILL IN MAN AND MACHINE

by Frey, Peter W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,217.Publisher: New York Springer-Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 794.17 C425] (1).

Place hold Add to cart

Powered by Koha