Your search returned 102 results.

Not what you expected? Check for suggestions
E-BOOKS
Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin.

by Bertot, Yves [editor.] | Dowek, Gilles [editor.] | Théry, Laurent [editor.] | Hirschowitz, André [editor.] | Paulin, Christine [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Deductive and Object-Oriented Databases [electronic resource] : Fourth International Conference, DOOD '95 Singapore, December 4–7, 1995 Proceedings / edited by Tok Wang Ling, Alberto O. Mendelzon, Laurent Vieille.

by Ling, Tok Wang [editor.] | Mendelzon, Alberto O [editor.] | Vieille, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1013Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995Online 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
Logic Program Synthesis and Transformation — Meta-Programming in Logic [electronic resource] : 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings / edited by Laurent Fribourg, Franco Turini.

by Fribourg, Laurent [editor.] | Turini, Franco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 883Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online 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
Discrete Geometry for Computer Imagery [electronic resource] : 8th International Conference, DGCI’99 Marne-la-Vallée, France, March 17–19, 1999 Proceedings / edited by Gilles Bertrand, Michel Couprie, Laurent Perroton.

by Bertrand, Gilles [editor.] | Couprie, Michel [editor.] | Perroton, Laurent [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Grammatical Interference: Learning Syntax from Sentences [electronic resource] : Third International Colloquium, ICGI-96 Montpellier, France, September 25–27, 1996 Proceedings / edited by Laurent Miclet, Colin Higuera.

by Miclet, Laurent [editor.] | Higuera, Colin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1147Source: 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
Pixelization Paradigm [electronic resource] : First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers / edited by Pierre P Lévy, Bénédicte Grand, François Poulet, Michel Soto, Laszlo Darago, Laurent Toubiana, Jean-François Vibert.

by Lévy, Pierre P [editor.] | Grand, Bénédicte [editor.] | Poulet, François [editor.] | Soto, Michel [editor.] | Darago, Laszlo [editor.] | Toubiana, Laurent [editor.] | Vibert, Jean-François [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4370Source: 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
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings / edited by De-Shuang Huang, Laurent Heutte, Marco Loog.

by Huang, De-Shuang [editor.] | Heutte, Laurent [editor.] | Loog, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4681Source: 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
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings / edited by De-Shuang Huang, Laurent Heutte, Marco Loog.

by Huang, De-Shuang [editor.] | Heutte, Laurent [editor.] | Loog, Marco [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4682Source: 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
Grammatical Inference: Algorithms and Applications [electronic resource] : 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings / edited by Alexander Clark, François Coste, Laurent Miclet.

by Clark, Alexander [editor.] | Coste, François [editor.] | Miclet, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5278Source: 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
Active and Programmable Networks [electronic resource] : IFIP TC6 7th International Working Conference, IWAN 2005, Sophia Antipolis, France, November 21-23, 2005. Revised Papers / edited by David Hutchison, Spyros Denazis, Laurent Lefevre, Gary J. Minden.

by Hutchison, David [editor.] | Denazis, Spyros [editor.] | Lefevre, Laurent [editor.] | Minden, Gary J [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Engineering Societies in the Agents World IX [electronic resource] : 9th International Workshop, ESAW 2008, Saint-Etienne, France, September 24-26, 2008, Revised Selected Papers / edited by Alexander Artikis, Gauthier Picard, Laurent Vercouter.

by Artikis, Alexander [editor.] | Picard, Gauthier [editor.] | Vercouter, Laurent [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Theory and Applications of Satisfiability Testing - SAT 2011 [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings / edited by Karem A. Sakallah, Laurent Simon.

by Sakallah, Karem A [editor.] | Simon, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6695Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / edited by Víctor Braberman, Laurent Fribourg.

by Braberman, Víctor [editor.] | Fribourg, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8053Source: 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
Combinatorial Algorithms [electronic resource] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013, Revised Selected Papers / edited by Thierry Lecroq, Laurent Mouchard.

by Lecroq, Thierry [editor.] | Mouchard, Laurent [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8288Source: 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
Chaotic numerics : [electronic resource] an International Workshop on the Approximation and Computation of Complicated Dynamical Behavior, Deakin University, Geelong, Australia, July 12-16, 1993 / Peter E. Kloeden, Kenneth J. Palmer, editors.

by International Workshop on the Approximation and Computation of Complicated Dynamical Behavior (1993 : Deakin University) | Kloeden, Peter E | Palmer, Kenneth J. (Kenneth James), 1945- | Deakin University.

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

Place hold Log in to add tags
E-BOOKS
Jerusalem Combinatorics '93 : [electronic resource] an international conference in combinatorics, May 9-17, 1993, Jerusalem, Israel / H�el�ene Barcelo, Gil Kalai, editors.

by Jerusalem Combinatorics '93 (1993) | Barcelo, H�el�ene, 1954- | Kalai, Gil, 1955-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 178.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
Harmonic analysis and nonlinear differential equations : [electronic resource] a volume in honor of Victor L. Shapiro : November 3-5, 1995, University of California, Riverside / Michel L. Lapidus, coordinating editor ; Lawrence H. Harper, Adolfo J. Rumbos, editors.

by Shapiro, Victor L. (Victor Lenard), 1924- | Lapidus, Michel L. (Michel Laurent), 1956- | Harper, Lawrence H. (Lawrence Hueston), 1938- | Rumbos, Adolfo J, 1962-.

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

Place hold Log in to add tags
E-BOOKS
Real algebraic geometry and ordered structures : [electronic resource] AMS Special Session on Real Algebraic Geometry and Ordered Algebraic Structures held at Louisiana State University, Baton Rouge, LA, April 17-21, 1996 : Special Semester on Real Algebraic Geometry and Ordered Structures held at Louisiana State University and Southern University, Baton Rouge, LA, January-May 1996 / Charles N. Delzell, James J. Madden, editors.

by AMS Special Session on Real Algebraic Geometry and Ordered Algebraic Structures (1996 : Louisiana State University) | Delzell, Charles N, 1953- | Madden, James J | Special Semester on Real Algebraic Geometry and Ordered Structures (1996 : Louisiana State University and Southern University).

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

Place hold Log in to add tags
E-BOOKS
Hilbert's tenth problem : [electronic resource] relations with arithmetic and algebraic geometry / Jan Denef ... [et al.], editors.

by Denef, Jan, 1951-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 270.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2000Online 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