|
1.
|
MATHEMATICAL THEORY OF COMPUTATION
by Manna,Zohar. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 448.Publisher: Mcgraw-Hill Kogakusha, Tokyo 1974Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M315] (1).
|
|
2.
|
DEBUGGING C
by Ward, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,349.Publisher: Indianapolis Que Corp. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W216d] (1).
|
|
3.
|
The debugger's handbook
: turbo pascal
by Mckelvey, James. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,128.Publisher: Belmont Wadsworth 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M195d] (1).
|
|
4.
|
Program style, design, efficiency, debugging, and testing [2nd ed.]
by Tassel, Dennie Van. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 323p.Publisher: New Jersey Prentice-Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 V368p2] (1).
|
|
5.
|
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).
|
|
6.
|
MICROPROCESSOR SYSTEM DEBUGGING
by Ghani, Noordin | Farrell, Edward. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 143.Publisher: Chichester Research Studies Press 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64044 G341m] (1).
|
|
7.
|
ART OF SOFTWARE TESTING
by Myers, Glenford J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,177.Publisher: New York John Wiley 1979Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M989a] (1).
|
|
8.
|
Algorithmic program debugging
by Shapiro, Ehud Y. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 232p.Publisher: Cambridge The Mit Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Sh22a] (1).
|
|
9.
|
Science and civilisation in China [v.6, pt.4]
by Needham, Joseph. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi,537.Publisher: Indian Institute Of Technology, Kanpur 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: CSE/2001/M K96D] (1).
|
|
10.
|
Environmental modeling
: using MATLAB
by Holzbecher, Ekkehard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 392p.Publisher: Berlin Springer 2007Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.063637 H748e] (1).
|
|
11.
|
Dynamic binary modification
: tools, techniques, and applications /
: [electronic resource] :
by Hazelwood, Kim. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xi, 67 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|