Your search returned 647 results.

Not what you expected? Check for suggestions
E-BOOKS
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings / edited by Lluís Godo.

by Godo, Lluís [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3571Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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 Cryptology – ICISC 2004 [electronic resource] : 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers / edited by Choon-sik Park, Seongtaek Chee.

by Park, Choon-sik [editor.] | Chee, Seongtaek [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3506Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online 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
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007. Proceedings / edited by Pascal Hentenryck, Laurence Wolsey.

by Hentenryck, Pascal [editor.] | Wolsey, Laurence [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4510Source: 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
Foundations of Genetic Algorithms [electronic resource] : 9th International Workshop, FOGA 2007, Mexico City, Mexico, January 8-11, 2007, Revised Selected Papers / edited by Christopher R. Stephens, Marc Toussaint, Darrell Whitley, Peter F. Stadler.

by Stephens, Christopher R [editor.] | Toussaint, Marc [editor.] | Whitley, Darrell [editor.] | Stadler, Peter F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4436Source: 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
Financial Cryptography and Data Security [electronic resource] : 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008. Revised Selected Papers / edited by Gene Tsudik.

by Tsudik, Gene [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5143Source: 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 Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices [electronic resource] : 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010. Proceedings / edited by Pierangela Samarati, Michael Tunstall, Joachim Posegga, Konstantinos Markantonakis, Damien Sauveron.

by Samarati, Pierangela [editor.] | Tunstall, Michael [editor.] | Posegga, Joachim [editor.] | Markantonakis, Konstantinos [editor.] | Sauveron, Damien [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6033Source: 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
Theoretical Aspects of Computing – ICTAC 2010 [electronic resource] : 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings / edited by Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock.

by Cavalcanti, Ana [editor.] | Deharbe, David [editor.] | Gaudel, Marie-Claude [editor.] | Woodcock, Jim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6255Source: 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
Matrix theory and applications / [electronic resource] Charles R. Johnson, editor.

by Johnson, Charles R | American Mathematical Society.

Series: Proceedings of symposia in applied mathematics ; v. 40. | Proceedings of symposia in applied mathematics. AMS short course lecture notes.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
Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov.

by Beklemishev, Lev D [editor.] | Musatov, Daniil V [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9139 | Lecture Notes in Computer Science ; 9139Edition: 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
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9207 | Lecture Notes in Computer Science ; 9207Edition: 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
Proceedings of the International Conference on Algebra dedicated to the memory of A.I. Malcev / [electronic resource] L.A. Bokut, Yu. L. Ershov, A.I. Kostrikin, editors.

by International Conference on Algebra (1989 : Akademgorodok, Novosibirsk, Russia) | Mal��tsev, A. I. (Anatoli�i Ivanovich), 1909-1967 | Bokut�, L. A. (Leonid Arkad�evich), 1937- | Ershov, �IUri�i Leonidovich | Kostrikin, A. I. (Alekse�i Ivanovich).

Series: Contemporary mathematics (American Mathematical Society) ; v. 130.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
Convexity. [electronic resource]

by Symposium on Convexity University of Washington, 1961. [from old catalog] | Klee, Victor L., [from old catalog] [ed.] | Washington (State) University. [from old catalog] | American Mathematical Society. [from old catalog].

Series: Proceedings of symposia in pure mathematics ; v. 7. [from old catalog]Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1963Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Partial differential equations. [electronic resource] [Edited by D. C. Spencer]

by Symposium in Pure Mathematics University of California at Berkeley, 1971 | Spencer, D. C. (Donald Clayton), 1912-2001 [ed.] | American Mathematical Society.

Series: Proceedings of symposia in pure mathematics ; v. 23Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1973Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Harmonic analysis in Euclidean spaces / [electronic resource] [edited by Guido Weiss, Stephen Wainger ; prepared by the American Mathematical Society ...].

by Symposium in Pure Mathematics Williams College, 1978 | Weiss, Guido L, 1928- | Wainger, Stephen, 1936- | American Mathematical Society.

Series: Proceedings of symposia in pure mathematics ; v. 35.2Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence : The Society, 1979Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
E-BOOKS
Singularities / [electronic resource] [edited by Peter Orlik].

by Orlik, Peter, 1938- | American Mathematical Society | Summer Institute on Singularities (1981 : Humboldt State University).

Series: Proceedings of symposia in pure mathematics ; v. 40.2Material 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
Riemannian geometry / [electronic resource] Robert Greene, S.T. Yau, editors.

by Greene, Robert Everist, 1943- | Yau, Shing-tung, 1949- | Summer Research Institute on Differential Geometry (1990 : University of California, Los Angeles).

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

Place hold Log in to add tags
E-BOOKS
The Valuative Tree [electronic resource] / by Charles Favre, Mattias Jonsson.

by Favre, Charles [author.] | Jonsson, Mattias [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 1853Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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 2004 [electronic resource] : International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004. Proceedings / edited by Christian Cachin, Jan L. Camenisch.

by Cachin, Christian [editor.] | Camenisch, Jan L [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3027Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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] : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004. Proceedings / edited by Jóse Júlio Alferes, João Leite.

by Alferes, Jóse Júlio [editor.] | Leite, João [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3229Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Online 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
Software Engineering Research and Applications [electronic resource] : Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers / edited by Walter Dosch, Roger Y. Lee, Chisu Wu.

by Dosch, Walter [editor.] | Lee, Roger Y [editor.] | Wu, Chisu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3647Source: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha