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


Refine your search

Your search returned 2426 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
2421.
Research topics in functional programming / [edited by] David A. Turner. by Series: The UT year of programming series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Massachusetts : Addison-Wesley Pub. Co., c1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.114 T945.
Place hold Add to cart
2422.
First-order logic and automated theorem proving / Melvin Fitting. by Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 F547.
Place hold Add to cart
2423.
Predicate calculus and program semantics / Edsger W. Dijkstra and Carel S. Scholten. by Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1015113 D575.
Place hold Add to cart
2424.
Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch. by Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, c1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.11 P275.
Place hold Add to cart
2425.
Logical foundations of functional programming / [edited by] Gerard Huet. by Series: UT year of programming series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Reading, Massachusetts : Addison-Wesley, c1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.114 H888.
Place hold Add to cart
2426.
Representing and reasoning with probabilistic knowledge : a logical approach to probabilities / Fahiem Bacchus. by Series: Artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Cambridge : MIT Press, c1990
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 519.2 B116.
Place hold Add to cart
Pages
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