|
1281.
|
Structure and interpretation of computer programs
by Abelson, Harold | Sussman, Gerald Jay. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx, 542p.Publisher: Cambridge MIT Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s Cop.3] (1).
|
|
1282.
|
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS
by Abelson, Harold | Sussman, Julie. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1).
|
|
1283.
|
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS
by Abelson, Harold | Sussman, Julie. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1).
|
|
1284.
|
The design of well-structured and correct programs
by Alagic, Suad | Arbib, Michael A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii, 292p.Publisher: New York Springer 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11d] (2).
|
|
1285.
|
PROGRAMMING THE M68000
by King, Tim | Knight, Brian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 154.Publisher: Reading, Mass. Addison-Wesley 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K587p] (1).
|
|
1286.
|
A model implementation of standard Pascal
by Welsh, Jim | Hay, Atholl. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 463p.Publisher: Englewood Cliffs Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W465m] (1).
|
|
1287.
|
COMPANION TO BBC MICROCOMPUTERS
by Wheelwright, Geof. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 125.Publisher: London Pan Books 1983Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W571c] (1).
|
|
1288.
|
PROGRAMMING IN MODULA-2
by Wirth, Niklaus. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 176.Publisher: Berlin Springer-Verlag 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W746p] (1).
|
|
1289.
|
PROGRAMMING IN MODULA-2
by Wirth, Niklaus. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 202.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W746p3] (1).
|
|
1290.
|
PROBLEM SOLVING AND STRUCTURED PROGRAMMING IN FORTRAN
by Friedman, Frank L | Koffman, Elliot B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 404.Publisher: Massachusetts Addison-Wesley Pub. 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424028 F914] (1).
|
|
1291.
|
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).
|
|
1292.
|
SCHAUM'S OUTLINE OF THEORY AND PROBLEMS OF PROGRAMMING WITH STRUCTURED COBOL
by Newcomer, Lawrence R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 375.Publisher: New York Mcgraw-Hill 1984Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ne39p] (1).
|
|
1293.
|
KNOWLEDGE SYSTEMS AND PROLOG
by Walker, Adrian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,475.Publisher: Reading, Mass. Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K76] (1).
|
|
1294.
|
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).
|
|
1295.
|
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).
|
|
1296.
|
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).
|
|
1297.
|
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).
|
|
1298.
|
IBM PC/PC JR. PROGRAMMING FOR LEARNING AND TEACHING
by Bell, Frederick H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiv,353.Publisher: Reston Reston Pub. 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B413i] (1).
|
|
1299.
|
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).
|
|
1300.
|
DATA MODELS
by Borkin, Sheldon A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 269.Publisher: Cambridge Mit 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B644d] (1).
|