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

|
4121. Introduction to quantum information science / Masahito Hayashi ... [et al.].

by Hayashi, Masahito | Ishizaka, Satoshi | Kawachi, Akinori | Kimura, Gen | Ogawa,Tomohiro.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, 2015Availability: Items available for loan: [Call number: 004.1 H413] (1).
4122. Interface between quantum information and statistical physics / [edited by] Mikio Nakahara and Shu Tanaka.

by Symposium on Interface between Quantum Information and Statistical Physics (10-12 Nov 2011: Osaka, Japan) | Nakahara, Mikio [editor] | Tanaka, Shu [editor].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Jersey : World Scientific, 2013Availability: Items available for loan: [Call number: 004.1 Sy989] (1).
4123. Lectures on parallel computation / [edited by] Alan Gibbons and Paul Spirakis.

by Gibbons, Alan [editor] | Spirakis, Paul [editor].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, c1993Availability: Items available for loan: [Call number: 004.35 G441] (1).
4124. Programming language essentials / Henri E. Bal and Dick Grune.

by Bal, Henri E | Grune, Dick.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Wokingham, England : Addison-Wesley, c1994Availability: Items available for loan: [Call number: 005.13 B171] (1).
4125. Predicate calculus and program semantics / Edsger W. Dijkstra and Carel S. Scholten.

by Dijkstra, Edsger W | Scholten, Carel S.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Springer-Verlag, c1990Availability: Items available for loan: [Call number: 005.1015113 D575] (1).
4126. Logic programming : operational semantics and proof theory / James H. Andrews.

by Andrews, James H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge : Cambridge University Press, c1992Availability: Items available for loan: [Call number: 005.131 An567] (1).
4127. Discovering knowledge in data : an introduction to data mining / Daniel T. Larose and Chantal D. Larose.

by Larose, Daniel T | Larose, Chantal D.

Edition: 2nd edMaterial type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Jersey : John Wiley, ©2014Availability: Items available for loan: [Call number: 006.312 L331] (1).
4128. Foundations of logic programming / J.W. Lloyd.

by Lloyd, J. W.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; Springer-Verlag, 1984Availability: Items available for loan: [Call number: 005.115 L793] (1).
4129. Proceedings of fourteenth Annual IEEE Conference on Computational Complexity / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in corporation with ACM SIGACT and EATCS.

by IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing | IEEE conference on computational complexity (4-6 May 1999: Atlanta, Georgia) 14th | ACM SIGACT | EATCS.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Los Alamitos, California : IEEE Computer Society, c1999Availability: Items available for loan: [Call number: 511.3 In59] (1).
4130. Proceedings of fifteenth annual IEEE conference on computational complexity / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in corporation with ACM-SIGACT and EATCS.

by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing | IEEE conference on computational complexity (4-7 Jul 2000: Florence, Italy) 15th | ACM SIGACT | EATCS.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Los Alamitos, California : IEEE Computer Society, c2000Availability: Items available for loan: [Call number: 511.3 In59] (1).
4131. Proceedings of sixteenth annual IEEE conference on computational complexity / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in corporation with ACM SIGACT and EATCS.

by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing | IEEE conference on computational complexity (18-21 Jun 2001: Chicago, Illinois) 16th | ACM SIGACT | EATCS.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Los Alamitos, California : IEEE Computer Society, c2001Availability: Items available for loan: [Call number: 511.3 In59] (1).
4132. Proceedings of seventeenth annual IEEE conference on computational complexity / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) in corporation with ACM-SIGACT and EATCS.

by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) | IEEE conference on computational complexity (21-24 May 2002: Montreal, Canada) 17th | SIGACT | EATCS.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Los Alamitos, California : IEEE Computer Society, c2002Availability: Items available for loan: [Call number: 511.3 In59] (1).
4133. Proceedings of eighteenth annual IEEE conference on computational complexity / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) in corporation with ACM-SIGACT and EATCS.

by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) | IEEE conference on computational complexity (7-10 Jul 2003: Aarhus, Denmark) 18th | ACM SIGACT | EATCS.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Los Alamitos, California : IEEE Computer Society, c2003Availability: Items available for loan: [Call number: 511.3 In59] (1).
4134. Proceedings of thirty third annual ACM symposium on theory of computing (STOC' 01) / sponsored by SIGACT

by SIGACT | ACM Symposium on Theory of Computing (6-8 Jul 2001: Hersonissos, Crete, Greece) 33rd | Computer Technology Institute.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : ACM Press, c2001Availability: Items available for loan: [Call number: 004 As849] (1).
4135. Proceedings of thirty fourth annual ACM symposium on theory of computing (STOC' 02) / : sponsored by SIGACT.

by SIGACT | ACM Symposium on Theory of Computing (19-21 May 2002: Montreal, Quebec, Canada) 34th.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : ACM Press, c2002Other title: Proceedings of 34th annual ACM symposium on theory of computing (STOC' 02).Availability: Items available for loan: [Call number: 004 As849] (1).
4136. Proceedings of thirty fifth annual ACM symposium on theory of computing (STOC' 03) / sponsored by GIGACT.

by SIGACT | ACM Symposium on Theory of Computing (9-11 Jan 2003: California, USA) 35th.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : ACM Press, c2003Other title: Proceedings of 35th annual ACM symposium on theory of computing (STOC' 03).Availability: Items available for loan: [Call number: 004 As849] (1).
4137. Linux : system administration / Tom Adelstein and Bill Lubanovic.

by Adelstein, Tom | Lubanovic, Bill.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Mumbai : SPD, 2013Availability: Items available for loan: [Call number: 005.446 Ad231] (1).
4138. Proceedings of thirtieth annual ACM symposium on theory of computing / sponsored by The ACM Special Interest Group for Algorithms and Computation Theory

by ACM Special Interest Group for Algorithms and Computation Theory | ACM Symposium on Theory of Computing (23-26 May 1998: Dallas, Texas) 30th.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : ACM Press, c1998Other title: Proceedings of 30th annual ACM symposium on theory of computing.Availability: Items available for loan: [Call number: 004 As849] (1).
4139. Proceedings of thirty first annual ACM symposium on theory of computing (FCRC'99) / sponsored by The ACM Special Interest Group for Algorithms and Computation Theory

by ACM Special Interest Group for Algorithms and Computation Theory | ACM symposium on theory of computing (1-4 May 1999: Atlanta, Georgia) 31st.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : ACM Press, c1999Other title: Proceedings of 31st annual ACM symposium on theory of computing.Availability: Items available for loan: [Call number: 004 As849] (1).
4140. Proceedings of the thirty-sixth annual ACM symposium on theory of computing (STOC'04) / sponsored by SIGACT and The ACM Special Interest Group for Algorithms and Computation Theory.

by SIGACT | ACM symposium on theory of computing (13-15 Jun 2004: Chicago, Illinois, USA) 36th | ACM Special Interest Group for Algorithms and Computation Theory.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York : Association for Computing Machinery, c2004Other title: Proceedings of the 36th annual ACM symposium on theory of computing.Availability: Items available for loan: [Call number: 004 As849] (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