Your search returned 370 results.

Not what you expected? Check for suggestions
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): .

Place hold Log in to add tags
E-BOOKS
SOFSEM 2007: Theory and Practice of Computer Science [electronic resource] : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007. Proceedings / edited by Jan Leeuwen, Giuseppe F. Italiano, Wiebe Hoek, Christoph Meinel, Harald Sack, František Plášil.

by Leeuwen, Jan [editor.] | Italiano, Giuseppe F [editor.] | Hoek, Wiebe [editor.] | Meinel, Christoph [editor.] | Sack, Harald [editor.] | Plášil, František [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4362Source: 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
High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M. L. M. Palma, Álvaro L. G. A. Coutinho, Esther Pacitti, João Correia Lopes.

by Daydé, Michel [editor.] | Palma, José M. L. M [editor.] | Coutinho, Álvaro L. G. A [editor.] | Pacitti, Esther [editor.] | Lopes, João Correia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4395Source: 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
Parallel Computing Technologies [electronic resource] : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4671Source: 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
Pattern Recognition [electronic resource] : 29th DAGM Symposium, Heidelberg, Germany, September 12-14, 2007. Proceedings / edited by Fred A. Hamprecht, Christoph Schnörr, Bernd Jähne.

by Hamprecht, Fred A [editor.] | Schnörr, Christoph [editor.] | Jähne, Bernd [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4713Source: 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
Algorithms - ESA 2008 [electronic resource] : 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008. Proceedings / edited by Dan Halperin, Kurt Mehlhorn.

by Halperin, Dan [editor.] | Mehlhorn, Kurt [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5193Source: 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
Artificial Intelligence: Theories, Models and Applications [electronic resource] : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings / edited by John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos.

by Darzentas, John [editor.] | Vouros, George A [editor.] | Vosinakis, Spyros [editor.] | Arnellos, Argyris [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5138Source: 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
Computer Vision – ECCV 2008 [electronic resource] : 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I / edited by David Forsyth, Philip Torr, Andrew Zisserman.

by Forsyth, David [editor.] | Torr, Philip [editor.] | Zisserman, Andrew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5302Source: 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
Algorithms - ESA 2009 [electronic resource] : 17th Annual European Symposium, Copenhagen, Denmark, September 7-9, 2009. Proceedings / edited by Amos Fiat, Peter Sanders.

by Fiat, Amos [editor.] | Sanders, Peter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5757Source: 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
Advances in Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings / edited by Carlos Alberto Heuser, Günther Pernul.

by Heuser, Carlos Alberto [editor.] | Pernul, Günther [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5833Source: 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
Database Systems for Advanced Applications [electronic resource] : 15th International Conference, DASFAA 2010, Tsukuba, Japan, April 1-4, 2010, Proceedings, Part I / edited by Hiroyuki Kitagawa, Yoshiharu Ishikawa, Qing Li, Chiemi Watanabe.

by Kitagawa, Hiroyuki [editor.] | Ishikawa, Yoshiharu [editor.] | Li, Qing [editor.] | Watanabe, Chiemi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5981Source: 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
PRICAI 2010: Trends in Artificial Intelligence [electronic resource] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30–September 2, 2010. Proceedings / edited by Byoung-Tak Zhang, Mehmet A. Orgun.

by Zhang, Byoung-Tak [editor.] | Orgun, Mehmet A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6230Source: 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
Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2010, Warsaw, Poland, September 20-22, 2010, Proceedings, Part I / edited by Leonard Bolc, Ryszard Tadeusiewicz, Leszek J. Chmielewski, Konrad Wojciechowski.

by Bolc, Leonard [editor.] | Tadeusiewicz, Ryszard [editor.] | Chmielewski, Leszek J [editor.] | Wojciechowski, Konrad [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6374Source: 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
Web Information Systems and Mining [electronic resource] : International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings / edited by Fu Lee Wang, Zhiguo Gong, Xiangfeng Luo, Jingsheng Lei.

by Wang, Fu Lee [editor.] | Gong, Zhiguo [editor.] | Luo, Xiangfeng [editor.] | Lei, Jingsheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6318Source: 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
Computer Vision – ECCV 2012. Workshops and Demonstrations [electronic resource] : Florence, Italy, October 7-13, 2012, Proceedings, Part III / edited by Andrea Fusiello, Vittorio Murino, Rita Cucchiara.

by Fusiello, Andrea [editor.] | Murino, Vittorio [editor.] | Cucchiara, Rita [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7585Source: 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
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings / edited by Itsuki Noda, Noriaki Ando, Davide Brugali, James J. Kuffner.

by Noda, Itsuki [editor.] | Ando, Noriaki [editor.] | Brugali, Davide [editor.] | Kuffner, James J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7628Source: 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
q-series from a contemporary perspective : [electronic resource] AMS-IMS-SIAM Joint Summer Research Conference on q-Series, Combinatorics, and Computer Algebra, June 21-25, 1998, Mount Holyoke College, South Hadley, MA / Mourad E.H. Ismail, Dennis W. Stanton, editors.

by AMS-IMS-SIAM Joint Summer Research Conference on q-Series, Combinatorics, and Computer Algebra (1998 : Mount Holyoke College) | Ismail, Mourad, 1944- | Stanton, Dennis (Dennis W.).

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

Place hold Log in to add tags
E-BOOKS
Advances in differential equations and mathematical physics : [electronic resource] UAB international conference, differential equations and mathematical physics, March 26-30, 2002, University of Alabama, Birmingham / Yulia Karpeshina ... [et al.], editors.

by International Conference on Differential Equations and Mathematical Physics (2002 : University of Alabama, Birmingham) | Karpeshina, Yulia E, 1956-.

Series: Contemporary mathematics (American Mathematical Society) ; v. 327.Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c2003Online 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.1Material 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha