Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Purchase suggestions

Your search returned 1444 results.

Results
	361.	No cover image available Representing plans under uncertainty : a logic of time,chance, and action by Haddawy Peter Series: Lecture notes in artificial intelligence, 770 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 H126. Place hold Add to cart (remove)
	362.	Visualization of scientific parallel programs by Tomas Gerald Ueberhuber C W [Auth.] Series: Lecture notes in computer science, 771 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.118 T761. Place hold Add to cart (remove)
	363.	Logic : foundation for computer science by Sperschneider V Antoniou G [Auth.] Series: International computer science series Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Wokingham Addison Wesley 1991 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 Sp751. Place hold Add to cart (remove)
	364.	No cover image available Second generation expert systems by David Jean-Marc Krivine Jean-Paul [ed.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.33 D249. Place hold Add to cart (remove)
	365.	No cover image available Parallel algorithms for machine intelligence and vision by Kumar Vipin Gopalakrishnan P S [Auth.] Series: Symbolic computation artificial intelligence Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y Springer Verlag 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 K96. Place hold Add to cart (remove)
	366.	No cover image available FM8501 : a verified microprocessor by Hunt W A Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.16 H943. Place hold Add to cart (remove)
	367.	No cover image available Qualitative representation of spatial knowledge by Hernandez Daniel Series: Lecture notes in artificial intelligence, 804 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.332 H557. Place hold Add to cart (remove)
	368.	No cover image available Isabelle : a generic theorem prover by Paulson L C Series: Lecture notes in computer science, 828 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 P322. Place hold Add to cart (remove)
	369.	Logic,language and computation by Jones N D Hagiya Masami [ed.] Series: Lecture notes in computer science, 792 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 J78. Place hold Add to cart (remove)
	370.	No cover image available Knowledge representation and reasoning under uncertainty by Masuch Michael Polos Laszlo [ed.] Series: Lecture notes in artificial intelligence, 808 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.332 M424. Place hold Add to cart (remove)
	371.	No cover image available Foundations of knowledge representation and reasoning by Lakemeyer Gerhard Nebel Bernhard [ed.] Series: Lecture notes in artificial intelligence, 810 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.332 L192. Place hold Add to cart (remove)
	372.	No cover image available Hardware and software architectures for fault tolerance : experiences and perspectives by Banatra Michel Lee P A [ed.] Series: Lecture notes in computer science, 774 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.22 B212. Place hold Add to cart (remove)
	373.	C++ programming style by Cargill Tom Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Reading Addison Wesley 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 C276. Place hold Add to cart (remove)
	374.	No cover image available Understanding the artificial : on the future shape of artificial intelligence by Negrotti Massimo [ed.] Series: Artificial intelligence and society Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1991 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 N394. Place hold Add to cart (remove)
	375.	Foundations of parallel processing by Ghosh R K Gupta Phalguni [Auth.] Moona Rajat [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta Narosa 1995 Availability: Items available for loan: ISI Library, Kolkata (3)Call number: 004.35 G427, ... Place hold Add to cart (remove)
	376.	dBASE IV and structured query language by Chandra B Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Calcutta Narosa Pub 1995 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 C456. Place hold Add to cart (remove)
	377.	No cover image available Recursive introduction to the theory of computation by Smith C H Series: Graduate texts in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 Sm744. Place hold Add to cart (remove)
	378.	No cover image available Machine learning of natural language by Powers D M W Turk C C R [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Springer Verlag 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.35 P888. Place hold Add to cart (remove)
	379.	No cover image available Introduction to parallel algorithms and architectures : arrays, trees,hypercubes by Leighton F T Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Mateo Morgan Kaufmann Pub 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 L529. Place hold Add to cart (remove)
	380.	Tutorial : computer graphics, image synthesis by Joy K I Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Los Alamitos IEEE 1988 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.6 J88. Place hold Add to cart (remove)

First
Previous
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
Next
Last

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 1444 results.