Your search returned 105 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic and Computer Science [electronic resource] : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20–28, 1988 / by Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov ; edited by Piergiorgio Odifreddi.

by Homer, Steven [author.] | Nerode, Anil [author.] | Platek, Richard A [author.] | Sacks, Gerald E [author.] | Scedrov, Andre [author.] | Odifreddi, Piergiorgio [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1429Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Recursion Theory Week [electronic resource] : Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989 / edited by Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks.

by Ambos-Spies, Klaus [editor.] | Müller, Gert H [editor.] | Sacks, Gerald E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1432Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Topics in Set Theory [electronic resource] : Lebesgue Measurability, Large Cardinals, Forcing Axioms, Rho-functions / by Mohamed Bekkali.

by Bekkali, Mohamed [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1476Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Injective Choice Functions [electronic resource] / by Michael Holz, Klaus-Peter Podewski, Karsten Steffens.

by Holz, Michael [author.] | Podewski, Klaus-Peter [author.] | Steffens, Karsten [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1238Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Nonstandard Asymptotic Analysis [electronic resource] / by Imme Berg.

by Berg, Imme [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1249Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Classification Theory [electronic resource] : Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15–19, 1985 / edited by John T. Baldwin.

by Baldwin, John T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1292Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Mathematical Logic and Applications [electronic resource] : Proceedings of the Logic Meeting held in Kyoto, 1987 / edited by Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman.

by Shinoda, Juichi [editor.] | Tugué, Tosiyuki [editor.] | Slaman, Theodore A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1388Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Nearly Projective Boolean Algebras [electronic resource] : With an Appendix by Sakaé Fuchino / by Lutz Heindorf, Sakaé Fuchino, Leonid B. Shapiro.

by Heindorf, Lutz [author.] | Fuchino, Sakaé [author.] | Shapiro, Leonid B [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1596Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Model Theory and Algebraic Geometry [electronic resource] : An introduction to E. Hrushovski’s proof of the geometric Mordell-Lang conjecture / edited by Elisabeth Bouscaren.

by Bouscaren, Elisabeth [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1696Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Ideal Spaces [electronic resource] / by Martin Väth.

by Väth, Martin [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1664Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Banach Spaces and Descriptive Set Theory: Selected Topics [electronic resource] / by Pandelis Dodos.

by Dodos, Pandelis [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1993Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
From Objects to Diagrams for Ranges of Functors [electronic resource] / by Pierre Gillibert, Friedrich Wehrung.

by Gillibert, Pierre [author.] | Wehrung, Friedrich [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2029Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Stochastic Calculus with Infinitesimals [electronic resource] / by Frederik Herzberg.

by Herzberg, Frederik [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2067Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Proper Forcing [electronic resource] / by Saharon Shelah.

by Shelah, Saharon [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 940Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1982Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
7th International Conference on Automated Deduction [electronic resource] : Napa, California, USA May 14–16, 1984 Proceedings / edited by R. E. Shostak.

by Shostak, R. E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 170Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: New York, NY : Springer New York, 1984Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computability and Complexity in Analysis [electronic resource] : 4th International Workshop, CCA 2000 Swansea, UK, September 17–19, 2000 Selected Papers / edited by Jens Blanck, Vasco Brattka, Peter Hertling.

by Blanck, Jens [editor.] | Brattka, Vasco [editor.] | Hertling, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2064Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Constraints in Computational Logics [electronic resource] : Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Comon, Hubert [editor.] | Marché, Claude [editor.] | Treinen, Ralf [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2002Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Mathematical Foundations of Computer Science 1999 [electronic resource] : 24th International Symposium, MFCS’99 Szklarska Poręba, Poland, September 6–10,1999 Proceedings / edited by Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki.

by Kutyłowski, Mirosław [editor.] | Pacholski, Leszek [editor.] | Wierzbicki, Tomasz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1672Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Analysis of Dynamical and Cognitive Systems [electronic resource] : Advanced Course Stockholm, Sweden, August 9–14, 1993 Proceedings / edited by Stig I. Andersson.

by Andersson, Stig I [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 888Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by Giovanni Sommaruga.

by Sommaruga, Giovanni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5363Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha