Your search returned 788 results.

Not what you expected? Check for suggestions
E-BOOKS
Search Computing [electronic resource] : Challenges and Directions / edited by Stefano Ceri, Marco Brambilla.

by Ceri, Stefano [editor.] | Brambilla, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5950Source: 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
Experimental Algorithms [electronic resource] : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings / edited by Paola Festa.

by Festa, Paola [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6049Source: 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
Cooperative Design, Visualization, and Engineering [electronic resource] : 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings / edited by Yuhua Luo.

by Luo, Yuhua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6240Source: 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
Objects and Databases [electronic resource] : Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings / edited by Alan Dearle, Roberto V. Zicari.

by Dearle, Alan [editor.] | Zicari, Roberto V [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6348Source: 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
Logics in Artificial Intelligence [electronic resource] : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings / edited by Luis Fariñas Cerro, Andreas Herzig, Jérôme Mengin.

by Cerro, Luis Fariñas [editor.] | Herzig, Andreas [editor.] | Mengin, Jérôme [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7519Source: 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
Social Informatics [electronic resource] : 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012. Proceedings / edited by Karl Aberer, Andreas Flache, Wander Jager, Ling Liu, Jie Tang, Christophe Guéret.

by Aberer, Karl [editor.] | Flache, Andreas [editor.] | Jager, Wander [editor.] | Liu, Ling [editor.] | Tang, Jie [editor.] | Guéret, Christophe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7710Source: 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
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Vittorio Cortellessa, Dániel Varró.

by Cortellessa, Vittorio [editor.] | Varró, Dániel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7793Source: 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 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
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, François Lévy, Adam Wyner, Adrian Paschke.

by Morgenstern, Leora [editor.] | Stefaneas, Petros [editor.] | Lévy, François [editor.] | Wyner, Adam [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8035Source: 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 for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.

by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8312Source: 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
Recent developments in geometry : [electronic resource] proceedings of the AMS Special Session in Geometry, November 14-15, 1987 / S.-Y. Cheng, H. Choi, and Robert E. Greene, editors.

by AMS Special Session in Geometry (1987 : University of California, Los Angeles) | Cheng, S.-Y | Choi, H | Greene, Robert Everist, 1943- | American Mathematical Society.

Series: Contemporary mathematics (American Mathematical Society) ; v. 101.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
Heat kernels and analysis on manifolds, graphs, and metric spaces : [electronic resource] lecture notes from a quarter program on heat kernels, random walks, and analysis on manifolds, and graphs, : April 16-July 13, 2002, Emile Borel Centre of the Henri Poincar�e Institute, Paris, France / Pascal Auscher, Thierry Coulhon, Alexander Grigor�yan.

by Auscher, Pascal | Coulhon, T | Grigoryan, A. (Alexander).

Series: Contemporary mathematics (American Mathematical Society) ; v. 338.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, RI : 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
Idempotent mathematics and mathematical physics : [electronic resource] international workshop, February 3-10, 2003, Erwin Schr�odinger International Institute for Mathematical Physics, Vienna, Austria / G.L. Litvinov, V.P. Maslov, editors.

by Litvinov, G. L. (Grigori�i Lazarevich), 1944- | Maslov, V. P. (Viktor Pavlovich).

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

Place hold Log in to add tags
E-BOOKS
Radon transforms, geometry, and wavelets : [electronic resource] AMS Special Session, January 7-8, 2007, New Orleans, Louisiana : Workshop, January 4-5, 2007, Baton Rouge, Louisiana / Gestur �Olafsson ... [et al.], editors.

by AMS Special Session on Radon Transforms, Convex Geometry, and Geometric Analysis (2007 : New Orleans, La.) | �Olafsson, Gestur | AMS Special Session on Frames and Wavelets in Harmonic Analysis, Geometry, and Applications (2007 : New Orleans, La.) | Workshop on Harmonic Analysis and Applications (2007 : Baton Rouge, La.).

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

Place hold Log in to add tags
E-BOOKS
Concentration, functional inequalities, and isoperimetry : [electronic resource] International Workshop on Concentration, Functional Inequalities, and Isoperimetry, October 29-November 1, 2009, Florida Atlantic University, Boca Raton, Florida / Christian Houdr�e ... [et al.], editors.

by International Workshop on Concentration, Functional Inequalities, and Isoperimetry (2009 : Florida Atlantic University) | Houdr�e, Christian.

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

Place hold Log in to add tags
E-BOOKS
6th International Congress on Industrial and Applied Mathematics Zürich, Switzerland, 16-20 July 2007 [electronic resource] : Invited Lectures / Rolf Jeltsch, Gerhard Wanner

by Jeltsch, Rolf [editor.] | Wanner, Gerhard [editor.].

Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2009Online 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
Experimental Algorithms [electronic resource] : 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings / edited by Evripidis Bampis.

by Bampis, Evripidis [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9125 | Lecture Notes in Computer Science ; 9125Edition: 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
Theory of Cryptography [electronic resource] : 14th International Conference, TCC 2016-B, Beijing, China, October 31-November 3, 2016, Proceedings, Part II / edited by Martin Hirt, Adam Smith.

by Hirt, Martin [editor.] | Smith, Adam [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9986 | Lecture Notes in Computer Science ; 9986Edition: 1st ed. 2016.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, 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
Transactions on Petri Nets and Other Models of Concurrency XII [electronic resource] / edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang.

by Koutny, Maciej [editor.] | Kleijn, Jetty [editor.] | Penczek, Wojciech [editor.] | Zhang, Mingmin [editor.] | SpringerLink (Online service).

Series: Transactions on Petri Nets and Other Models of Concurrency ; 10470 | Lecture Notes in Computer Science ; 10470Edition: 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
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin.

by Chechik, Marsha [editor.] | Raskin, Jean-François [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9636 | Lecture Notes in Computer Science ; 9636Edition: 1st ed. 2016.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, 2016Online 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