|
|
181.
|
COMPUTER DATA-BASE ORGANIZATION
by Martin, James. Edition: 2ndMaterial type:  Book; Format:
print
; Literary form:
not fiction
Description: xviii,713.Publisher: New Delhi Prentice-Hall Of India 1984Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 M364c2] (1).
|
|
|
182.
|
Automated reasoning
: introduction and applications
by Wos, Larry. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv, 482p.Publisher: Englewwod Cliffs, New Jersey Prentice-Hall 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 W91a] (1).
|
|
|
183.
|
Computer-aided design of digital systems
by Lewin, Douglas. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 313p.Publisher: New York Crane Russak 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64044 L587c] (1).
|
|
|
184.
|
DIGITAL NETWORKS AND COMPUTER SYSTEMS
by Booth, Taylor L. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,592.Publisher: New York John Wiley 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64044 B644d2] (1).
|
|
|
185.
|
Computers and intractability
: a guide to the theory of NP-completeness
by Garey, Michael R | Johnson, David S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,338p.Publisher: San Francisco W. H. Freeman 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 G179c] (1).
|
|
|
186.
|
LOGIC FOR PROBLEM SOLVING
by Kowalski, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 287.Publisher: New York North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 K849L] (1).
|
|
|
187.
|
AN INTRODUCTION TO COMPUTER SCIENCE
by Tremblay, Jean-Paul | Bunt, Richard B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,636.Publisher: Auckland Mcgraw-Hill 1979Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 519.7 T721a] (1).
|
|
|
188.
|
COMPUTER MATHEMATICS
by Conrad, Clifford L | Highly, Harry B. Material type: Book; Literary form: Description: 210.Publisher: Richelle Park Hayden Book Co. Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 C763c] (1).
|
|
|
189.
|
AN INTRODUCTION TO COMPUTER SCIENCE
by Tremblay, Jean-Paul | Bunt, Richard B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,636.Publisher: New York Mcgraw-Hill 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 T721i] (1).
|
|
|
190.
|
ALGORITHMS
by Kronsjo, Lydia I. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,361.Publisher: New York John Wiley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 K926a] (1).
|
|
|
191.
|
Algorithms
: their complexity and efficiency
by Kronsjo, Lydia. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,363p.Publisher: Chichester John Wiley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 K926a2] (1).
|
|
|
192.
|
PROBLEM SOLVING AND COMPUTER PROGRAMMING
by Grogono, Peter | Nelson, Sharon H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,284.Publisher: Massachusetts Addison-Wesley 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 519.4 G893p] (1).
|
|
|
193.
|
An American national standard : IEEE standard FASTBUS modular high-speed data acquisition and control system
by IEEE Nuclear and Plasma Sciences Society. Nuclear Instruments and Detectors Committee. Material type: Book; Format:
print
; Literary form:
not fiction
Description: various pagings.Publisher: New York Institute of Electrical and Electronics Engineers 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 In8] (1).
|
|
|
194.
|
THEORY AND PRACTICE OF COMPILER WRITING
by Tremblay, Jean-Paul | Sorenson, Paul G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,796.Publisher: New York Mcgraw-Hill 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 T721t] (1).
|
|
|
195.
|
RELIABLE SOFTWARE THROUGH COMPOSITE DESIGN
by Myers, Glenford J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,150.Publisher: New York Van Nostrand 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 M992r] (1).
|
|
|
196.
|
STRUCTURED ANALYSIS
by Wsinberg, Victor. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,328.Publisher: Englewood Cliffs Prentice-Hall 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 003 W43s] (1).
|
|
|
197.
|
PROGRAM DESIGN CONCEPTS
by Philippakis, Andreas S | Kazmier, Leonard J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,217.Publisher: New York Mcgraw-Hill 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P538p] (1).
|
|
|
198.
|
ABSTRACTION AND SPECIFICATION IN PROGRAM DEVELOPMENT
by Liskov, Barbara | Guttag, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,469.Publisher: Cambridge Mit Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L688a] (1).
|
|
|
199.
|
The art of computer programming [Vol. 2, 2nd ed.]
: Seminumerical algorithms
by Knuth, Donald E. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 688p.Publisher: Reading, Mass. Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K786a2 v.2 cop.1] (3).
|
|
|
200.
|
Temporal logic of programs
by Kroger, Fred. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 148p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K914t] (1).
|
