PKK Library

Your cart is empty.

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

Your search returned 1329 results. Subscribe to this search

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

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

Place hold Add to cart
343.
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
344.
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
345.
PICTURE LANGUAGES

by Rosenfeld, Azriel.

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

Place hold Add to cart
346.
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
347.
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
348.
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
349.
Computer languages

by Lampton, Christopher.

Material type: book Book; Format: print ; Literary form: not fiction Description: 84p.Publisher: New York Franklin Watts 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L199c] (1).

Place hold Add to cart
350.
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
351.
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
352.
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
353.
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
354.
PROBLEMS, PROGRAMS, PROCESSING, RESULTS

by Quittner, Pal.

Material type: book Book; Format: print ; Literary form: not fiction Description: 381.Publisher: Bristol Adam Hilger 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Q48p] (1).

Place hold Add to cart
355.
THE MATHEMATICAL THEORY OF L SYSTEMS

by Rozenberg, Grzegorz | Salomaa, Arto.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,352.Publisher: New York Academic Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 R817m] (1).

Place hold Add to cart
356.
INTRODUCTION TO FORMAL LANGUAGE THEORY

by Harrison, Michael A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,594.Publisher: Reading, Mass. Addison-Wesley 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 H247i] (1).

Place hold Add to cart
357.
FORMAL LANGUAGE THEORY

by Book, Ronald V.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,454.Publisher: New York Academic Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 F765] (1).

Place hold Add to cart
358.
Linguistics and literacy

by (3rd Delaware Symposium on Language Studies University of Delaware) 1981 | Frawley, William.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii, 496 p.Publisher: New York : Plenum Press, 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.543 D376L] (1).

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

Place hold Add to cart
360.
SYSTEM 360/370 JOB CONTROL LANGUAGE AND THE ACCESS METHODS

by Hannula, Reino.

Material type: book Book; Format: print ; Literary form: not fiction Description: 340.Publisher: Reading, Massachusetts Addison-Wesley 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H197s] (1).

Place hold Add to cart

Powered by Koha