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 295 results.

Sort
Results
21.
Artificial intelligence and neural networks : steps towards principle integration by Series: Neural networks foundations to applications
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Academic Press 1994
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 H769.
22.
Formal semantics of programming languages : an introduction by Series: Foundations of computing series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge M I T Press 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 W777.
23.
Semantics of programming languages structures and techniques by Series: Foundations of computing
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge MIT Press 1992
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 G977.
24.
Selected parers on automath by Series: Studies in logic and the foundations of mathematics; 133
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier 1994
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 N371.
25.
Theoretical mechanics of biological neural networks by Series: Neural networks foundations to applications; 1
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Academic Press 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 573.8 M147.
26.
Hilbert's tenth problem by Series: Foundations of computing
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge The MIT Press 1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.7 M433.
27.
Logical frameworks for truth and abstraction an axiomatic study by Series: Studies in logic and the foundations of mathematics,135
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier 1996
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 C231.
28.
Admissibility of logical inference rules by Series: Studies in logic and the foundations of mathematics; v 136
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier 1997
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 R988.
29.
Set theory an introduction to independence proofs by Series: Studies in logic and the foundations of mathematics; v 102
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam North-Holland 1995
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.322 K96.
30.
Control of uncertain sampled-data systems by Series: Systems & control : foundations & applications
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser 1996
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 003.8 D883.
31.
Handbook of proof theory by Series: Studies in logic and the foundations of mathematics; v 137
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier Science 1998
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B981.
32.
Algorithmic number theory by Series: Foundations of computing
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge MIT Press 1996
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.72015118 B123.
33.
Foundations for programming languages by Series: Foundations of computing
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge MIT Press 1996
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 M681.
34.
Classical recursion theory by Series: Studies in logic and the foundations of mathematics; v 143
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier 1999
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.35 Od24.
35.
Handbook of computability theory by Series: Studies in logic and the foundations of mathematics; v 140
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier 1999
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G856.
36.
Computable structures and the hyperarithmetical hierarchy by Series: Studies in logic and the foundations of mathematics; v 144
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier 2000
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 As819.
37.
Dynamics of control by Series: Systems & control: foundations & applications
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser 2000
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 629.8 C719.
38.
Computability and complexity from a programming perspective by Series: Foundations of computing
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge MIT Press 1997
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 J78.
39.
Nonlinear and robust control of PDE systems methods and applications to transport-reaction processes by Series: Systems & control: foundations & applications
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Boston Birkhauser-Verlag 2000
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 629.8312 C556.
40.
Theory of relations by Series: Studies in logic and the foundations of mathematics;v 145
Edition: rev.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam Elsevier 2000
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.32 F812.
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