Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Refine your search

Your search returned 2363 results. Subscribe to this search

|
161. HI-RISE

by Mary Lou, Maher.

Material type: book Book; Format: print ; Literary form: not fiction Description: iv,127.Publisher: Pittsburgh Carnegie-Mellon Univ., Dept. Of Civil Engineering 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.17702854 M369h] (1).

162. Building large knowledge-based systems : representation and inference in the Cyc project

by Lenat, Douglas B | Guha, R. V.

Material type: book Book; Format: print ; Literary form: not fiction Description: xix, 372p.Publisher: Reading, Massachusetts Addison-Wesley Publishing 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L545b] (1).

163. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE

by Fejer, Peter A | Simovici, Dan A.

Material type: book Book Description: x,425.Publisher: New York Springer-Verlag c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.0151 F329m] (1).

164. USES OF RANDOMNESS IN ALGORITHMS AND PROTOCOLS

by Kilian, Joe.

Material type: book Book Description: 235.Publisher: Cambridge Mit Press c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.015192 K553u] (1).

165. GENETIC ALGORITHMS + DATA STRUCTURES

by Michalewicz, Zbigniew.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,250.Publisher: Berlin Springer-Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 M582g] (1).

166. ALGORITHMS AND DATA STRUCTURES

by Nievergelt, Jurg | Hinrichs, Klaus H.

Material type: book Book Description: xvi,350.Publisher: Englewood Cliffs Prentice Hall c1993Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.1 N559a] (1).

167. PRACTICAL PARALLEL PROGRAMMING

by Bauer, Barr E.

Material type: book Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 B326P] (1).

168. VECTOR MODELS FOR DATA-PARALLEL COMPUTING

by Blelloch, Guy E.

Material type: book Book Description: xvi,255.Publisher: Cambridge Mit Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.35 B616v] (1).

169. Computing

by Coffman, E. G. , Ed | Lenstra, J. K., Ed | Kan, A.H. G. Rinnooy, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,682p.Publisher: Amsterdam North-Holland 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003.3 C739] (1).

170. PARALLEL COMPUTERS

by Treleaven, P. C.

Material type: book Book Description: xvi,927.Publisher: Chichester John Wiley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 P212c] (1).

171. Fundamentals of data structures

by Horowitz, Ellis | Sahni, Sartaj.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 564p.Publisher: Virginia, Goodland Hills Computer Science Press 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H785f Cop.15] (1).

172. RESEARCH DIRECTIONS IN COMPUTER SCIENCE

by Meyer...[Etal.], Albertr.

Material type: book Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004 R311] (1).

173. Introduction to functional programming through Lambda calculus

by Michaelson, Greg.

Material type: book Book Description: xv, 320p.Publisher: Wokingham, England Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M582i] (1).

174. NEURAL NETWORKS

by Freeman, Kames A | Skapura, David M.

Material type: book Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 F877N] (1).

175. RESEARCH TOPICS IN FUNCTIONAL PROGRAMMING

by Turner, David A.

Material type: book Book Description: xv,373.Publisher: Reading, Mass. Addison-Wesley c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R311t] (1).

176. NEURAL NETWORK PARALLEL COMPUTING

by Takefuji, Yoshiyasu.

Material type: book Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 T139N] (1).

177. DYNAMIC, GENETIC AND CHAOTIC PROGRAMMING

by Soucek, Branko | Iris Group.

Material type: book Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 SO81D] (1).

178. ARTIFICIAL NEURAL NETWORK AND STATISTICAL PATTERN RECOGNITION

by Sethi, Ishwar | Jain, Anilk.

Material type: book Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AR78] (1).

179. ARTIFICIAL NEURAL NETWORKS

by Sanchez-Sinencio, Edgar | Lan, Clifford.

Material type: book Book Description: x,549.Publisher: New York Ieee Press c1992Availability: No items available Checked out (1).

180. File structures : Theory and practice

by Livadas, Panos E.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: New Jersey Prentice-Hall 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.74 L742f] (1).

Powered by Koha