|
|
61.
|
SOFTWARE CATALOG
by . Material type:  Book Description: v.Publisher: New York Elsevier 1983-Availability: No items available Withdrawn (1).
|
|
|
62.
|
PROVING PROGRAMMS CORRECT
by Anderson, Robert Brockett. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,184.Publisher: New York John Wiley 1979Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 An24p] (1).
|
|
|
63.
|
ADDISON-WESLEY BOOK OF APPLE COMPUTER SOFTWARE 1983
by Stanton, Jeffrey | Rochowansky, Sandra. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 491.Publisher: Los Angeles 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ad23] (1).
|
|
|
64.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 4 v.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C936] (1).
|
|
|
65.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 4 v.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C936] (1).
|
|
|
66.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 4 v.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C936] (1).
|
|
|
67.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 4 v.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C936] (1).
|
|
|
68.
|
Correctness problem in computer science
by Boyer, Robert S. [Ed.] | Moore, J. Strother [Ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 279p.Publisher: London Academic Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C817] (1).
|
|
|
69.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 4 v.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C936] (1).
|
|
|
70.
|
CURRENT TRENDS IN PROGRAMMING METHODOLOGY
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 4 v.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C936] (1).
|
|
|
71.
|
STUDIES IN AUTOMATIC PROGRAMMING LOGIC
by Manna, Zohar | Waldinger, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,192.Publisher: New York North-Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M315s] (1).
|
|
|
72.
|
Methodology and tools for data base design
by | Ceri, Stefano, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 255p.Publisher: Amsterdam North-Holland 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M566] (2).
|
|
|
73.
|
SOFTWARE METRICS
by Gilb, Tom. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 282.Publisher: Cambridge, Mass. Winthrop Pub. 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64250724 G371s] (1).
|
|
|
74.
|
SOFTWARE METRICS
by Gilb, Tom. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 282p.Publisher: Cambridge, Mass. Winthrop Pub. 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64250724 G371s cop.2] (1).
|
|
|
75.
|
SOFTWARE SPECIFICATION TECHNIQUES
by Gehani, Narain [ed.] | Mcgettrick, Andrew [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 477p.Publisher: Wokingham Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 So23] (1).
|
|
|
76.
|
COMPUTER ORIENTED NUMERICAL METHODS
by Rajaraman, V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 118.Publisher: New Delhi Prentice-Hall Of India 1971Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R137] (1).
|
|
|
77.
|
COMPUTER ORIENTED NUMERICAL METHODS
by Rajaraman, V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 118.Publisher: New Delhi Prentice-Hall Of India 1971Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R137] (1).
|
|
|
78.
|
Computer oriented numerical methods
by Rajaraman, V. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 118p.Publisher: New Delhi Prentice-Hall of India 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R137c Cop.19] (1).
|
|
|
79.
|
HANDBOOK OF ELECTRONIC DESIGN AND ANALYSIS PROCEDURES USING PROGRAMMABLE CALCULATORS
by Murdock, Bruce K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,525.Publisher: New York Van Nostrand Reinhold 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3810285 M942h] (1).
|
|
|
80.
|
AUTOMATIC COMPUTATIONAL TECHNIQUES IN CIVIL ENGINEERING
by Litton, E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,372.Publisher: London Crosby Lockwood 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.17102854 L736a] (1).
|
