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

|
1. Automata and formal languages an introduction

by Kelley Dean.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New Jersey Prentice-Hall 1995Availability: Items available for loan: [Call number: 511.3 K29] (1).
2. Semantic techniques in quantum computation

by Gay Simon [ed.] | Mackie Ian [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge CUP 2010Availability: Items available for loan: [Call number: 004.1 G285] (1).
3. 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).
4. 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).
5. 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).
6. 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).
7. Foundations of quantum programming / Mingsheng Ying.

by Ying, Mingsheng [author].

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam : Elsevier/MK, ©2016Availability: Items available for loan: [Call number: 006.31 Y51] (1).
8. Concepts of programming languages / Robert W. Sebesta.

by Sebesta, Robert W [author].

Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Harlow : Addison-Wesley, 1999Availability: Items available for loan: [Call number: 005.13 Se443] (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