Your search returned 202 results.

Not what you expected? Check for suggestions
E-BOOKS
Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman.

by Kratochvíl, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jiří [editor.] | Kolman, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6108Source: 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
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
Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia.

by Moreno Díaz, Roberto [editor.] | Pichler, Franz [editor.] | Quesada Arencibia, Alexis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3643Source: 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
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics [electronic resource] : International Conference IFIP TCS 2000 Sendai, Japan, August 17–19, 2000 Proceedings / edited by Jan Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito.

by Leeuwen, Jan [editor.] | Watanabe, Osamu [editor.] | Hagiya, Masami [editor.] | Mosses, Peter D [editor.] | Ito, Takayasu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1872Source: 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
Eurocal '87 [electronic resource] : European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987 Proceedings / edited by James H. Davenport.

by Davenport, James H [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 378Source: 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
The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist.

by Cudré-Mauroux, Philippe [editor.] | Heflin, Jeff [editor.] | Sirin, Evren [editor.] | Tudorache, Tania [editor.] | Euzenat, Jérôme [editor.] | Hauswirth, Manfred [editor.] | Parreira, Josiane Xavier [editor.] | Hendler, Jim [editor.] | Schreiber, Guus [editor.] | Bernstein, Abraham [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7650Source: 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
The Semantic Web – ISWC 2012 [electronic resource] : 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I / edited by Philippe Cudré-Mauroux, Jeff Heflin, Evren Sirin, Tania Tudorache, Jérôme Euzenat, Manfred Hauswirth, Josiane Xavier Parreira, Jim Hendler, Guus Schreiber, Abraham Bernstein, Eva Blomqvist.

by Cudré-Mauroux, Philippe [editor.] | Heflin, Jeff [editor.] | Sirin, Evren [editor.] | Tudorache, Tania [editor.] | Euzenat, Jérôme [editor.] | Hauswirth, Manfred [editor.] | Parreira, Josiane Xavier [editor.] | Hendler, Jim [editor.] | Schreiber, Guus [editor.] | Bernstein, Abraham [editor.] | Blomqvist, Eva [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7649Source: 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
Function spaces : [electronic resource] proceedings of the Third Conference on Function Spaces, May 19-23, 1998, Southern Illinois University at Edwardsville / Krzysztof Jarosz, editor.

by Conference on Function Spaces (3rd : 1998 : Southern Illinois University at Edwardsville) | Jarosz, Krzysztof, 1953-.

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

Place hold Log in to add tags
E-BOOKS
Gems in experimental mathematics : [electronic resource] AMS Special Session, Experimental Mathematics, January 5, 2009, Washington, DC / Tewodros Amdeberhan, Luis A. Medina, Victor H. Moll, editors.

by AMS Special Session on Experimental Mathematics (2009 : Washington, D.C.) | Amdeberhan, Tewodros, 1971- | Medina, Luis A, 1981- | Moll, Victor H, 1956- | American Mathematical Society.

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

Place hold Log in to add tags
E-BOOKS
Operator theory : [electronic resource] operator algebras and applications / William B. Arveson and Ronald G. Douglas, editors.

by Summer Research Institute on Operator Theory/Operator Algebras and Applications (1988 : University of New Hampshire) | Arveson, William | Douglas, Ronald G | American Mathematical Society.

Series: Proceedings of symposia in pure mathematics ; v. 51.2Material 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
Motives / [electronic resource] Uwe Jannsen, Steven L. Kleiman, Jean-Pierre Serre, editors.

by Jannsen, Uwe | Kleiman, Steven L | Serre, Jean-Pierre, 1926- | Summer Research Conference on Motives (1991 : University of Washington).

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

Place hold Log in to add tags
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
EUROCAL '85 [electronic resource] : European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions / edited by Bob F. Caviness.

by Caviness, Bob F [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 204Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1985Online 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 Systems Theory - EUROCAST 2003 [electronic resource] : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers / edited by Roberto Moreno-Díaz, Franz Pichler.

by Moreno-Díaz, Roberto [editor.] | Pichler, Franz [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2809Source: 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
Database Theory — ICDT’99 [electronic resource] : 7th International Conference Jerusalem, Israel, January 10–12, 1999 Proceedings / edited by Catriel Beeri, Peter Buneman.

by Beeri, Catriel [editor.] | Buneman, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1540Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999Online 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
Image Analysis and Processing [electronic resource] : 9th International Conference, ICIAP '97 Florence, Italy, September 17–19, 1997 Proceedings, Volume I / edited by Alberto Bimbo.

by Bimbo, Alberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1310Source: 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
Hybrid Systems: Computation and Control [electronic resource] : 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings / edited by Magnus Egerstedt, Bud Mishra.

by Egerstedt, Magnus [editor.] | Mishra, Bud [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4981Source: 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
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
Human-Computer Interaction. Human-Centred Design Approaches, Methods, Tools, and Environments [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Masaaki Kurosu.

by Kurosu, Masaaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8004Source: 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
Jack, Hall-Littlewood, and Macdonald polynomials : [electronic resource] Workshop on Jack, Hall-Littlewood, and Macdonald Polynomials, September 23-26, 2003, ICMS, Edinburgh, United Kingdom / Vadim B. Kuznetsov, Siddhartha Sahi, editors.

by Workshop on Jack, Hall-Littlewood, and Macdonald Polynomials (2003 : Edinburgh, Scotland) | Kuznetsov, Vadim B, 1963- | Sahi, Siddhartha, 1958-.

Series: Contemporary mathematics ; v. 417Material 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha