PKK Library

Your cart is empty.

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

Your search returned 200 results. Subscribe to this search

Unhighlight Highlight
|
61.
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).

Place hold Add to cart
62.
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).

Place hold Add to cart
63.
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).

Place hold Add to cart
64.
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).

Place hold Add to cart
65.
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).

Place hold Add to cart
66.
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).

Place hold Add to cart
67.
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).

Add to cart
68.
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).

Place hold Add to cart
69.
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).

Place hold Add to cart
70.
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).

Place hold Add to cart
71.
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).

Place hold Add to cart
72.
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).

Place hold Add to cart
73.
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).

Place hold Add to cart
74.
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).

Place hold Add to cart
75.
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).

Place hold Add to cart
76.
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).

Place hold Add to cart
77.
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).

Add to cart
78.
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).

Place hold Add to cart
79.
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).

Place hold Add to cart
80.
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).

Place hold Add to cart

Powered by Koha