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

Your search returned 26 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. 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).

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

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

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

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

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

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

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

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

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

18. Synthesizer generator reference manual

by Reps, Thomas W | Teitelbaum, Tim.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: xi, 171p.Publisher: New York Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R299s3] (1).

19. Object-oriented database programming

by Alagic, Suad.

Material type: book Book Description: xv, 320p.Publisher: New York Springer c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11o] (1).

20. DESIGN AND ANALYSIS OF ALGORITHMS

by Kozen, Dexter C.

Material type: book Book Description: x,320.Publisher: New York Springer-Verlag c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 K849d] (2).

Powered by Koha