|
|
1161.
|
Computer organization [4th ed.]
by Hamacher, V. Carl | Vranesic, Zvonko G | Zaky, Safwat G. Edition: 4th ed.Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xiii, 555p.Publisher: New York McGraw-Hill 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.2 H171c4 cop.1] (5). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 004.22 H171c4 cop.2] (1).
|
|
|
1162.
|
The clausal theory of types
by Wolfram, D. A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 124p.Publisher: Cambridge Cambridge University Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.131 W833c] (1).
|
|
|
1163.
|
SCIENTIFIC COMPUTING
by Golub, Gene | Ortega, James M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,442.Publisher: Boston Academic Press 1993Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 G584s] (1).
|
|
|
1164.
|
LECTURES ON PARALLEL COMPUTATION
by Gibbons, Alan | Spirakis, Paul. Material type: Book Description: 437.Publisher: Cambridge Cambridge Univ. Press c1993Availability: No items available Checked out (1).
|
|
|
1165.
|
Programming logics
: an introduction to verification and semantics
by Gumb, Raymond D. Material type: Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G952p] (1).
|
|
|
1166.
|
Logic and computer science
by Odifreddi, Piergiorgio [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 430p.Publisher: London Academic Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829] (1).
|
|
|
1167.
|
INTRODUCTION TO SYSTEM SOFTWARE
by Dhamdhere, D. M. Material type: Book Description: viii,400.Publisher: New Delhi Tata Mcgraw-Hill c1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 D535i] (1).
|
|
|
1168.
|
HP-UX reference
: sections 1, 1M and 9 - v.1
by . Edition: 5thMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Colorado Hewlett-Packard Company 1988Availability: No items available Withdrawn (1).
|
|
|
1169.
|
HP-UX REFERENCE
by . Edition: 5thMaterial type: Book Description: 2 v.Publisher: Colorado Packard c1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 003 H498r5] (1).
|
|
|
1170.
|
HP-UX REFERENCE
by . Edition: 5thMaterial type: Book Description: 2 v.Publisher: Colorado Packard c1988Availability: No items available Withdrawn (1).
|
|
|
1171.
|
COMPUTERS, MINDS AND CONDUCT
by Button,Graham. Material type: Book Description: xiv,237.Publisher: Polity Press, Cambridge c1995Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 128.2 C739B] (1).
|
|
|
1172.
|
SINGLE NEURON COMPUTATION
by Mckenna, Thomas | Zornetzer, Steven F. Material type: Book Description: xiv,644.Publisher: Boston Academic Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 Si64] (1).
|
|
|
1173.
|
COMPUTER-AIDED SOFTWARE ENGINEERING
by Gane, Chris. Material type: Book Description: xiv,220.Publisher: Englewood Cliffs Prentice Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 G154c] (1).
|
|
|
1174.
|
FORMAL SPECIFICATION AND DESIGN
by Feijs, L. M. G | Jonkers, H. B. M. Material type: Book Description: xvi,335.Publisher: Cambridge Cambridge Univ. Press c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 F324f] (1).
|
|
|
1175.
|
Structured computer organization [3rd ed.]
by Tanenbaum, Andrew S. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 587p.Publisher: New Delhi Prentice Hall Of India 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 T155s3] (2).
|
|
|
1176.
|
Structured computer organization [3rd ed.]
by Tanenbaum, Andrew S. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 587p.Publisher: New Delhi Prentice Hall Of India 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 T155s3 Cop.3] (1).
|
|
|
1177.
|
Concepts of programming languages
by Sebesta, Robert W. Material type: Book Description: xiii, 497p.Publisher: Redwood City, California Benjamin/Cummings Publishing 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Se21c] (1).
|
|
|
1178.
|
ALGEBRAIC THEORY OF PROCESSES
by Hannesay, Matthew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,273.Publisher: Cambridge Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6420151 H196a] (1).
|
|
|
1179.
|
COMPILERS
: PRINCIPLES, TECHNIQUES AND TOOLS
by Aho, Alfred V | Sethi, R | Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 796p.Publisher: Reading, Mass. Addison-Wesley 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Ah68c] (1).
|
|
|
1180.
|
SYSTEM SIMULATION PROGRAMMING STYLES AND LANGUAGES
by Kreutzer, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,366.Publisher: Sydney Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K888s] (1).
|
