Your search returned 94 results.

Not what you expected? Check for suggestions
E-BOOKS
Principles and Practice of Constraint Programming - CP 2002 [electronic resource] : 8th International Conference, CP 2002 Ithaca, NY, USA, September 9–13, 2002 Proceedings / edited by Pascal Hentenryck.

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

Series: Lecture Notes in Computer Science ; 2470Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Computer Vision — ECCV 2002 [electronic resource] : 7th European Conference on Computer Vision Copenhagen, Denmark, May 28–31, 2002 Proceedings, Part II / edited by Anders Heyden, Gunnar Sparr, Mads Nielsen, Peter Johansen.

by Heyden, Anders [editor.] | Sparr, Gunnar [editor.] | Nielsen, Mads [editor.] | Johansen, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2351Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings / edited by Laurent Perron, Michael A. Trick.

by Perron, Laurent [editor.] | Trick, Michael A [editor.] | SpringerLink (Online service).

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

E-BOOKS
Algebraic structures and their representations : [electronic resource] XV Coloquio Latinoamericano de Algebra, Cocoyoc, Morelos, M�exico, July 20-26, 2003 / Jos�e A. de la Pe�na, Ernesto Vallejo, Natig Atakishiyev, editors.

by Coloquio Latinoamericano de Algebra (15th : 2003 : Cocoyoc, Mexico) | Pe�na, Jos�e Antonio de la, 1958- | Vallejo, Ernesto, 1959- | Atakishiyev, Natig M.

Series: Contemporary mathematics (American Mathematical Society) ; v. 376.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): .

E-BOOKS
Spectral analysis in geometry and number theory : [electronic resource] international conference on the occasion of Toshikazu Sunada's 60th birthday, August 6-10, 2007, Nagoya University, Nagoya, Japan / Motoko Kotani, Hisashi Naito, Tatsuya Tate, editors.

by Sunada, T. (Toshikazu), 1948- | Kotani, Motoko, 1960- | Naito, Hisashi, 1961- | Tate, Tatsuya, 1971-.

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

E-BOOKS
Decoherence: Theoretical, Experimental, and Conceptual Problems [electronic resource] : Proceeding of a Workshop Held at Bielefeld, Germany, 10–14 November 1998 / edited by Philippe Blanchard, Erich Joos, Domenico Giulini, Clau Kiefer, Ion-Olimpiu Stamatescu.

by Blanchard, Philippe [editor.] | Joos, Erich [editor.] | Giulini, Domenico [editor.] | Kiefer, Clau [editor.] | Stamatescu, Ion-Olimpiu [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 538Source: 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): .

E-BOOKS
Dynamical Systems, Plasmas and Gravitation [electronic resource] : Selected Papers from a Conference Held in Orléans la Source, France, 22–24 June 1997 / edited by P. G. L. Leach, S. E. Bouquet, J.-L. Rouet, E. Fijalkow.

by Leach, P. G. L [editor.] | Bouquet, S. E [editor.] | Rouet, J.-L [editor.] | Fijalkow, E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 518Source: 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): .

E-BOOKS
Noncommutative Spacetimes [electronic resource] : Symmetries in Noncommutative Geometry and Field Theory / by Paolo Aschieri, Marija Dimitrijevic, Petr Kulish, Fedele Lizzi, Julius Wess.

by Aschieri, Paolo [author.] | Dimitrijevic, Marija [author.] | Kulish, Petr [author.] | Lizzi, Fedele [author.] | Wess, Julius [author.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 774Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Logic Programming and Automated Reasoning [electronic resource] : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings / edited by Andrei Voronkov.

by Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 698Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Principles and Practice of Constraint Programming – CP’99 [electronic resource] : 5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings / edited by Joxan Jaffar.

by Jaffar, Joxan [editor.] | SpringerLink (Online service).

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

E-BOOKS
Fundamentals of Computation Theory [electronic resource] : 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings / edited by Gabriel Ciobanu, Gheorghe Păun.

by Ciobanu, Gabriel [editor.] | Păun, Gheorghe [editor.] | SpringerLink (Online service).

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

E-BOOKS
Mathematical Software – ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings / edited by Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama.

by Fukuda, Komei [editor.] | Hoeven, Joris van der [editor.] | Joswig, Michael [editor.] | Takayama, Nobuki [editor.] | SpringerLink (Online service).

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

E-BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling.

by Galmiche, Didier [editor.] | Larchey-Wendling, Dominique [editor.] | SpringerLink (Online service).

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

E-BOOKS
Perspectives on quantization : [electronic resource] proceedings of a 1996 AMS-IMS-SIAM Joint Summer Research Conference, July 7-11, 1996, Mt. Holyoke College / Lewis A. Coburn, Marc A. Rieffel, editors.

by AMS-IMS-SIAM Joint Summer Research Conference (1996 : Mt. Holyoke College) | Coburn, Lewis A, 1940- | Rieffel, Marc A. (Marc Aristide), 1937-.

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

E-BOOKS
Algebraic K-theory : [electronic resource] AMS-IMS-SIAM Joint Summer Research Conference on Algebraic K-Theory, July 13-24, 1997, University of Washington, Seattle / Wayne Raskind, Charles Weibel, editors.

by AMS-IMS-SIAM Joint Summer Research Conference on Algebraic K-Theory (1997 : University of Washington, Seattle) | Raskind, Wayne, 1959- | Weibel, Charles A, 1950-.

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

E-BOOKS
Nonlinear functional analysis and its applications / [electronic resource] Felix E. Browder, editor.

by Summer Research Institute on Nonlinear Functional Analysis and Its Applications (1983 : University of California at Berkeley) | Browder, Felix E.

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

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): .

E-BOOKS
Principles and Practice of Constraint Programming — CP 2001 [electronic resource] : 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings / edited by Toby Walsh.

by Walsh, Toby [editor.] | SpringerLink (Online service).

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

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): .

E-BOOKS
Automated Deduction — Cade-13 [electronic resource] : 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings / edited by M. A. McRobbie, J. K. Slaney.

by McRobbie, M. A [editor.] | Slaney, J. K [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1104Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha