Your search returned 647 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler.

by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5643Source: 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
Unconventional Computation [electronic resource] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg.

by Calude, Cristian S [editor.] | Costa, José Félix [editor.] | Dershowitz, Nachum [editor.] | Freire, Elisabete [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5715Source: 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
Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz.

by Dawar, Anuj [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6188Source: 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
Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Petr Hliněný, Antonín Kučera.

by Hliněný, Petr [editor.] | Kučera, Antonín [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6281Source: 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
Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr.

by Ehrig, Hartmut [editor.] | Rensink, Arend [editor.] | Rozenberg, Grzegorz [editor.] | Schürr, Andy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6372Source: 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
Advances in Soft Computing [electronic resource] : 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part II / edited by Grigori Sidorov, Arturo Hernández Aguirre, Carlos Alberto Reyes García.

by Sidorov, Grigori [editor.] | Hernández Aguirre, Arturo [editor.] | Reyes García, Carlos Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6438Source: 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
Advances in Cryptology – ASIACRYPT 2012 [electronic resource] : 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings / edited by Xiaoyun Wang, Kazue Sako.

by Wang, Xiaoyun [editor.] | Sako, Kazue [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7658Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online 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 2013 [electronic resource] : 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings / edited by Thomas Johansson, Phong Q. Nguyen.

by Johansson, Thomas [editor.] | Nguyen, Phong Q [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7881Source: 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
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger.

by Carette, Jacques [editor.] | Aspinall, David [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7961Source: 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
Advances in Artificial Intelligence and Its Applications [electronic resource] : 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / edited by Félix Castro, Alexander Gelbukh, Miguel González.

by Castro, Félix [editor.] | Gelbukh, Alexander [editor.] | González, Miguel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8265Source: 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
Proceedings of the Conference on Integration, Topology, and Geometry in Linear Spaces / [electronic resource] [edited by William H. Graves].

by Conference on Integration, Topology, and Geometry in Linear Spaces (1979 : University of North Carolina) | Graves, William Howard, 1940-.

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

Place hold Log in to add tags
E-BOOKS
Topological methods in nonlinear functional analysis / [electronic resource] S.P. Singh, S. Thomeier, and B. Watson, editors.

by Singh, S. P. (Sankatha Prasad), 1937- | Thomeier, S | Watson, B, 1946-.

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

Place hold Log in to add tags
E-BOOKS
Statistical inference from stochastic processes : [electronic resource] proceedings of the AMS-IMS-SIAM joint summer research conference held August 9-15, 1987, with support from the National Science Foundation and the Army Research Office / N.U. Prabhu, editor.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Statistical Inference from Stochastic Processes (1987 : Cornell University) | Prabhu, N. U. (Narahari Umanath), 1924- | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

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

Place hold Log in to add tags
E-BOOKS
Lie algebras and related topics : [electronic resource] proceedings of a research conference held May 22-June 1, 1988, with support from the National Science Foundation / Georgia Benkart and J. Marshall Osborn, editors.

by Conference on Lie Algebras and Related Topics (1988 : University of Wisconsin--Madison) | Benkart, Georgia | Osborn, J. Marshall, 1930- | National Science Foundation (U.S.).

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

Place hold Log in to add tags
E-BOOKS
p-adic methods in number theory and algebraic geometry / [electronic resource] Alan Adolphson, Steven Sperber, Marvin Tretkoff, editors.

by Adolphson, Alan, 1951- | Sperber, Steven, 1945- | Tretkoff, Marvin, 1943-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 133.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
Homotopy theory via algebraic geometry and group representations : [electronic resource] proceedings of a Conference on Homotopy Theory, March 23-27, 1997, Northwestern University / Mark Mahowald, Stewart Priddy, editors.

by Conference on Homotopy Theory (1997 : Northwestern University) | Mahowald, M. E. (Mark E.), 1931- | Priddy, Stewart, 1940-.

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

Place hold Log in to add tags
E-BOOKS
Wavelets, frames, and operator theory : [electronic resource] Focused Research Group Workshop on Wavelets, Frames, and Operator Theory, January 15-21, 2003, University of Maryland, College Park, Maryland / Christopher Heil, Palle E.T. Jorgensen, David R. Larson, editors.

by Focused Research Group Workshop on Wavelets, Frames, and Operator Theory (2003 : University of Maryland) | Heil, Christopher R, 1965- | J�rgensen, Palle E. T, 1947- | Larson, David R, 1942-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 345.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
Arithmetic, geometry, cryptography, and coding theory : [electronic resource] international conference, November 5-9, 2007, CIRM, Marseilles, France / Gilles Lachaud, Christophe Ritzenthaler, Michael A. Tsfasman, editors.

by Lachaud, Gilles | Ritzenthaler, Christophe, 1976- | Tsfasman, M. A. (Michael A.), 1954-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 487.Material type: Text Text;Language: English; Format: available online remote; 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
Quadratic forms : [electronic resource] algebra, arithmetic, and geometry / Ricardo Baeza ... [et al.], editors.

by International Conference on the Algebraic and Arithmetic Theory of Quadratic Forms (2007: : Frutillar, Chile) | Baeza, Ricardo, 1942-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 493.Material type: Text Text;Language: English; Format: available online remote; 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
Vertex operator algebras and related areas : [electronic resource] an international conference in honor of Geoffrey Mason's 60th birthday : July 7-11, 2008, Illinois State University, Normal, Illinois / Maarten Bergvelt, Gaywalee Yamskulna, Wenhua Zhao, editors.

by Mason, Geoffrey, 1948- | Bergvelt, M. J | Yamskulna, Gaywalee, 1974- | Zhao, Wenhua, 1968-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 497.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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha