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

Your search returned 277 results. Subscribe to this search

|
61. PROGRAMMING LANGUAGES

by Horowitz, Ellis.

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

62. Intercative computer graphic : data structure, algorithms, language

by Giloi, Wolfgang K.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 354p.Publisher: New Jersey Prentice-Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 G426i] (1).

63. CATEGORICAL COMBINATORS, SEQUENTIAL ALGORITHMS AND FUNCTIONAL PROGRAMMING

by Curien, P. L.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,300.Publisher: London Pitman 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C925c] (1).

64. FUNDAMENTALS OF PROGRAMMING LANGUAGES

by Horowitz, Ellis.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xv,446.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 H785f2] (1).

65. Programming language land seape : syntax, semantics, and implementation

by Marcotty, Michael | Ledgard, Henry F.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xx, 569p.Publisher: New Delhi Galgotia Publication 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M333p2] (1).

66. Fourth generation languages. [2v.]

by Martin, James.

Material type: book Book; Format: print ; Literary form: not fiction Description: 420p.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M364f] (1).

67. Formal specification and software development

by Bjørner, Dines | B, Cliff.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,501p.Publisher: London Prentice-Hall International 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B557f] (1).

68. The structure and design of programming languages

by Nicholls, John E.

Material type: book Book; Format: print ; Literary form: not fiction Description: 572p.Publisher: California Addison-Wesley Pulishing 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 N515s] (1).

69. STRUCTURE AND DESIGN OF PROGRAMMING LANGUAGES

by Nicholls, John E.

Material type: book Book; Format: print ; Literary form: not fiction Description: 572.Publisher: Reading, Mass. Addison-Wesley Pub. 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 N515s] (1).

70. Concepts of programming languages

by Elson, Mark.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 333p.Publisher: Chicago Science Research Associates 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 El78c] (5).

71. Proving programs correct

by Ananda, A. L.

Material type: book Book; Format: print ; Literary form: not fiction Description: 177.Publisher: Kanpur I. I. T. 1973Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 An14] (1).

72. DATA ABSTRACTION IN PROGRAMMING LANGUAGES

by Bishop, Judy.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,166.Publisher: Workingham Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B541d] (1).

73. PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS

by Allison, Lloyd.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,132.Publisher: Cambridge Cambridge Univ. Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 AL56p] (1).

74. Pygmalion : a computer program to model and stimulate creative thought

by Smith, David Canfield.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,187p.Publisher: Basel Birkhauser Verlag 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sm54p] (2).

75. ROLE OF LANGUAGE IN PROBLEM SOLVING 2

by Boudreaux, J. C. [ed.] | Jernigan, R. [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 471p.Publisher: Amsterdam North-Holland 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 R643b] (1).

76. COMPUTERS AND INFORMATION SYSTEMS IN BUSINESS

by Brabb, George J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,276.Publisher: Boston Houghton Mifflin 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 658.05 B72c] (1).

77. REPORT ON THE PROGRAMMING LANGUAGE PLZ/SYS

by Snook, Tod.

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

78. BRITISH LECTURES

by Ershov, Andrei Petrovich.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,57.Publisher: London Hayden 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Er82b] (1).

79. Introduction to automata theory, languages and computation

by Hopcroft, John E | Ullman, Jeffrey D.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 418p.Publisher: New Delhi Narosa Publ. House 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 H77i cop.1] (4).

80. CURRENT ISSUES IN COMPUTER SIMULATION

by Adam, Nabil R | Dogramaci, Ali.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii,292.Publisher: New York Academic 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.424 C936] (1).

Powered by Koha