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

|
1. Minimax algebra

by Cuninghame Green Raymond.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1979Availability: Items available for loan: [Call number: 330.182 C972] (1).
2. Introduction to modern Austrian capital theory

by Faber Malte.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1979Availability: Items available for loan: [Call number: 330.1 F115] (1).
3. Coalition formation by sophisticated players

by Repoport Amnon.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1979Availability: Items available for loan: [Call number: 330.182 R219] (1).
4. Alphard : from and content

by Shaw Mary [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1981Availability: Items available for loan: [Call number: 005.133 Sh535] (1).
5. Parallel processes and related automata

by Knodel W | Schneider H J eds [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1981Availability: Items available for loan: [Call number: 004.35 K72] (2).
6. Alternating sequential/parallel processing

by Wallach Y.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 004.35 W195] (1).
7. Analytical description of CHILL,the CCITT high level language

by Branquart Paul | Louis Georges [Auth.] | Wodon Pierre [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.13 B821] (1).
8. Verifying concurrent progresses using temporal logic / Brent T. Hailpern.

by Hailpern Brent T.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer Verlag , 1982Availability: Items available for loan: [Call number: 005.131 H151] (2).
9. Axiomatising the logic of computer programming / Goldblatt, Robert.

by Goldblatt, Robert.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer Verlag , 1982Availability: Items available for loan: [Call number: 005.13 G618] (2).
10. Optimal decisions under uncertainty

by Sengupta J K.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1981Availability: Items available for loan: [Call number: 330.182 Se 476] (1).
11. Database design techniques v 1 : requirements and logical structures

by Yao S B [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.74 D232] (1).
12. Group theoretic algorithms and graph isomorphism

by Hoffmann C M.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.1 H699] (1).
13. Introduction to the PL/CV2 programming logic

by Constable R L | Johnson S D [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.131 C756] (1).
14. Information structures in economics studies in the theory of markets with imperfect information

by Nermuth Manfred.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 330.182 N448] (1).
15. Attribute grammar for the semantic analysis of Ada

by Drossopoulou J U S.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.131 D787] (1).
16. GAG : a practical compiler generator

by Kastens Uwe | Hutt Brigitte [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.453 K19] (1).
17. Programming in modula 2

by Wirth Niklaus.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.133 W799] (1).
18. SMS-a program package for simulation and gaming of stochastic market processes and learning behavior

by Witt Ulrich | Perske Joachim [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 330.182 W827] (1).
19. Algorithmic language and program development

by Bauer F L | Wossner Hans [Auth.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1982Availability: Items available for loan: [Call number: 005.13 B344] (1).
20. Selected writings on computing : a personal perspective

by Dijkstra E W.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: N Y Springer Verlag 1982Availability: Items available for loan: [Call number: 004 D575] (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