Your search returned 23 results.

Not what you expected? Check for suggestions
E-BOOKS
Algebraic Topology [electronic resource] : Proceedings of an International Conference held in Arcata, California, July 27 – August 2, 1986 / edited by Gunnar Carlsson, Ralph Cohen, Haynes Miller, Douglas Ravenel.

by Carlsson, Gunnar [editor.] | Cohen, Ralph [editor.] | Miller, Haynes [editor.] | Ravenel, Douglas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1370Source: 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): .

Place hold Log in to add tags
E-BOOKS
Geographic Information Science [electronic resource] : Third International Conference, GIScience 2004, Adelphi, MD, USA, October 20-23, 2004. Proceedings / edited by Max J. Egenhofer, Christian Freksa, Harvey J. Miller.

by Egenhofer, Max J [editor.] | Freksa, Christian [editor.] | Miller, Harvey J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Combinatorial Algorithms [electronic resource] : 20th International Workshop, IWOCA 2009, Hradec nad Moravicí, Czech Republic, June 28–July 2, 2009, Revised Selected Papers / edited by Jiří Fiala, Jan Kratochvíl, Mirka Miller.

by Fiala, Jiří [editor.] | Kratochvíl, Jan [editor.] | Miller, Mirka [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5874Source: 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): .

Place hold Log in to add tags
BOOKS
The Writer's Library : the Authors You Love on the Books that Changed Their Lives

by Pearl, Nancy | Schwager, Jeff.

Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Harperone 2020Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 58, Shelf No: 7 Call number: 82.09 PEA.

Place hold Log in to add tags
E-BOOKS
Automorphic forms and related geometry : [electronic resource] assessing the legecy of I.I. Piatetski-Shapiro : April 23-27, 2012, Yale University, New Haven, CT / James W. Cogdell, Freydoon Shahidi, David Soudry, editors.

by Cogdell, James W, 1953- [editor of compilation.] | Shahidi, Freydoon [editor of compilation.] | Soudry, David, 1956- [editor of compilation.].

Series: Contemporary mathematics ; v. 614Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Providence, Rhode Island : American Mathematical Society, [2014]Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Function spaces : [electronic resource] Fourth Conference on Function Spaces, May 14-19, 2002, Southern Illinois University at Edwardsville / Krzysztof Jarosz, editor.

by Conference on Function Spaces (4th : 2002 : Southern Illinois University at Edwardsville) | Jarosz, Krzysztof, 1953-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 328.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2003Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 14th International Colloquium Karlsruhe, Federal Republic of Germany, July 13–17, 1987 Proceedings / edited by Thomas Ottmann.

by Ottmann, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 267Source: 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): .

Place hold Log in to add tags
BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings /

by Manindra Agrawal | Agrawal, Manindra | Seth, Anil.

Series: Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Items available for reference: IMSc Library Not for loan_1 (1). Location(s): Multiple Copies Section, Shelf No: 14 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Symposium on Algebraic Topology in Honor of Jose Adem / [electronic resource] [edited by Samuel Gitler].

by Symposium on Algebraic Topology in Honor of Jose Adem (1981 : Centro Vacacional del Seguro Social) | Gitler, Samuel | Adem, Jos�e.

Series: Contemporary mathematics (American Mathematical Society) ; v. 12.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1982Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings / edited by David Basin, Burkhart Wolff.

by Basin, David [editor.] | Wolff, Burkhart [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Logic and combinatorics : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985 / Stephen G. Simpson, editor.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to Finite Combinatorics (1985 : Humboldt State University) | Simpson, Stephen G. (Stephen George), 1945- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

Series: Contemporary mathematics (American Mathematical Society) ; v. 65.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1987Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Geometry and topology, Aarhus : [electronic resource] conference on geometry and topology, August 10-16, 1998, Aarhus University, Aarhus, Denmark / Karsten Grove, Ib Henning Madsen, Erik Kj�r Pedersen, editors.

by Grove, Karsten | Madsen, I. H. (Ib Henning), 1942- | Pedersen, Erik Kj�r, 1946-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 258.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2000Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Banach algebras and their applications : [electronic resource] Sixteenth International Conference on Banach Algebras, University of Alberta in Edmonton, Canada, July 27-August 9, 2003 / Anthony To-Ming Lau, Volker Runde, editors.

by International Conference on Banach Algebras (16th : 2003 : University of Alberta in Edmonton) | Lau, Anthony To-Ming | Runde, Volker.

Series: Contemporary mathematics (American Mathematical Society) ; v. 363.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2004Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Topology, geometry, and algebra : [electronic resource] interactions and new directions : Conference on Algebraic Topology in honor of R. James Milgram, August 17-21, 1999, Stanford, California / Alejandro Adem, Gunnar Carlsson, Ralph Cohen, editors.

by Conference on Algebraic Topology in Honor of R. James Milgram (1999 : Stanford, Calif.) | Milgram, R. James | Adem, Alejandro | Carlsson, G. (Gunnar), 1952- | Cohen, Ralph L, 1952-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 279.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2001Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Genetic Programming [electronic resource] : European Conference, EuroGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000. Proceedings / edited by Riccardo Poli, Wolfgang Banzhaf, William B. Langdon, Julian Miller, Peter Nordin, Terence C. Fogarty.

by Poli, Riccardo [editor.] | Banzhaf, Wolfgang [editor.] | Langdon, William B [editor.] | Miller, Julian [editor.] | Nordin, Peter [editor.] | Fogarty, Terence C [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Advances in Cryptology — AUSCRYPT '92 [electronic resource] : Workshop on the Theory and Application of Cryptographic Techniques Gold Coast, Queensland, Australia, December 13–16, 1992 Proceedings / edited by Jennifer Seberry, Yuliang Zheng.

by Seberry, Jennifer [editor.] | Zheng, Yuliang [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automated theorem proving : [electronic resource] after 25 years / W.W. Bledsoe and D.W. Loveland, editors.

by Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) | Bledsoe, W. W | Loveland, Donald W | American Mathematical Society.

Series: Contemporary mathematics (American Mathematical Society) ; v. 29.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, 1984Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Genetic Programming [electronic resource] : 5th European Conference, EuroGP 2002 Kinsale, Ireland, April 3–5, 2002 Proceedings / edited by James A. Foster, Evelyne Lutton, Julian Miller, Conor Ryan, Andrea Tettamanzi.

by Foster, James A [editor.] | Lutton, Evelyne [editor.] | Miller, Julian [editor.] | Ryan, Conor [editor.] | Tettamanzi, Andrea [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings / edited by Manindra Agrawal, Anil Seth.

by Agrawal, Manindra [editor.] | Seth, Anil [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer-Aided Verification [electronic resource] : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings / edited by Edmund M. Clarke, Robert P. Kurshan.

by Clarke, Edmund M [editor.] | Kurshan, Robert P [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 531Source: 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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha