Your search returned 226 results.

Not what you expected? Check for suggestions
E-BOOKS
Symbolic computation : [electronic resource] solving equations in algebra, geometry, and engineering : proceedings of an AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, Mount Holyoke College, South Hadley, MA, June 11-15, 2000 / Edward L. Green ... [et al.], editors.

by AMS-IMS-SIAM Joint Summer Research Conference on Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering (2000 : Mount Holyoke College) | Green, Edward L, 1946-.

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

Place hold Log in to add tags
E-BOOKS
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz.

by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10499 | Lecture Notes in Computer Science ; 10499Edition: 1st ed. 2017.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, 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
Theory and Applications of Satisfiability Testing – SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / edited by Nadia Creignou, Daniel Le Berre.

by Creignou, Nadia [editor.] | Le Berre, Daniel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9710 | Lecture Notes in Computer Science ; 9710Edition: 1st ed. 2016.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, 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
High Performance Computing [electronic resource] : 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003. Proceedings 13 / edited by Alex Veidenbaum, Kazuki Joe, Hideharu Amano, Hideo Aiso.

by Veidenbaum, Alex [editor.] | Joe, Kazuki [editor.] | Amano, Hideharu [editor.] | Aiso, Hideo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2858Source: 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
Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 4th International Conference, XP 2003 Genova, Italy, May 25–29, 2003 Proceedings / edited by Michele Marchesi, Giancarlo Succi.

by Marchesi, Michele [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 2675Source: 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
High-Performance Computing and Networking [electronic resource] : 7th International Conference, HPCN Europe 1999 Amsterdam, The Netherlands, April 12–14, 1999 Proceedings / edited by Peter Sloot, Marian Bubak, Alfons Hoekstra, Bob Hertzberger.

by Sloot, Peter [editor.] | Bubak, Marian [editor.] | Hoekstra, Alfons [editor.] | Hertzberger, Bob [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1593Source: 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
Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I / edited by Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz.

by Aceto, Luca [editor.] | Damgård, Ivan [editor.] | Goldberg, Leslie Ann [editor.] | Halldórsson, Magnús M [editor.] | Ingólfsdóttir, Anna [editor.] | Walukiewicz, Igor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5125Source: 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
Euro-Par'96 Parallel Processing [electronic resource] : Second International Euro-Par Conference Lyon, France, August 26–29, 1996 Proceedings, Volume II / edited by Luc Bougé, Pierre Fraigniaud, Anne Mignotte, Yves Robert.

by Bougé, Luc [editor.] | Fraigniaud, Pierre [editor.] | Mignotte, Anne [editor.] | Robert, Yves [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Domain decomposition methods in science and engineering : [electronic resource] the sixth International Conference on Domain Decomposition, June 15-19, 1992, Como, Italy / Alfio Quarteroni ... [et al.], editors.

by International Conference on Domain Decomposition (6th : 1992 : Como, Italy) | Quarteroni, Alfio.

Series: Contemporary mathematics (American Mathematical Society) ; v. 157.Material 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
Diffusion Processes and Stochastic Calculus [electronic resource] / Fabrice Baudoin

by Baudoin, Fabrice [author.] | Baudoin, Fabrice [author.].

Series: EMS Textbooks in Mathematics (ETB)Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction ; Audience: Specialized; Publisher: Zuerich, Switzerland : European Mathematical Society Publishing House, 2014Online 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
Polygons, Polyominoes and Polycubes [electronic resource] / edited by Anthony J. Guttman.

by Guttman, Anthony J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 775Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online 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
Noise, Oscillators and Algebraic Randomness [electronic resource] : From Noise in Communication Systems of Number Theory Lectures of a School Held in Chapelle des Bois, France, April 5–10, 1999 / edited by Michel Planat.

by Planat, Michel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Physics ; 550Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Other title: Lectures of a School Held in Chapelle des Bois, France, April 5-10, 1999.Online 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
Automated Reasoning [electronic resource] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / edited by David Basin, Michaël Rusinowitch.

by Basin, David [editor.] | Rusinowitch, Michaël [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3097Source: 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
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004. Proceedings / edited by Klaus Jansen, Sanjeev Khanna, José D. P. Rolim, Dana Ron.

by Jansen, Klaus [editor.] | Khanna, Sanjeev [editor.] | Rolim, José D. P [editor.] | Ron, Dana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3122Source: 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 Computer Science - ASIAN 2004. Higher-Level Decision Making [electronic resource] : 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings / edited by Michael J. Maher.

by Maher, Michael J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3321Source: 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
Parallel and Distributed Processing and Applications [electronic resource] : Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings / edited by Jiannong Cao, Laurence T. Yang, Minyi Guo, Francis Lau.

by Cao, Jiannong [editor.] | Yang, Laurence T [editor.] | Guo, Minyi [editor.] | Lau, Francis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3358Source: 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
Distributed Computing in Sensor Systems [electronic resource] : Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings / edited by Phillip B. Gibbons, Tarek Abdelzaher, James Aspnes, Ramesh Rao.

by Gibbons, Phillip B [editor.] | Abdelzaher, Tarek [editor.] | Aspnes, James [editor.] | Rao, Ramesh [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4026Source: 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
Conceptual Structures: Inspiration and Application [electronic resource] : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings / edited by Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm.

by Schärfe, Henrik [editor.] | Hitzler, Pascal [editor.] | Øhrstrøm, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4068Source: 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
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
Algorithms - ESA 2003 [electronic resource] : 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003. Proceedings / edited by Giuseppe Battista, Uri Zwick.

by Battista, Giuseppe [editor.] | Zwick, Uri [editor.] | SpringerLink (Online service).

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

Powered by Koha