Your search returned 788 results.

Not what you expected? Check for suggestions
E-BOOKS
Learning and Intelligent Optimization [electronic resource] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers / edited by Giuseppe Nicosia, Panos Pardalos.

by Nicosia, Giuseppe [editor.] | Pardalos, Panos [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7997Source: 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
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
Matroid theory : [electronic resource] AMS-IMS-SIAM Joint Summer Research Conference on Matroid Theory, July 2-6, 1995, University of Washington, Seattle / Joseph E. Bonin, James G. Oxley, Brigitte Servatius, editors.

by AMS-IMS-SIAM Joint Summer Research Conference on Matroid Theory (1995 : University of Washington) | Bonin, Joseph E. (Joseph Edmond), 1962- | Oxley, J. G | Servatius, Brigitte, 1954-.

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

Place hold Log in to add tags
E-BOOKS
Continued fractions : [electronic resource] from analytic number theory to constructive approximation : a volume in honor of L.J. Lange : continued fractions, from analytic number theory to constructive approximation, May 20-23, 1998, University of Missouri-Columbia / Bruce C. Berndt, Fritz Gesztesy, editors.

by Lange, L. J. (Leo Jerome), 1928- | Berndt, Bruce C, 1939- | Gesztesy, Fritz, 1953-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 236.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, RI : American Mathematical Society, 1999Online 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
Nonstandard models of arithmetic and set theory : [electronic resource] AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland / Ali Enayat, Roman Kossak, editors.

by AMS Special Session Nonstandard Models of Arithmetic and Set Theory (2003 : Baltimore, Md.) | Enayat, Ali, 1959- | Kossak, Roman, 1953-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 361.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
Integer points in polyhedra : [electronic resource] geometry, number theory, algebra, optimization : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Integer Points in Polyhedra, Geometry, Number Theory, Algebra, Optimization, July 13-17, 2003, Snowbird, Utah / Alexander Barvinok ... [et al.], editors.

by AMS-IMS-SIAM Joint Summer Research Conference on Integer Points in Polyhedra, Geometry, Number Theory, Algebra, Optimization (2003 : Snowbird, Utah) | Barvinok, Alexander, 1963-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 374.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : 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
Dynamics on the Riemann Sphere [electronic resource] : A Bodil Branner Festschrift / Poul G. Hjorth, Carsten Lunde Petersen

by Hjorth, Poul G [editor.] | Lunde Petersen, Carsten [editor.].

Material type: Text Text;Language: English; Format: available online remote festschrift ; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2006Online access: Click here to access online | cover image Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Handbook of Teichmüller Theory, Volume VI [electronic resource] / Athanase Papadopoulos

by Papadopoulos, Athanase [editor.].

Series: IRMA Lectures in Mathematics and Theoretical Physics (IRMA) ; 27Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2016Online access: Click here to access online | cover image 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
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz.

by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10499 | Lecture Notes in Computer Science ; 10499Edition: 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
Combinatorial Algorithms [electronic resource] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / edited by Veli Mäkinen, Simon J. Puglisi, Leena Salmela.

by Mäkinen, Veli [editor.] | Puglisi, Simon J [editor.] | Salmela, Leena [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9843 | Lecture Notes in Computer Science ; 9843Edition: 1st ed. 2016.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, 2016Online 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
Electronic Voting [electronic resource] : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings / edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann.

by Krimmer, Robert [editor.] | Volkamer, Melanie [editor.] | Braun Binder, Nadja [editor.] | Kersting, Norbert [editor.] | Pereira, Olivier [editor.] | Schürmann, Carsten [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10615 | Lecture Notes in Computer Science ; 10615Edition: 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
Computer Science – Theory and Applications [electronic resource] : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.

by Weil, Pascal [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10304 | Lecture Notes in Computer Science ; 10304Edition: 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
Intelligent Computing Theories and Methodologies [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Abir Hussain.

by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Hussain, Abir [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9226 | Lecture Notes in Computer Science ; 9226Edition: 1st ed. 2015.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, 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
Berkovich Spaces and Applications [electronic resource] / edited by Antoine Ducros, Charles Favre, Johannes Nicaise.

by Ducros, Antoine [editor.] | Favre, Charles [editor.] | Nicaise, Johannes [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2119Edition: 1st ed. 2015.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, 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
Computational Science — ICCS 2003 [electronic resource] : International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2–4, 2003 Proceedings, Part I / edited by Peter M. A. Sloot, David Abramson, Alexander V. Bogdanov, Jack J. Dongarra, Albert Y. Zomaya, Yuriy E. Gorbachev.

by Sloot, Peter M. A [editor.] | Abramson, David [editor.] | Bogdanov, Alexander V [editor.] | Dongarra, Jack J [editor.] | Zomaya, Albert Y [editor.] | Gorbachev, Yuriy E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2657Source: 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
Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.

by Lloyd, John [editor.] | Dahl, Veronica [editor.] | Furbach, Ulrich [editor.] | Kerber, Manfred [editor.] | Lau, Kung-Kiu [editor.] | Palamidessi, Catuscia [editor.] | Pereira, Luís Moniz [editor.] | Sagiv, Yehoshua [editor.] | Stuckey, Peter J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1861Source: 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
Computational Intelligence. Theory and Applications [electronic resource] : International Conference, 7th Fuzzy Days Dortmund, Germany, October 1–3, 2001 Proceedings / edited by Bernd Reusch.

by Reusch, Bernd [editor.] | SpringerLink (Online service).

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

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

Powered by Koha