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 7 results.

Results
	1.	Algorithmic languages : proceedings by Bakker J W De International Symposium on Algorithmic Languages( 1981 : Netherlands ) International Symposium on Algorithmic Languages , Netherlands 1981 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North Holland 1981 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.13 In61. Place hold Add to cart (remove)
	2.	No cover image available Current trends in concurrency : proceedings by Bakker J W de ESPRIT/LPC Advanced School on Current Trends in Concurrency( 1985 : Noordwijkerhout ) ESPRIT/LPC Advanced School on Current Trends in Concurrency Noordwijkerhout, 1985 Series: Lecture notes in computer science, 224 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1986 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.35 Es77. Place hold Add to cart (remove)
	3.	No cover image available Linear time,branching time and partial order in logics and models for concurrency : proceedings by Bakker J W de School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency( 1988 : Netherlands ) School/Workshop on Linear time,Branching time and Partial Order in Logics and Models for Concurrency , Netherlands 1988 Series: Lecture notes in computer science, 354 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 Sch372. Place hold Add to cart (remove)
	4.	No cover image available Stepwise refinement of distributed systems models,formalisms,correctness : proceedings by Bakker J W de REX Workshop on Stepwise Refinement of Distributed Systems( 1989 : Netherlands ) REX Workshop on Stepwise Refinement of Distributed Systems , Netherlands 1989 Series: Lecture notes in computer science, v 430 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.36 R429(89). Place hold Add to cart (remove)
	5.	Foundation of object orientated languages : proceedings by Bakker J W De School/Workshop on Foundation of Object Orientated Languages( 1990 : Netherlands ) School/Workshop on Foundation of Object Orientated Languages , Netherlands 1990 Series: Lecture notes in computer science, 489 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: 5.117 Sch372(90). Place hold Add to cart (remove)
	6.	Real-time : theory in practice : proceedings by Bakker J W de REX Workshop( 1991 : Netherlands ) REX Workshop , Netherlands 1991 Series: Lecture notes in computer science, 600 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.33 R432(91). Place hold Add to cart (remove)
	7.	Semantics : foundations and applications : proceedings by Bakker J W De REX Workshop on Semantics : Foundations and Applications( 1992 : Beekbergen,Netherlands ) REX Workshop on Semantics : Foundations and Applications Beekbergen, Netherlands 1992 Series: Lecture notes in computer science, 666 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: 5.13 R432(92). Place hold Add to cart (remove)

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