Your search returned 606 results.

Not what you expected? Check for suggestions
E-BOOKS
TAPSOFT '97: Theory and Practice of Software Development [electronic resource] : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings / edited by Michel Bidoit, Max Dauchet.

by Bidoit, Michel [editor.] | Dauchet, Max [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automata, Languages and Programming [electronic resource] : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8–12, 1996 Proceedings / edited by Friedhelm Meyer, Burkhard Monien.

by Meyer, Friedhelm [editor.] | Monien, Burkhard [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1099Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Rewriting Techniques and Applications [electronic resource] : 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings / edited by Harald Ganzinger.

by Ganzinger, Harald [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1103Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Automata, Languages and Programming [electronic resource] : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings / edited by Kim G. Larsen, Sven Skyum, Glynn Winskel.

by Larsen, Kim G [editor.] | Skyum, Sven [editor.] | Winskel, Glynn [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney.

by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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
Pattern Recognition in Bioinformatics [electronic resource] : Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007. Proceedings / edited by Jagath C. Rajapakse, Bertil Schmidt, Gwenn Volkert.

by Rajapakse, Jagath C [editor.] | Schmidt, Bertil [editor.] | Volkert, Gwenn [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4774Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online 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 - EUROCRYPT 2009 [electronic resource] : 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings / edited by Antoine Joux.

by Joux, Antoine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5479Source: 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
E-BOOKS
Information Security and Privacy [electronic resource] : 14th Australasian Conference, ACISP 2009 Brisbane, Australia, July 1-3, 2009 Proceedings / edited by Colin Boyd, Juan González Nieto.

by Boyd, Colin [editor.] | González Nieto, Juan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5594Source: 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
E-BOOKS
Mathematical Software – ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama.

by Fukuda, Komei [editor.] | Hoeven, Joris van der [editor.] | Joswig, Michael [editor.] | Takayama, Nobuki [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation [electronic resource] : In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman / edited by Oded Goldreich.

by Goldreich, Oded [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.

by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Four-manifold theory / [electronic resource] Cameron Gordon and Robion Kirby, editors.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Four-Manifold Theory (1982 : Durham, N.H.) | Gordon, Cameron, 1945- | Kirby, Robion C, 1938- | American Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
Representation theory and number theory in connection with the local Langlands conjecture : [electronic resource] proceedings of a conference held December 8-14, 1985 with support from Stiftung Volkswagenwerk, Bayerisches Staatsministerium f�ur Unterricht und Kultus, and Gesellschaft der Freunde der Universit�at / J. Ritter, editor.

by Ritter, J. (J�urgen), 1943- | Conference on Representation Theory and Number Theory in Connection with the Local Langlands Conjecture (1985 : University of Augsburg).

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

Place hold Log in to add tags
E-BOOKS
Invariant theory : [electronic resource] proceedings of an AMS special session held October 31-November 1, 1986 / R. Fossum ... [et al.], editors.

by AMS Special Session on Invariant Theory (1986 : Denton, Tex.) | Fossum, Robert M | American Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
Kazhdan-Lusztig theory and related topics : [electronic resource] proceedings of an AMS Special Session held May 19-20, 1989 at the University of Chicago, Lake Shore Campus, Chicago, Illinois / [edited by] Vinay Deodhar.

by Deodhar, Vinay, 1948- | AMS Special Session on Kazhdan-Lusztig Theory and Related Topics (1989 : Loyola University of Chicago).

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

Place hold Log in to add tags
E-BOOKS
Geometric methods in group theory : [electronic resource] AMS Special Session Geometric Group Theory, October 5-6, 2002, Northeastern University, Boston, Massachusetts : special session at the First Joint Meeting of the American Mathematical Society and the Real Sociedad Matem�atica Espa�nola, June 18-21, 2003, Seville, Spain / Jos�e Burillo ... [et al.], editors.

by AMS Special Session Geometric Group Theory (2002 : Northeastern University) | Burillo, Jos�e, 1965- | Joint Meeting of the American Mathematical Society and the Real Sociedad Matem�atica Espa�nola (1st : 2003 : Seville, Spain).

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

Place hold Log in to add tags
E-BOOKS
Spectral analysis in geometry and number theory : [electronic resource] international conference on the occasion of Toshikazu Sunada's 60th birthday, August 6-10, 2007, Nagoya University, Nagoya, Japan / Motoko Kotani, Hisashi Naito, Tatsuya Tate, editors.

by Sunada, T. (Toshikazu), 1948- | Kotani, Motoko, 1960- | Naito, Hisashi, 1961- | Tate, Tatsuya, 1971-.

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

Place hold Log in to add tags
E-BOOKS
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / edited by Gita Sukthankar, Juan A. Rodriguez-Aguilar.

by Sukthankar, Gita [editor.] | Rodriguez-Aguilar, Juan A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10642 | Lecture Notes in Computer Science ; 10642Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online 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
Public-Key Cryptography -- PKC 2015 [electronic resource] : 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings / edited by Jonathan Katz.

by Katz, Jonathan [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9020 | Lecture Notes in Computer Science ; 9020Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online 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 Its Applications [electronic resource] : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings / edited by Sujata Ghosh, Sanjiva Prasad.

by Ghosh, Sujata [editor.] | Prasad, Sanjiva [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10119 | Lecture Notes in Computer Science ; 10119Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online 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