|
1941.
|
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).
|
|
1942.
|
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).
|
|
1943.
|
Programming logics
: an introduction to verification and semantics
by Gumb, Raymond D. Material type: Book Description: xvii, 334p.Publisher: New York John Wiley 1989Availability: No items available Checked out (1).
|
|
1944.
|
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).
|
|
1945.
|
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).
|
|
1946.
|
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1947.
|
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1948.
|
An introduction to programming and problem solving with pascal
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467p.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1949.
|
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1950.
|
INTRODUCTION TO PROGRAMMING AND PROBLEM SOLVING WITH PASCAL
by Schneider, G. Michael | Perlman, David M. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: ix,467.Publisher: New Delhi Wiley Eastern 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sch58i2] (1).
|
|
1951.
|
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).
|
|
1952.
|
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).
|
|
1953.
|
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).
|
|
1954.
|
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).
|
|
1955.
|
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).
|
|
1956.
|
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).
|
|
1957.
|
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).
|
|
1958.
|
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).
|
|
1959.
|
PROGRAMMING IN OCCAM 2
by Burns, Alan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,189.Publisher: Workingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 B937p] (1).
|
|
1960.
|
INTRODUCTION TO ALGORITHMS
by Cormen,Thomas H., Leiserson,Charles E | Rivest,Ronald L. Material type: Book Description: xvii,1028.Publisher: Mit Press, Cambridge c1990Availability: No items available Checked out (1).
|