|
|
441.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type:  Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
442.
|
INTRODUCTION TO SIMULATION PROGRAMMING TECHNIQUES AND METHODS OF ANALYSIS
by Payne, James A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,324.Publisher: New York Mcgraw-Hill 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.434 P292i] (1).
|
|
|
443.
|
HUMAN AND MACHINE VISION
by Beck, Jacob | Rosenfeld, Azriel. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,567.Publisher: New York Academic Press 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.53 H889] (1).
|
|
|
444.
|
COORDINATED COMPUTING
by Filman, Robert E | Friedman, Daniel P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,370.Publisher: New York Mcgraw-Hill 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 F487c] (1).
|
|
|
445.
|
Content addressable parallel processors
by Foster, Caxton C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 233p.Publisher: New York Van Nostrand 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 F811c] (1).
|
|
|
446.
|
VARIETIES OF FORMAL LANGUAGES
by Pin, J. E | Howie, A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,138.Publisher: New York Plenum 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 P65vE] (1).
|
|
|
447.
|
AUTOMATED THEOREM PROVING
by . Material type: Book; Format:
print
; Literary form:
not fiction
Description: 405.Publisher: Amsterdam North Holland Publishing Co. 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L942a] (1).
|
|
|
448.
|
UPDATE SYNCHRONIZATION IN MULTIACCESS SYSTEMS
by Milenkovic, Milan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,83.Publisher: Ann Arber Umi Research Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 M592u] (1).
|
|
|
449.
|
Parallel sorting algorithms
by Akl, Selim G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 229p.Publisher: Orlando Academic Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Ak57p] (1).
|
|
|
450.
|
Parallel sorting algorithms
by Akl, Selim G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 229 p.Publisher: Orlando : Academic Press, 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Ak57p cop.2] (1).
|
|
|
451.
|
KNOWLEDGE-BASED SYSTEMS IN ARTIFICIAL INTELLIGENCE
by Davis, Randall | Lenat, Douglas B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi,490.Publisher: New York Mcgraw-Hill 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 D297k] (1).
|
|
|
452.
|
ARTIFICIAL INTELLIGENCE
by Winston, Patrick Henry. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi,444.Publisher: Reading, Mass. Addison-Wesley 1977Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.535 W733a] (1).
|
|
|
453.
|
Artificial intelligence
by Winston, Patrick Henry. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 444p.Publisher: Reading, Massachusetts Addison-Wesley 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 W733a cop.2] (1).
|
|
|
454.
|
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
by Jackson, Philip C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 451.Publisher: New York Petrocelli 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 J137i] (1).
|
|
|
455.
|
The IBM 5100 portable computer
: a comprehensive guide for users and programmers
by Katzan, Harry. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 576p.Publisher: New York Von Nostrand Reinhold 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6404 K159i] (1).
|
|
|
456.
|
SUBJECTIVE UNDERSTANDING
by Carbonell, Jaime Guillermo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,285.Publisher: Ann Arbor, Mich. Umi Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 300.2854 C177s] (1).
|
|
|
457.
|
SUBJECTIVE UNDERSTANDING
by Carbonell, Jaime Guillermo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxiii,285.Publisher: Ann Arbor, Mich. Umi Press 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 300.2854 C177s] (1).
|
|
|
458.
|
TEXT PROCESSING
by Tucker, Allen B. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,171.Publisher: New York Academic Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.28542 T795t] (1).
|
|
|
459.
|
CONCEPTUAL INFORMATION PROCESSING
by Schank, Roger C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 374.Publisher: Amsterdam North-Holland 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.285 Sch16c] (1).
|
|
|
460.
|
COMPUTATIONAL SEMANTICS
by Charniak, Eugene | Wilks, Yorick. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 294.Publisher: Amsterdam North-Holland Pub. Co. 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 412 C382c] (1).
|
