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

Sort
Results
8821.
Randomized algorithms in automatic control and data mining / Oleg Granichin, Vladimir Volkovich and Dvora Toledano-Kitai. by Series: Intelligent systems reference library ; v 67.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2015
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 G759.
8822.
Mathematical theory of democracy / Andranik Tangian. by Series: Studies in choice and welfare
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2014
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 321.8 T164.
8823.
Evolvodynamics - the mathematical theory of economic evolution : a coherent way of interpreting time, scarceness, value and economic growth / Len H.Wallast. by Series: Lecture notes in economics and mathematical systems ; 665
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2013
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 330.0151 W195.
8824.
Mathematics for physicists and engineers : fundamentals and interactive study guide / Klaus Weltner...[et al.]. by
Edition: 2nd ed
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2014
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510.2453 W464.
8825.
Introduction to compactness results in symplectic field theory / Casim Abbas. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2014
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 516.36 Ab122.
8826.
Introduction to analysis of the infinite / Euler ; translated by John D. Blanton. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1988
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 515.243 Eu88.
8827.
Multivariate calculus and geometry / Sean Dineen. Series: Springer undergraduate mathematics series
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer-Verlag, 2014
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 515 D583.
8828.
Arithmetics / Marc Hindry. by Series: Universitext
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: London : Springer-Verlag, 2011
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 513 H662.
8829.
Introduction to quantum information science / Masahito Hayashi ... [et al.]. by Series: Graduate texts in physics
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2015
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.1 H413.
8830.
Logic for applications / Anil Nerode and Richard A. Shore. by Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer-Verlag, c1993
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1015113 N451.
8831.
Tensor analysis and elementary differential geometry for physicists and engineers / Hung Nguyen-Schafer and Jan-Philip Schmidt. by Series: Mathematical engineering ; v 21.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2014
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 515.63 N576.
8832.
Physical implementation of quantum walks / Kia Manouchehri and Jingbo Wang. by Series: Quantum science and technology
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, 2014
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 530.12 M285.
8833.
Topological Galois theory : solvability and unsolvability of equations in finite terms / Askold Khovanskii. by Series: Springer monographs in mathematics
Publication details: Berlin : Springer-Verlag, 2014
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 512.32 K45.
8834.
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.
8835.
Computing in Horn clause theories / Peter Padawitz. by Series: EATCS monographs on theoretical computer science ; v 16.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin : Springer-Verlag, ©1988
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 P123.
8836.
8837.
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.
8838.
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.
8839.
8840.
Foundations of logic programming / J.W. Lloyd. by Series: Symbolic computation | Artificial intelligence
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; Springer-Verlag, 1984
Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 L793.
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