|
221.
|
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).
|
|
222.
|
WRITINGS OF THE REVOLUTION
: SELECTED READINGS ON SOFTWARE ENGINEERING
by Yourdon, Edward [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,460p.Publisher: New York Yourdon Press 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 W939] (1).
|
|
223.
|
COMPILER CONSTRUCTION
by Bauer, F. L | Eickel, J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,638.Publisher: New York Springer-Verlag 1976Availability: No items available Checked out (1).
|
|
224.
|
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).
|
|
225.
|
A programming methodology in compiler construction
by Lewi, J., Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 308p.Publisher: Amsterdam North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P943] (1).
|
|
226.
|
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).
|
|
227.
|
COMPILER DESIGN AND CONSTRUCTION
by Pyster, Arthur B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,357.Publisher: New York Van Nostrand Reinhold 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P999c] (1).
|
|
228.
|
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).
|
|
229.
|
SOFTWARE SOLILOQUIES
by Glass, Robert L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v,90.Publisher: Seattle Computing Trends 1981Availability: No items available Withdrawn (1).
|
|
230.
|
PARALLEL PROCESSING SYSTEMS
by Evans, David J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,399.Publisher: Cambridge University Press. 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P247] (1).
|
|
231.
|
The environment for systems programs
by Withington, Frederic G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 324p.Publisher: Reading, Massachusetts Addison-Wesley 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 W777e] (1).
|
|
232.
|
Best of Interface age
by Interface Age Staff [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 204p.Publisher: Portland Dilithium Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B464] (1).
|
|
233.
|
Best of "Interface Age"
: Software in BASIC
by Interface Age, Staff Of. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Portland Dilithium Press 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B464] (1).
|
|
234.
|
STANDARDISED DEVELOPMENT OF COMPUTER SOFTWARE
by Tausworthe, Robert C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 379.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 T196s] (1).
|
|
235.
|
Compilers
: principles, techniques and tools
by Aho, Alfred V | Sethi, Ravi | Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 796p.Publisher: Reading, Massachusetts Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Ah68c cop.2] (1).
|
|
236.
|
PARALLEL COMPLEXITY THEORY
by Parberry, Ian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 200.Publisher: London Pitman 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 P213p] (1).
|
|
237.
|
PARALLEL MIMD COMPUTATION
by Kowalik, J. S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 411.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 P247k] (1).
|
|
238.
|
The mythical man-month
: essays on software engineering
by Brooks, Frederick P. Material type: Book; Literary form: Description: xi,195p.Publisher: Reading, Mass. Addison-Wesley Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 B791m] (1).
|
|
239.
|
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).
|
|
240.
|
Communicating sequential processes
by Hoare, C. A. R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 256p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H651c] (1).
|