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

Your search returned 1400 results.

Results
	1.	No cover image available Alternating sequential/parallel processing by Wallach Y Series: Lecture notes in computer science, v 127 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 W195. Place hold Add to cart (remove)
	2.	Analytical description of CHILL,the CCITT high level language by Branquart Paul Louis Georges [Auth.] Wodon Pierre [Auth.] Series: Lecture notes in computer science, v 128 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B821. Place hold Add to cart (remove)
	3.	Verifying concurrent progresses using temporal logic / Brent T. Hailpern. by Hailpern Brent T Series: v 129 \| Lecture notes in computer science ; v. 129 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer Verlag , 1982 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.131 H151, ... Place hold Add to cart (remove)
	4.	Axiomatising the logic of computer programming / Goldblatt, Robert. by Goldblatt, Robert Series: Lecture notes in computer science ; v. 130 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer Verlag , 1982 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.13 G618, ... Place hold Add to cart (remove)
	5.	Database design techniques v 1 : requirements and logical structures by Yao S B [ed.] Series: Lecture notes in computer science, v 132 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.74 D232. Place hold Add to cart (remove)
	6.	No cover image available Group theoretic algorithms and graph isomorphism by Hoffmann C M Series: Lecture notes in computer science, v 136 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 H699. Place hold Add to cart (remove)
	7.	Introduction to the PL/CV2 programming logic by Constable R L Johnson S D [Auth.] Series: Lecture notes in computer science, v 135 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 C756. Place hold Add to cart (remove)
	8.	No cover image available Software for roundoff analysis of matrix algorithms by Miller Webb Wrathall Celia [Auth.] Series: Computer science and applied mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y Academic Press 1980 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.1 M652, ... Place hold Add to cart (remove)
	9.	No cover image available Automated theorem proving : a logical basis by Loveland D W Series: Fundamental studies in computer science, 6 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 1978 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 L898. Place hold Add to cart (remove)
	10.	No cover image available Computational semantics an introduction to artificial intelligence and natural langu by Charniak, Eugene Wilks, Yorick [ed.] Series: Fundamental studies in computer science; V 4 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York North-Holland Pub 1976 Availability: Not available: ISI Library, Kolkata: Checked out (1). Place hold Add to cart (remove)
	11.	No cover image available Computer arithmetic in theory and practice by Kulisch U W Miranker W L [Auth.] Series: Computer science and applied mathematics Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y Academic Press 1981 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.0151 K96. Place hold Add to cart (remove)
	12.	No cover image available Image reconstruction from projections the fundamentals of computerized tomography by Herman G T Series: Computer science and applied mathematics : a series of monographs and textbooks Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y Academic Press 1980 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 616.075720285 H551, ... Place hold Add to cart (remove)
	13.	Attribute grammar for the semantic analysis of Ada by Drossopoulou J U S Series: Lecture notes in computer science, v 139 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 D787. Place hold Add to cart (remove)
	14.	PASCAL implementation : the P4 compiler by Pemberton Steven Daniels Martin [Auth.] Series: Ellis horwood series in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Chischester Ellis Horwood 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 P394. Place hold Add to cart (remove)
	15.	No cover image available Pascal implementation : compiler and assembler/interpreter by Pemberton Steven Daniels Martin [Auth.] Series: Ellis horwood series in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Chichester Ellis Horwood 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 P394c. Place hold Add to cart (remove)
	16.	No cover image available Multicomputers and image processing algorithms and programs by Preston Kendall [ed.] Uhr Leonard [ed.] Series: Notes & Reports in computer science & applied Mathematics ; v.3 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Academic Press 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 621.380414 P938. Place hold Add to cart (remove)
	17.	GAG : a practical compiler generator by Kastens Uwe Hutt Brigitte [Auth.] Series: Lecture notes in computer science, v 141 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.453 K19. Place hold Add to cart (remove)
	18.	No cover image available Thoth system : multi process structuring and portability by Cheriton D R Series: Computer science library : operating & programming systems series, 8 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y North Holland 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.35 C521. Place hold Add to cart (remove)
	19.	No cover image available Computer image processing and recognition by Hall E L Series: Computer science and applied mathematics : a series of monographs and textbooks Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Academic Press 1979 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 621.3819598 H175. Place hold Add to cart (remove)
	20.	No cover image available Algorithmic language and program development by Bauer F L Wossner Hans [Auth.] Series: Texts & Monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B344. Place hold Add to cart (remove)

1
2
3
4
5
6
7
8
9
10
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 1400 results.