|
|
2781.
|
Software verification and validation
: realistic project approaches
by Deutsch, Michael S. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xvi, 327p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64240287 D489s] (1).
|
|
|
2782.
|
KNOWLEDGE BASED PROBLEM SOLVING
by Kowalik, Janusz S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxv,336.Publisher: Englewood Cliffs Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K76] (1).
|
|
|
2783.
|
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).
|
|
|
2784.
|
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).
|
|
|
2785.
|
Mathematical theory of program correctness
by Bakker, Jaco de. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 505p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B179m] (1).
|
|
|
2786.
|
TRS-80 ASSEMBLY LANGUAGE SUBROUTINES
by Barden, William. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,232.Publisher: Englewood Cliffs Prentice-Hall 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B235t] (1).
|
|
|
2787.
|
PRINCIPLES OF CONCURRENT PROGRAMMING
by Ben-Ari, M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,172.Publisher: New Jersey Prentice-Hall 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B43p] (1).
|
|
|
2788.
|
UNIX TMC SHELL FIELD GUIDE
by Anderson, Gail | Anderson, Paul. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi,374.Publisher: Englewood Cliffs Prentice Hall 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 An23a] (1).
|
|
|
2789.
|
SOLID STATE PHASE TRANSFORMATIONS
by Raghavan, V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,184.Publisher: New Delhi Prentice Hall 1987Availability: No items available
|
|
|
2790.
|
SOLID STATE PHASE TRANSFORMATIONS
by Raghavan, V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,184.Publisher: New Delhi Prentice Hall 1987Availability: No items available
|
|
|
2791.
|
SOLID STATE PHASE TRANSFORMATIONS
by Raghavan, V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,184.Publisher: New Delhi Prentice Hall 1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 669.94 R126s] (1).
|
|
|
2792.
|
CONSTRUCTION ESTIMATING TECHNIQUES
by Hardie, Glenn M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,354.Publisher: Englewood Cliffs Prentice-Hall 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 692.5 H216c] (1).
|
|
|
2793.
|
FUNDAMENTALS OF SOLAR HEATING
by Schubert, Richard C | Ryan, L. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,321.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 697.78 Sch78f] (1).
|
|
|
2794.
|
WARM AIR HEATING FOR CLIMATE CONTROL
by Cooper, William B | Quinlon, Raymond A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,480.Publisher: Englewood Cliffs Prentice-Hall 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 697.8 C788w] (1).
|
|
|
2795.
|
EARTHQUAKE DESIGN OF CONCRETE MASONRY BUILDINGS
by Englakirk, Robert E | Hart, Gary C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Englewood Cliffs Prentice-Hall 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 693.852 En36e] (1).
|
|
|
2796.
|
PRINCIPLES OF PROGRAMMING LANGUAGES
by Tennent, R. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,271.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T256p] (1).
|
|
|
2797.
|
GOING FROM BASIC TO C
by Traister, Robert J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,162.Publisher: New Jersey Prentice-Hall 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 T682g] (1).
|
|
|
2798.
|
COOLING SYSTEMS TROUBLESHOOTING HANDBOOK
by Langlay, Billy C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,261.Publisher: Englewood Cliffs Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 697.93 L266c] (1).
|
|
|
2799.
|
ESTIMATING BUILDING CONSTRUCTION
by Hornung, William J. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xi,308.Publisher: Englewood Cliffs Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 692 H785eb2] (1).
|
|
|
2800.
|
PRINCIPLES AND PRACTICES OF RESIDENTIAL CONSTRUCTION
by Falcone, Joseph D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,399.Publisher: Englewood Cliffs Prentice-Hall 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 690.8 F181p] (1).
|
