Your search returned 7434 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1041.
Algebraic semantics by Irene Guessarian by Series: Lecture notes in Computer Science V.99
Material type: Text Text
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N815.

1042.
Introduction to axiomatic set theory by G. Takeuti, W. M. Zaring by
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.3 N71.

1043.
Introduction to mathematical logic set theory computable functions model theory by Jerome Mallitz by Series: Undergraduate Text in Mathematics
Material type: Text Text
Publication details: New York Springer-Verlag 1979
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N792.

Place hold
1044.
No cover image available
Evolution of fault-tolerant computing by A. Avizienis, H. Kopetz, J. C. Laprie by Series: Dependable Computing and Fault-Tolerant Systems V.1
Material type: Text Text
Publication details: New York Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N871.

1045.
Recursion on the countable functionals by Dag Norman by Series: Lecture Notes in Mathematics V.811
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.3 N806.

1046.
Recursively enumerable sets and degrees a study of computable functions and computably generated sets by Robert I. Soare. by Series: Perspective in Mathematical Logic
Material type: Text Text
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N871.

Place hold
1047.
Lectures on topics in finite element solution of elliptic problems by Bertrand Mercier. by Series: Lectures on Mathematics and Physics
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 N79.

1048.
Logic and structure by Dirk Van Dalen. by Series: Universitext
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 N80.

1049.
Mechanizing hypothesis formation mathematical foundations for a general theory by P. Hajek, T. Havranek by Series: Universitext
Material type: Text Text
Publication details: Berlin Springer-Verlag 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N785.

1050.
No cover image available
Enumerability . decidability . computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G. T. Herman by Series: Die Grundlehren der mathematischen Wissenschaften
Edition: 2nd.
Material type: Text Text
Publication details: Berlin Springer-Verlag 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;6.

1051.
Stochastia processes and applications in biology and medicine part 1 theory by Iosifescu P. Tautu by Series: Biomathematics V.3
Material type: Text Text
Publication details: Berlin Springer-Verlag 1973
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.2 N735.1.

Place hold
1052.
No cover image available
Enumerability . decidability . computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G.T. Herman by Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band ; Vol.127
Edition: 2nd
Material type: Text Text
Publication details: Berlin Springer-Verlag 1965
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;4.

1053.
Proof theory by Kurt Schutte, tr. from the German by J.N. Crossley by Series: Grundlehren der mathematischen Wissenschaften ; 225
Material type: Text Text
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N771.

1054.
Course in mathematical logic by Yu.I. Manin, tr. from the Russian by Neal Koblitz by Series: Graduate text in Mathematics ; 53
Material type: Text Text
Publication details: New York Springer-Verlag 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N772.

Place hold
1055.
Fundamentals of contemporary set theory by Keith J. Devlin by Series: Universitext
Material type: Text Text
Publication details: New York Springer-Verlag 1979
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N796.

Place hold
1056.
Grammar and l forms an introduction by Derick Wood by Series: Lecture Notes in Computer Science V.91
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.3 N808.

1057.
Boolean calculus of differences by Andre Thayse by Series: Lecture Notes in Computer Science V.101
Material type: Text Text
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N81.

1058.
Admissible sets and structures an approach to definability theory by Jon Barwise. by Series: Perspectives in mathematical logic
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.3 N755.

1059.
Infinitary logic in memoriam Carol Karp ed. by D. W. Kueker. by Series: Lecture Notes in Mathematics ; Vol.492
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.3 N75.

1060.
Combinatorial theory- seminar by Jacobus H. Van Lint. by Series: Lecture Notes in Mathematics V.382
Material type: Text Text
Publication details: Berlin Springer-Verlag 1974
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.606 N74.

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832