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

Your search returned 7490 results. Subscribe to this search

|
1221. CONCURRENT PROGRAMMING

by Gehani, Narain | Mcgettrick, Andrew D.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,621.Publisher: Workingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C749] (1).

1222. OPERATIONAL EXPERT SYSTEM APPLICATIONS IN THE UNITED STATES

by Liebowitz, Jay.

Material type: book Book Description: ix,155.Publisher: Oxford Pergamon Press c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.330973 Op2e] (1).

1223. DESIGN AND IMPLEMENTATION OF CONCURRENT SMALLTALK

by Yokote, Yasuhiko.

Material type: book Book Description: xv,153.Publisher: Singapore World Scientific c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Y77d] (1).

1224. Functional programming using standard ml

by Wilkstrom, Ake.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii, 446p.Publisher: London Prentice Hall 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W64f] (1).

1225. Concurrent prolog [2 vols.] : collected papers

by | Shapiro, Ehud, Ed.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2v. (various paging).Publisher: Cambridge The Mit Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 C749] (2).

1226. An introduction to object-oriented programming and smalltalk

by Pinson, Lewis J | Wiener, Richard S.

Material type: book Book Description: xxvi,502p.Publisher: Reading, Massachusetts Addison-Wesley c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P657i] (1).

1227. Object-oriented database programming

by Alagic, Suad.

Material type: book Book Description: xv, 320p.Publisher: New York Springer c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11o] (1).

1228. DEVELOPMENT USING OCCAM

by Kerridge, Jon.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,214.Publisher: Amsterdam Ios 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 D492] (1).

1229. LOGICAL FOUNDATIONS OF FUNCTIONAL PROGRAMMING

by Huet, Gerard.

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

1230. Mind and cognition : Lycan, William G.

by Lycan, William G.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,683p.Publisher: Cambridge Basil Blackwell 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 128.2 M661] (1).

1231. SPECTACLES AND PREDICAMENTS

by Gellner, Ernest.

Material type: book Book; Format: print ; Literary form: not fiction Description: 385.Publisher: Cambridge Cambridge Univ. Pr. 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 120 G283s] (1).

1232. DATA STRUCTURES AND C PROGRAMS

by Van Wyk, Christopher J.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,387.Publisher: Reading, Mass. Addison-Wesley 1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 V26d] (1).

1233. Tanner lectures on human values. VIII 1988

by McMurrin, Sterling M. [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xii, 333p.Publisher: Salt Lake City Univ. Of Utah 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 121.8 T157 1988] (1).

1234. 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).

1235. Materials science and engineering : a first course

by Raghavan, V.

Edition: 2nd.Material type: book Book; Format: print ; Literary form: not fiction Description: xii,372p.Publisher: New Delhi Prentice-Hall Of India Private Limited 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.11 R126m2] (1).

1236. Annual review of information science and technology

by Williams, Martha E [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: 361p.Publisher: Amsterdam Elsevier Science Publishers 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 029.708 An78 v.23] (1).

1237. 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).

1238. 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).

1239. 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).

1240. 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).

Powered by Koha