|
181.
|
Correctness problem in computer science
by Boyer, Robert S. [Ed.] | Moore, J. Strother [Ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 279p.Publisher: London Academic Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C817] (1).
|
|
182.
|
UCSD PASCAL FOR THE IBM PC
by Maccallum, Iain. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxix,578.Publisher: Englewood Cliffs, N. J. Prentice-Hall Internet. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M124u] (1).
|
|
183.
|
Introduction to the design and analysis of algorithms
by Goodman, Seymor E | Hedetniemi, S. T. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 371p.Publisher: New York Mcgraw-Hill 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 G621i] (3). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.8 G621i] (2).
|
|
184.
|
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).
|
|
185.
|
MICROPROGRAMMING PRIMER
by Katzan, Harry. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 254.Publisher: New York Mcgraw-Hill Book Co. 1977Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K159m] (1).
|
|
186.
|
Introduction to formal languages
by Revesz, Gyorgy E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 199p.Publisher: New York McGraw-Hill 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 R324i] (1).
|
|
187.
|
Lecture notes in computer science [v.240] Material type: Book; Format:
print
; Literary form:
not fiction
Description: 519p.Publisher: Berlin Springer-Verlag 1986Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.240] (1).
|
|
188.
|
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS
by Abelson, Harold | Sussman, Julie. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1).
|
|
189.
|
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS
by Abelson, Harold | Sussman, Julie. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1).
|
|
190.
|
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS
by Abelson, Harold | Sussman, Julie. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1).
|
|
191.
|
DATA BASE MANAGEMENT SYSTEMS
by Tsichritzis, Dionysios C | Lochovsky, Frederick H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,388.Publisher: New York Academic Press 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6442 T788d] (1).
|
|
192.
|
SOFTWARE SPECIFICATION TECHNIQUES
by Gehani, Narain [ed.] | Mcgettrick, Andrew [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 477p.Publisher: Wokingham Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 So23] (1).
|
|
193.
|
SPECTRAL APPROXIMATION OF LINEAR OPERATORS
by Chatelin, Francoise. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,458.Publisher: New York Academic Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 515.7246 C391s] (1).
|
|
194.
|
Principles of compiler design
by Aho, Alfred V | Ullman, Jeffrey D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 604p.Publisher: Massachusetts Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 Ah68p] (1).
|
|
195.
|
DIGITAL IMAGE PROCESSING OF REMOTELY SENSED DATA
by Hord, R. Michael. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,256.Publisher: New York Academic Press 1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.3678 H781d] (1).
|
|
196.
|
DIGITAL PICTURE PROCESSING
by Rosenfeld, Azriel | Kak, Avinash C. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: New York Academic Press 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 621.3819598 R724d2] (1).
|
|
197.
|
ACTIVE RC FILTERS
by Huelsman, L. P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 317.Publisher: Pennsylvania Dowden Hutchinson Press 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381532 Ac85] (1).
|
|
198.
|
COMPUTER STRUCTURES
by Bell, C. Gordon | Newell, Allen. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 668.Publisher: New York Mcgraw-Hill 1971Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38195 B413c] (1).
|
|
199.
|
SINUSOIDAL ANALYSIS AND MODELING OF WEAKLY NONLINEAR CIRCUITS
by Weiner, Donald D | Spina, John F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxvi,290.Publisher: New York Van Nostrand Reinhold 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3192 W431s] (1).
|
|
200.
|
HANDBOOK OF ELECTRONIC DESIGN AND ANALYSIS PROCEDURES USING PROGRAMMABLE CALCULATORS
by Murdock, Bruce K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,525.Publisher: New York Van Nostrand Reinhold 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3810285 M942h] (1).
|