|
|
5841.
|
Program construction and verification
by Backhouse, Roland C. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).
|
|
|
5842.
|
Program construction and verification
by Backhouse, Roland C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).
|
|
|
5843.
|
ADVANCED PROGRAMMING
by Barron, David William | Bishop, J. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,277.Publisher: Chichester John Wiley 1984Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B268a] (1).
|
|
|
5844.
|
Programs and machines
: an introduction to the theory of computation
by Bird, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 214p.Publisher: London John Wiley 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B532p] (1).
|
|
|
5845.
|
Explorer's guide to the ZX spectrum and ZX81
by Kasper, Boon. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,257p.Publisher: London Addison-Wesley 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B644e] (1).
|
|
|
5846.
|
RECURSIVE PROGRAMMING TECHNIQUES
by Burge, William H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 277.Publisher: Reading, Massachusetts Addison-Wesley 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B911r] (1).
|
|
|
5847.
|
Recursive programming techniques
by Burge, William H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 277p.Publisher: Reading, Massachusetts Addison-Wesley 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B911r Cop.2] (1).
|
|
|
5848.
|
MASTERWORKS OF PHILOSOPHY
by Frost, S. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 3 v.Publisher: New York Mcgraw-Hill 1972Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 108 M393] (1).
|
|
|
5849.
|
EPISTEMOLOGY OF DVAITA VEDANTA
by Rao, P. Nagaraja. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,120.Publisher: Madras The Adya Library And Research Centre 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 181.48 R18e] (1).
|
|
|
5850.
|
COMPETENT EXPERT SYSTEMS
by Keravnou, E. T | Johnson, L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 320.Publisher: London Kogan Page 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K452c] (1).
|
|
|
5851.
|
HYDROMETALLURGICAL EXTRACTION AND RECLAMATION
by Jackson, E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 266.Publisher: Chichester Ellis Horwood 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 669.0283 J133h] (1).
|
|
|
5852.
|
RECENT DEVELOPMENTS IN URANIUM ENRICHMENT
by Merriman, J. R | Benedict, Manson. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,98.Publisher: New York American Institute Of Chemical Engineers 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 669.2931 R243] (1).
|
|
|
5853.
|
PASCAL FROM BASIC
by Brown, Peter. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,182.Publisher: Reading, Mass. Addison-Wesley 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 B814p] (1).
|
|
|
5854.
|
ZINC AND ITS ALLOYS
by Morgan, S. W. K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,202.Publisher: Plymouth Macdonald & Evans 1977Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 669.5 M823z] (1).
|
|
|
5855.
|
INTRODUCTION TO CHEMICAL METALLURGY
by Parker, Roger Hill. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,361.Publisher: Oxford Pergamon 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 669.9 P228i2] (1).
|
|
|
5856.
|
INTRODUCTION TO CHEMICAL METALLURGY
by Parker, Roger Hill. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,361.Publisher: Oxford Pergamon 1978Availability: No items available Damaged (1).
|
|
|
5857.
|
INTRODUCTION TO CHEMICAL METALLURGY
by Parker, Roger Hill. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,361.Publisher: Oxford Pergamon 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 669.9 P228i2] (1).
|
|
|
5858.
|
SOFTWARE ENGINEERING WITH ADA
by Booch, Grady. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,502.Publisher: California Benjamin/Cummings 1983Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 B644s] (1).
|
|
|
5859.
|
ANALYSIS AND DESIGN OF PIERCED SHEAR-WALLS
by Magnus, David. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 28.Publisher: London Concrete Pub. 1968Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 690.12 M275a] (1).
|
|
|
5860.
|
CABLE - SUSPENDED ROOFS
by Prem Krishna. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,314.Publisher: New York Mcgraw-Hill 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 690.15 P916c] (1).
|
