|
341.
|
CATEGORICAL COMBINATORS, SEQUENTIAL ALGORITHMS AND FUNCTIONAL PROGRAMMING
by Curien, P. L. Material type: 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).
|
|
342.
|
FUNDAMENTALS OF PROGRAMMING LANGUAGES
by Horowitz, Ellis. Edition: 2ndMaterial type: 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).
|
|
343.
|
Programming language land seape
: syntax, semantics, and implementation
by Marcotty, Michael | Ledgard, Henry F. Edition: 2ndMaterial type: 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).
|
|
344.
|
Fourth generation languages. [2v.]
by Martin, James. Material type: 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).
|
|
345.
|
PICTURE LANGUAGES
by Rosenfeld, Azriel. Material type: 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).
|
|
346.
|
Formal specification and software development
by Bjørner, Dines | B, Cliff. Material type: 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).
|
|
347.
|
The structure and design of programming languages
by Nicholls, John E. Material type: 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).
|
|
348.
|
STRUCTURE AND DESIGN OF PROGRAMMING LANGUAGES
by Nicholls, John E. Material type: 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).
|
|
349.
|
Computer languages
by Lampton, Christopher. Material type: 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).
|
|
350.
|
Concepts of programming languages
by Elson, Mark. Material type: 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).
|
|
351.
|
Proving programs correct
by Ananda, A. L. Material type: 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).
|
|
352.
|
DATA ABSTRACTION IN PROGRAMMING LANGUAGES
by Bishop, Judy. Material type: 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).
|
|
353.
|
PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS
by Allison, Lloyd. Material type: 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).
|
|
354.
|
PROBLEMS, PROGRAMS, PROCESSING, RESULTS
by Quittner, Pal. Material type: 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).
|
|
355.
|
THE MATHEMATICAL THEORY OF L SYSTEMS
by Rozenberg, Grzegorz | Salomaa, Arto. Material type: 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).
|
|
356.
|
INTRODUCTION TO FORMAL LANGUAGE THEORY
by Harrison, Michael A. Material type: 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).
|
|
357.
|
FORMAL LANGUAGE THEORY
by Book, Ronald V. Material type: 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).
|
|
358.
|
Linguistics and literacy
by (3rd Delaware Symposium on Language Studies University of Delaware) 1981 | Frawley, William. Material type: 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).
|
|
359.
|
COMBINATORIAL COMPLEXES
by Sellers, Peter H. Material type: 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).
|
|
360.
|
SYSTEM 360/370 JOB CONTROL LANGUAGE AND THE ACCESS METHODS
by Hannula, Reino. Material type: 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).
|