Your search returned 7434 results.

Sort
Results
1061.
First-order dynamic logic by David Harel, by Series: Lecture Notes in Computer Science V.68
Material type: Text Text
Publication details: Berlin Springer-Verlag 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N795.

1062.
P-functions & boolean matrix factorization by Series: Lecture Notes in Computer Science ; 175
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin: Springer-Verlag, 1985
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.32 THA.

1063.
Semi-groups of operators and approximation Paul l.Butzer and Hubert berens by Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band 145
Material type: Text Text
Publication details: New York Springer-Verlag 1967
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.4 N67.

1064.
Methods and applications of error-free computation by R.T. Gregory and E.V. Krishnamurthy by Series: Texts and Monographs in Computer Science
Material type: Text Text
Publication details: New York Springer-Verlag 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.40285 N84.

1065.
Combinatorial methods by J. K. Percus by Series: Applied Mathematical Sciences V.4
Material type: Text Text
Publication details: New York Springer-Verlag 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.6 N711.

1066.
Analysis and design of algorithms in combinatorial optimization ed. by G. Ausiello, M. Lucertini by Series: International Centre for Mechanical Sciences
Material type: Text Text
Publication details: New York Springer-Verlag Wien 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.6 N81.

1067.
On construction and identification of graphs by Boris Weisfeiler by Series: Lecture Notes in Mathematics V.558
Material type: Text Text
Publication details: Berlin Springer-Verlag 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.5 N763.

1068.
Combinatorics with emphasis on the theory of graphs by Jack E. Graver, Mark E. Watkins by Series: Graduate Text in Mathematics V.54
Material type: Text Text
Publication details: New York Springer-Verlag 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.6 N774.

1069.
Lectures on numerical methods for non-linear variational problems by R. Glowinski by
Material type: Text Text
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N80;1.

1070.
Practical guide to splines by Carl De Boor by Series: Applied Mathematical Sciences V.27
Material type: Text Text
Publication details: New York Springer-Verlag 1978
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.42 N781.

1071.
Lectures on numerical methods for non-linear variational problems by R. Glowinski by
Material type: Text Text
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.7 N80.

1072.
Sphere packings, lattices and groups by J.H. Conway, N.J.A. Sloane by Series: Grundlehren der mathematischen Wissenschaften, a Series of Comprehensive Studiess in Mathematics
Material type: Text Text
Publication details: New York Springer-Verlag 1988
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.6 N88.

1073.
Formal techniques for data base design by Antonio L. Furtado, Erich J. Neuhold by
Material type: Text Text
Publication details: Berlin Springer-Verlag 1986
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6442 N86.

1074.
Predator-prey model do we live in a volterra world by Manfred Peschle, Werner Mende by
Material type: Text Text
Publication details: Wien Springer-Verlag 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.8 N86.

1075.
Application of number theory to numerical analysis by Hua Loo Keng and Wang Yuan by
Material type: Text Text
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.7 N811.

1076.
Index and other useful information ed. by Albrecht Dold and Beno Eckmann by Series: Lecture Notes in Mathematics ; 1-500
Material type: Text Text
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N75-1.

1077.
Regenerative simulation of response times in networks of queues by D. L. Iglehart, G. S. Shedler by Series: Lecture Notes in Control and Information Sciences V.26
Material type: Text Text
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.8 N802.

1078.
Computation of fixed points and applications by Michael J. Todd by Series: Lecture Notes in Economics and Mathematical Systems V.124
Material type: Text Text
Publication details: Berlin Springer-Verlag 1976
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.8 N763.

1079.
Foundations of system theory finitary and infinitary conditions by B.D.O. Anderson, M.A. Arbib and E.G. Manes by Series: Lecture Notes in Economics and Mathematical Systems 115
Material type: Text Text
Publication details: Berlin Springer-Verlag 1976
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N762.

1080.
Categories of algebraic systems vectors and projective spaces, semigroups, rings and lattices by Mario Petrich. by Series: Lecture Notes in Mathematics 553
Material type: Text Text
Publication details: Berlin Springer-Verlag 1976
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512 N765.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832