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

Your search returned 317 results. Subscribe to this search

|
81. COMBINATORIAL COMPLEXES

by Sellers, Peter H.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,184.Publisher: Dordrecht Reidel 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Se48c] (1).

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

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

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

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

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

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

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

89. FUNDAMENTALS OF COMPUTERS

by Rajaraman, V.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,288.Publisher: New Delhi Prentice-Hall 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 R137f] (1).

90. The McGraw-Hill computer handbook

by Helms, Harry [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New York McGraw-Hill Book Co. 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 M178] (1).

91. COOPERATIVE INTERFACES TO INFORMATION SYSTEMS

by Bolc, L. [ed.] | Jarke, M. [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 328p.Publisher: Berlin Springer-Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 C784] (1).

92. VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE

by Quirk, W. J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,245.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 V588] (1).

93. FORMAL SPECIFICATION OF INTERACTION GRAPHICS PROGRAMMING LANGUAGES

by Mallgren, William R.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,269.Publisher: Cambridge Mit 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 M296f] (1).

94. ABSTRACTION MECHANISMS AND LANGUAGE DESIGN

by Hilfinger, Paul N.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,176.Publisher: Cambridge Mit Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 H548a] (1).

95. Fundamental of programming languages

by Horowitz, Ellis.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,450p.Publisher: Berlin Springer-Verlarg 1983Other title: by Ellis Horowitz.Availability: No items available Withdrawn (1).

96. FUNDAMENTALS OF PROGRAMMING LANGUAGES

by Horowitz, Ellis.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,450.Publisher: Berlin Springer-Verlag 1983Availability: No items available Checked out (1).

97. FUNDAMENTALS OF PROGRAMMING LANGUAGES

by Horowitz, Ellis.

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

98. Fourth generation languages. [2v.]

by Martin, James.

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

99. PROGRAMMING LANGUAGES, DESIGN AND IMPLEMENTATION

by Pratt, Terrence W.

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

100. FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES

by Pagan, Frank G.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,245.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P14f] (1).

Powered by Koha