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

Your search returned 371 results. Subscribe to this search

|
161. EXECUTING TEMPORAL LOGIC PROGRAMS

by Moszkowski, B. C.

Material type: book Book; Format: print ; Literary form: not fiction Description: 125.Publisher: Cambridge Cambridge Univ. Pr. 1986Availability: No items available Withdrawn (1).

162. ADVANCED UNIX PROGRAMMING

by Rochkind, Marc J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,265.Publisher: Englewood Cliffs Prentice-Hall 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 R587a] (1).

163. The cognitive computer on language, learning, and artificial intelligence

by Schank, Roger C | Childers, Peter G.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 268p.Publisher: Reading, Massachusetts Addison-Wesley 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Sch16c] (1).

164. Computer systems organization and programming

by Katzan, Harry.

Material type: book Book; Format: print ; Literary form: not fiction Description: 459p.Publisher: Chicago Science Research Associates 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 K159c] (1).

165. PROFESSIONAL SOFTWARE : V. 1 : Software engineering concepts

by Henry F. Ledgard and John Tauer | Tauer, John.

Material type: book Book; Format: print ; Literary form: not fiction Description: v.Publisher: Reading, Massachusetts Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L499p] (1).

166. Applied probability computer science : the interface

by Disney, Ralph L [ed.] | Ott, Teunis J [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xxvii, 504p.Publisher: Boston Birkhauser 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Ap55] (1).

167. MICROPROCESSOR SYSTEMS

by Eccles, William J.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii,458.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Ec27m] (1).

168. COORDINATED COMPUTING

by Filman, Robert E | Friedman, Daniel P.

Material type: book 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).

169. Fundamentals of the computing sciences

by Maly, Kurt | Hanson, Allen R.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 488p.Publisher: Prentice-Hall New Jersey 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 M299f] (1).

170. Automated reasoning : introduction and applications

by Wos, Larry.

Edition: 3rdMaterial type: book 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).

171. Computer-aided design of digital systems

by Lewin, Douglas.

Material type: book 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).

172. DIGITAL NETWORKS AND COMPUTER SYSTEMS

by Booth, Taylor L.

Edition: 2ndMaterial type: book 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).

173. FUNDAMENTALS OF COMPUTER ALGORITHMS

by Horowitz, Ellis | Sahni, Sartaj.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,626.Publisher: Potomac, Maryland Computer Science Press 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 H785f] (1).

174. INTRODUCTIONTO THE DESIGN AND ANALYSIS OF ALGORITHMS

by Goodman, Seymor E | Hedetniemi, S. T.

Material type: book Book; Format: print ; Literary form: not fiction Description: 371.Publisher: New York Mcgraw-Hill Book Co. 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 G621i] (1).

175. INTRODUCTIONTO THE DESIGN AND ANALYSIS OF ALGORITHMS

by Goodman, Seymor E | Hedetniemi, S. T.

Material type: book Book; Format: print ; Literary form: not fiction Description: 371.Publisher: New York Mcgraw-Hill Book Co. 1977Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 511.8 G621i] (1).

176. LOGIC FOR PROBLEM SOLVING

by Kowalski, Robert.

Material type: book 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).

177. AN INTRODUCTION TO COMPUTER SCIENCE

by Tremblay, Jean-Paul | Bunt, Richard B.

Material type: book 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).

178. COMPUTER MATHEMATICS

by Conrad, Clifford L | Highly, Harry B.

Material type: book 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).

179. AN INTRODUCTION TO COMPUTER SCIENCE

by Tremblay, Jean-Paul | Bunt, Richard B.

Material type: book 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).

180. ALGORITHMS

by Kronsjo, Lydia I.

Material type: book 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).

Powered by Koha