|
161.
|
DESIGN AND ANALYSIS OF COMPUTER ALGORITHMS
by Aho, Alfred V | Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,470.Publisher: Reading, Mass. Addison-Wesley 1974Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6443 Ah68d] (1).
|
|
162.
|
PRACTICAL INTRODUCTION TO DENOTATIONAL SEMANTICS
by Allison, Lloyd. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,132.Publisher: Cambridge Cambridge Univ. Pr. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 AL56p] (1).
|
|
163.
|
Selected writings on computing
: a personal perspective
by Dijkstra, Edsger W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 362p.Publisher: New York Springer-Verlag 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D569s] (1).
|
|
164.
|
UNIX SYSTEM
by Bourne, S. R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,351.Publisher: London Addison-Wesley 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 B66u] (1).
|
|
165.
|
COMPILER DESIGN AND CONSTRUCTION
by Pyster, Arthur B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,357.Publisher: New York Van Nostrand Reinhold 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P999c] (1).
|
|
166.
|
METHODS AND APPLICATIONS OF ERROR-FREE COMPUTATION
by Gregory, Robert Todd | Krishnamurthy, R. T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,194.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.40285 G862m] (1).
|
|
167.
|
DATABASE DESIGN
by Wiederhold, Gio. Material type: Book Description: 658p.Publisher: New York Mcgraw-Hill c1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 W635d] (1).
|
|
168.
|
METHODS AND APPLICATIONS OF ERROR-FREE COMPUTATION
by Gregory, Robert Todd | Krishnamurthy, R. T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,194.Publisher: New York Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.40285 G862m] (1).
|
|
169.
|
A computer model of skill acquisition
by Sussman, Gerald Jay. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 133p.Publisher: New York American Elsevier Publishing 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Su82c] (1).
|
|
170.
|
Alphard: from and content
by Shaw, Mary. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 321p.Publisher: New York Springer-Verlag 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Al74] (2).
|
|
171.
|
PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE
by Bratko, Ivan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,423.Publisher: Workingham Addison-Wesley 1986Availability: No items available Withdrawn (1).
|
|
172.
|
SOFTWARE ENGINEERING
by Sommerville, I. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,289.Publisher: London Addison-Wesley 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 So55s] (1).
|
|
173.
|
Database design
by Wiederhold, Gio. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 751p.Publisher: Auckland Mcgraw-Hill International Book Company 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 W635d2] (1).
|
|
174.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Springer-Verlag 1985Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.187] (1).
|
|
175.
|
PRACTICAL INTRODUCTION TO PASCAL
by Wilson, I. R | Addyman, A. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,148.Publisher: London Macmillan 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W694p] (1).
|
|
176.
|
PARALLEL COMPLEXITY THEORY
by Parberry, Ian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 200.Publisher: London Pitman 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 P213p] (1).
|
|
177.
|
ALGEBRAIC AND AUTOMATA-THEORETIC PROPERTIES OF FORMAL LANGUAGES
by Ginsburg, Seymour. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 313.Publisher: Amsterdam North Holland Pub. 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G435e] (1).
|
|
178.
|
Communicating sequential processes
by Hoare, C. A. R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 256p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H651c] (1).
|
|
179.
|
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).
|
|
180.
|
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 loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 G261e3] (1).
|