|
21.
|
Introduction to functional programming through Lambda calculus
by Michaelson, Greg. Material type: Book Description: xv, 320p.Publisher: Wokingham, England Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M582i] (1).
|
|
22.
|
PERFORMANCE MEASUREMENT OF COMPUTER SYSTEMS
by Mckerrow, Phillip. Material type: Book Description: xiii,260.Publisher: Sydney Addison-Wesley c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 M199p] (1).
|
|
23.
|
THE THEORY OF COMPUTABILITY
by Sommerhalder, R | Westrhemen, S. C. Van. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,441.Publisher: Wokingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 So55t] (1).
|
|
24.
|
NUMERICAL METHODS IN PRADCTICE
by Hopkins, Tim | Phillips, Chris. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,308.Publisher: Wokingham Addison-Wesley 1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 519.4028553 H777n] (1).
|
|
25.
|
Object-Oriented programming in Eiffel
by Thomas, Pete | Weedon, Ray. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 518p.Publisher: Wokingham, England Addision-Wisley Publishing Company 1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 T361] (1).
|
|
26.
|
SPECIFICATION OF COMPUTER PROGRAMS
by Turski, Wladyslaw M | Maibaun, Thomas S. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,278.Publisher: Wokingham Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 T869s] (1).
|
|
27.
|
COMMON LISP PROGRAMMING FOR ARTIFICIAL INTELLIGENCE
by Hasemer, Tony | Domingue, John. Material type: Book Description: xiii,444.Publisher: Wokingham Addison-Wesley c1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 H272c] (1).
|
|
28.
|
DATABASE THEORY AND PRACTICE
by Frank, Lars | Helmersen, Ole. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,374.Publisher: Wokingham Addison-Wesley 1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 F851dE] (1).
|
|
29.
|
DISTRIBUTED SYSTEMS
by Coulouris, George F | Dollimore, Jean. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,366.Publisher: Workingham Addison Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 C832d] (1).
|
|
30.
|
DISTRIBUTED SYSTEMS
by Coulouris, George F | Dollimore, Jean. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,366.Publisher: Workingham Addison Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 C832d] (1).
|
|
31.
|
Functional programming
by Field, Anthony J | Harrison, Peter G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 602p.Publisher: Wokingham, England Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F453f] (1).
|
|
32.
|
SOFTWARE ENGINEERING
by Sommerville,Ian. Edition: 6Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,693.Publisher: Pearson Education ( Singapore ) Pte. Ltd., Delhi 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 SO552] (1).
|