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

Your search returned 46 results. Subscribe to this search

|
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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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).

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: No items available Checked out (1).

Powered by Koha