Your search returned 647 results.

Not what you expected? Check for suggestions
E-BOOKS
Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings / edited by Oded Maler, Amir Pnueli.

by Maler, Oded [editor.] | Pnueli, Amir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2623Source: 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
Mathematical Foundations of Computer Science 1976 [electronic resource] : Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976 / edited by Antoni Mazurkiewicz.

by Mazurkiewicz, Antoni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 45Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1976Online 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
Algorithms – ESA 2006 [electronic resource] : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings / edited by Yossi Azar, Thomas Erlebach.

by Azar, Yossi [editor.] | Erlebach, Thomas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4168Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online 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
Fast Software Encryption [electronic resource] : 7th International Workshop, FSE 2000 New York, NY, USA, April 10–12, 2000 Proceedings / edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Bruce Schneier.

by Goos, Gerhard [editor.] | Hartmanis, Juris [editor.] | Leeuwen, Jan [editor.] | Schneier, Bruce [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1978Source: 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
E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi.

by Margaria, Tiziana [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2031Source: 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
E-BOOKS
Mathematical Foundations of Computer Science 1989 [electronic resource] : Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings / edited by Antoni Kreczmar, Grazyna Mirkowska.

by Kreczmar, Antoni [editor.] | Mirkowska, Grazyna [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 379Source: 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
STACS 88 [electronic resource] : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings / edited by Robert Cori, Martin Wirsing.

by Cori, Robert [editor.] | Wirsing, Martin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 294Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online 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
Integer Programming and Combinatorial Optimization [electronic resource] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings / edited by Andrea Lodi, Alessandro Panconesi, Giovanni Rinaldi.

by Lodi, Andrea [editor.] | Panconesi, Alessandro [editor.] | Rinaldi, Giovanni [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5035Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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
Algorithms and Data Structures [electronic resource] : 5th International Workshop, WADS'97 Halifax, Nova Scotia, Canada August 6–8, 1997 Proceedings / edited by Frank Dehne, Andrew Rau-Chaplin, Jörg-Rüdiger Sack, Roberto Tamassia.

by Dehne, Frank [editor.] | Rau-Chaplin, Andrew [editor.] | Sack, Jörg-Rüdiger [editor.] | Tamassia, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1272Source: 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
New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers / edited by Takashi Washio, Ken Satoh, Hideaki Takeda, Akihiro Inokuchi.

by Washio, Takashi [editor.] | Satoh, Ken [editor.] | Takeda, Hideaki [editor.] | Inokuchi, Akihiro [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4384Source: 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
Information Security and Privacy [electronic resource] : 13th Australasian Conference, ACISP 2008, Wollongong, Australia, July 7-9, 2008. Proceedings / edited by Yi Mu, Willy Susilo, Jennifer Seberry.

by Mu, Yi [editor.] | Susilo, Willy [editor.] | Seberry, Jennifer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5107Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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 [electronic resource] : 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007. Proceedings / edited by Juan A. Garay, Arjen K. Lenstra, Masahiro Mambo, René Peralta.

by Garay, Juan A [editor.] | Lenstra, Arjen K [editor.] | Mambo, Masahiro [editor.] | Peralta, René [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4779Source: 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
Complex manifolds and hyperbolic geometry : [electronic resource] II Iberoamerican Congress on Geometry, January 4-9, 2001, CIMAT, Guanajuato, Mexico / Clifford J. Earle, William J. Harvey, Sev�in Recillas-Pishmish, editors.

by Iberoamerican Congress on Geometry (2nd : 2001 : Guanajuato, Mexico) | Earle, Clifford J | Harvey, William J, 1941- | Recillas-Pishmish, Sev�in, 1943-.

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

Place hold Log in to add tags
E-BOOKS
Operator algebras, quantization, and non-commutative geometry : [electronic resource] a centennial celebration honoring John von Neumann and Marshall H. Stone : AMS special session on operator algebras, quantization, and non-commutative geometry, a centennial celebration honoring John von Neumann and Marshall H. Stone, January 15-16, 2003, Baltimore, Maryland / Robert S. Doran, Richard V. Kadison, editors.

by Von Neumann, John, 1903-1957 | Stone, Marshall H. (Marshall Harvey), 1903-1989 | Doran, Robert S, 1937- | Kadison, Richard V, 1925-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 365.Material type: Text Text;Language: English; Format: available online remote festschrift ; 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
Geometric analysis of PDE and several complex variables : [electronic resource] dedicated to Fran�cois Treves / Sagun Chanillo ... [et al.], editors.

by Treves, Francois, 1930- | Chanillo, Sagun, 1955-.

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

Place hold Log in to add tags
E-BOOKS
The ubiquitous heat kernel : [electronic resource] AMS special session, the ubiquitous heat kernel, October 2-4, 2003, Boulder, Colorado / Jay Jorgenson, Lynne Walling, editors.

by Jorgenson, Jay | Walling, Lynne, 1958-.

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

Place hold Log in to add tags
E-BOOKS
Finite fields and applications : [electronic resource] eighth International Conference on Finite Fields and Applications, July 9-13, 2007, Melbourne, Australia / Gary L. Mullen, Daniel Panario, Igor E. Shparlinski, editors.

by International Conference on Finite Fields and Applications (8th : 2007 : Melbourne, Australia) | Mullen, Gary L | Panario, Daniel, 1959- | Shparlinski, Igor E.

Series: Contemporary mathematics (American Mathematical Society) ; v. 461.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
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
The mathematical heritage of Hermann Weyl / [electronic resource] R.O. Wells, Jr., editor.

by Symposium on the Mathematical Heritage of Hermann Weyl (1987 : Duke University) | Wells, R. O. (Raymond O'Neil), 1940-.

Series: Proceedings of symposia in pure mathematics ; v. 48Material 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
Information Security and Cryptology [electronic resource] : 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers / edited by Dongdai Lin, Moti Yung, Jianying Zhou.

by Lin, Dongdai [editor.] | Yung, Moti [editor.] | Zhou, Jianying [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 8957 | Lecture Notes in Computer Science ; 8957Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha