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

Refine your search

Your search returned 2363 results. Subscribe to this search

|
201. THE CHARACTERISTICS OF PARALLEL ALGORETHMS

by Jamieson, Leah H | Douglass, Robert J.

Material type: book Book Description: 440.Publisher: Cambridge Mit Press c1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 C37] (1).

202. INTRODUCTION TO COMPUTER SCIENCE

by Govindaraju, S.

Material type: book Book Description: xi,235.Publisher: New Delhi Wiley Eastern c1992Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 In8] (1).

203. TRANSPUTER RESEARCH AND APPLICATIONS 5

by Veronis, Andrew M | Paker, Yakup.

Material type: book Book; Format: print ; Literary form: not fiction Description: 337.Publisher: Amsterdam Ios Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 T687r] (1).

204. TRANSPUTER SYSTEMS-ONGOING RESEARCH

by Allen, Alastain.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii,266.Publisher: Amsterdam Ios Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 T687s] (1).

205. MODULAR CONSTRUCTION AND PARTIAL ORDER SEMANTICS OF PETRI NETS

by Vogler, W.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,252.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

206. HYPEREDGE REPLACEMENT

by Habel, A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,214.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

207. RELATIONAL MATCHING

by Vosselman, G.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,190.Publisher: Barlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

208. LIVE DATA STRUCTURES IN LOGIC PROGRAMS

by Mulkers, Anne.

Material type: book Book Description: viii,211.Publisher: Berlin Springer-Verlag c1993Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

209. Theories and methods of spatio-temporal reasoning in gepgraphic space: proceedings

by Frank, A. U | International conference GIS-from space to territory:theories and methods of spatio-temporal reasoning Pisa, italy September 1992 | Formentini, U., series ed., Campari,I. series ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,431.Publisher: Berlin: Springer-Verlag, 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.639] (1).

210. SPECIFYING MESSAGE PASSING AND TIMECRITICAL SYSTEMS WITH TEMPORAL LOGIC

by Koymans, Ron.

Material type: book Book; Format: print ; Literary form: not fiction Description: 164.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

211. NEURAL NETWORKS

by Antognetti, Paolo | Milutinovic, Veljko.

Material type: book Book Description: xii,227.Publisher: New Jersey Prentice Hall c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 N398] (1).

212. A GUIDE TO COMMERCIAL ARTIFICIAL INTELLIGENCE

by Rauch-Hindin, Wendy B.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxvi,523.Publisher: Englewood Cliffs Prentice Hall 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R19g] (1).

213. AUTOMATING KNOWLEDGE ACQUISITION FOR EXPERT SYSTEMS

by Marcus, Sandra.

Material type: book Book Description: xvi,270.Publisher: Boston Kluwer Academic Pub. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Au82] (1).

214. Expert systems : principles and practice

by Bonnet, A | Haton, J-P | Truong-Ngoc, J-M | Howlett, Jack [Tr.].

Material type: book Book Description: x, 228p.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 B643sE] (1).

215. KNOWLEDGE ACQUISITION

by Brule, James F.

Material type: book Book Description: xxvii,253.Publisher: New York Mcgraw-Hill c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 B834k] (1).

216. HANDBOOK OF THEORETICAL COMPUTER SCIENCE

by Leeuwen, Jan Van.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2v.Publisher: Amsterdam Elsevier 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 H191] (1).

217. KNOWLEDGE ACQUISITION

by Mcgraw, Karen L | Harbison-Briggskaran.

Material type: book Book Description: xvi,379.Publisher: Englewood Cliffs Prentice Hall c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M178k] (1).

218. Managing artificial intelligence and expert systems

by Salvo, Daniel A. De | Liebowitz, Jay.

Material type: book Book; Format: print ; Literary form: not fiction Description: x, 212p.Publisher: Englewood Cliffs Yourdon Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M311] (1).

219. Building expert systems : a tutorial

by Martin, James | Oxman, Steven.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 457 p.Publisher: Englewood Cliffs, N.J. Prentice-Hall, c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M363b] (1).

220. HANDBOOK OF THEORETICAL COMPUTER SCIENCE

by Leeuwen, Jan Van.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2v.Publisher: Amsterdam Elsevier 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6 H191] (1).

Powered by Koha