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 2 results. Subscribe to this search

|
1. Refinement calculus a systematic introduction

by Back Ralph-Johan | Wright Joakim von [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Springer-Verlag 1998Availability: Items available for loan: [Call number: 005.14 B126] (1).
2. Abstract computing machines a lambda calculus perspective

by Kluge W.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 2005Availability: Items available for loan: [Call number: 004.22015113 K66] (1).
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


Visitor Counter