|
|
481.
|
Concurrency control and recovery in database systems
by Bernstein, Philip A | Goodman, Nathan. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xiii, 370p.Publisher: Reading, Massachusetts Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 B458c] (1).
|
|
|
482.
|
Formal specification and software development
by Bjørner, Dines | B, Cliff. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,501p.Publisher: London Prentice-Hall International 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B557f] (1).
|
|
|
483.
|
GUIDE FOR PROGRAMMERS
by Bohl, Marilyn. Material type: Book Description: viii,216.Publisher: Englewood Cliffs, N. J. Prentice-Hall c1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B634g] (1).
|
|
|
484.
|
MICROPROGRAMMING
by . Material type: Book Description: 314.Publisher: California Ieee Computer Society c1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M583] (1).
|
|
|
485.
|
The structure and design of programming languages
by Nicholls, John E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 572p.Publisher: California Addison-Wesley Pulishing 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 N515s] (1).
|
|
|
486.
|
STRUCTURE AND DESIGN OF PROGRAMMING LANGUAGES
by Nicholls, John E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 572.Publisher: Reading, Mass. Addison-Wesley Pub. 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 N515s] (1).
|
|
|
487.
|
PRINCIPLES OF SYSTEMS PROGRAMMING
by Graham, Robert M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 422.Publisher: New York John Wiley 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 G76p] (1).
|
|
|
488.
|
Introduction to operating system design
by Habermann, Arie Nicolaas. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 372p.Publisher: Chicago Science Research Associates 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H113i] (1).
|
|
|
489.
|
ACTORS
by Agha, Gul A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,144.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 Ag39a] (1).
|
|
|
490.
|
PROGRAMMING EXPERT SYSTEMS IN OPS5
by Brownston, Lee. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,471.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P943] (1).
|
|
|
491.
|
DIGITAL SYSTEMS
by Hill, Fredrick J | Peterson, Gerald R. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,701.Publisher: New York John Wiley 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3819582 H551d2] (1).
|
|
|
492.
|
DIGITAL SYSTEMS
by Hill, Fredrick J | Peterson, Gerald R. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,701.Publisher: New York John Wiley 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3819582 H551d2] (1).
|
|
|
493.
|
DIGITAL SYSTEMS
by Hill, Fredrick J | Peterson, Gerald R. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,701.Publisher: New York John Wiley 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.3819582 H551d2] (1).
|
|
|
494.
|
PROGRAMMING METHODOLOGY
by Gries, David. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 417.Publisher: New York Springer Verlag 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P943] (1).
|
|
|
495.
|
Concepts of programming languages
by Elson, Mark. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 333p.Publisher: Chicago Science Research Associates 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 El78c] (5).
|
|
|
496.
|
COMPUTER ORGANIZATION AND PROGRAMMING
by Gear, C. William. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,442.Publisher: Auckland Mcgraw-Hill 1981Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 G261e3] (1).
|
|
|
497.
|
COMPUTER GRAPHICS
by Harrington, Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,448.Publisher: New York Mcgraw-Hill 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 H239c] (1).
|
|
|
498.
|
COMPUTER GRAPHICS
by Harrington, Steven. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,448.Publisher: New York Mcgraw-Hill 1983Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 H239c] (1).
|
|
|
499.
|
Proving programs correct
by Ananda, A. L. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 177.Publisher: Kanpur I. I. T. 1973Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 An14] (1).
|
|
|
500.
|
ARCHITECHTURE OF CONCURRENT PROGRAMS
by Hansen, Per Brinch. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 307.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 H198a] (1).
|
