Your search returned 108 results.

Not what you expected? Check for suggestions
E-BOOKS
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9207 | Lecture Notes in Computer Science ; 9207Edition: 1st ed. 2015.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, 2015Online 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 Communications [electronic resource] : Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings / edited by Michael Gerndt, Dieter Kranzlmüller.

by Gerndt, Michael [editor.] | Kranzlmüller, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4208Source: 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
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I / edited by Bruno Apolloni, Robert J. Howlett, Lakhmi Jain.

by Apolloni, Bruno [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4692Source: 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
Human Centered Computing [electronic resource] : First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers / edited by Qiaohong Zu, Bo Hu, Ning Gu, Sopheap Seng.

by Zu, Qiaohong [editor.] | Hu, Bo [editor.] | Gu, Ning [editor.] | Seng, Sopheap [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8944 | Lecture Notes in Computer Science ; 8944Edition: 1st ed. 2015.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, 2015Online 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 Mathematical Methods in Medical and Biomedical Image Analysis [electronic resource] : ECCV 2004 Workshops CVAMIA and MMBIA, Prague, Czech Republic, May 15, 2004, Revised Selected Papers / edited by Milan Sonka, Ioannis A. Kakadiaris, Jan Kybic.

by Sonka, Milan [editor.] | Kakadiaris, Ioannis A [editor.] | Kybic, Jan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3117Source: 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
Applied Cryptography and Network Security [electronic resource] : 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006. Proceedings / edited by Jianying Zhou, Moti Yung, Feng Bao.

by Zhou, Jianying [editor.] | Yung, Moti [editor.] | Bao, Feng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3989Source: 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
High Performance Computing — HiPC 2002 [electronic resource] : 9th International Conference Bangalore, India, December 18–21, 2002 Proceedings / edited by Sartaj Sahni, Viktor K. Prasanna, Uday Shukla.

by Sahni, Sartaj [editor.] | Prasanna, Viktor K [editor.] | Shukla, Uday [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Cooperative Design, Visualization, and Engineering [electronic resource] : Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings / edited by Yuhua Luo.

by Luo, Yuhua [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4101Source: 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings / edited by Tiziana Margaria, Wang Yi.

by Margaria, Tiziana [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Graph Transformation [electronic resource] : First International Conference, ICGT 2002 Barcelona, Spain, October 7–12, 2002 Proceedings / edited by Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski, Grzegorz Rozenberg.

by Corradini, Andrea [editor.] | Ehrig, Hartmut [editor.] | Kreowski, Hans -Jörg [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Computer Assisted Learning [electronic resource] : 2nd International Conference, ICCAL '89 Dallas, TX, USA, May 9–11, 1989 Proceedings / edited by Hermann Maurer.

by Maurer, Hermann [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 360Source: 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
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
Artificial Intelligence in Medicine [electronic resource] : Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99 Aalborg, Denmark, June 20–24, 1999 Proceedings / edited by Werner Horn, Yuval Shahar, Greger Lindberg, Steen Andreassen, Jeremy Wyatt.

by Horn, Werner [editor.] | Shahar, Yuval [editor.] | Lindberg, Greger [editor.] | Andreassen, Steen [editor.] | Wyatt, Jeremy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1620Source: 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
Database and Expert Systems Applications [electronic resource] : 9th International Conference, DEXA'98 Vienna, Austria, August 24–28, 1998 Proceedings / edited by Gerald Quirchmayr, Erich Schweighofer, Trevor J.M. Bench-Capon.

by Quirchmayr, Gerald [editor.] | Schweighofer, Erich [editor.] | Bench-Capon, Trevor J.M [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 1460Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998Online 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 Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007. Proceedings / edited by Ronald Perrott, Barbara M. Chapman, Jaspal Subhlok, Rodrigo Fernandes Mello, Laurence T. Yang.

by Perrott, Ronald [editor.] | Chapman, Barbara M [editor.] | Subhlok, Jaspal [editor.] | Mello, Rodrigo Fernandes [editor.] | Yang, Laurence T [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4782Source: 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
Distributed Computing and Networking [electronic resource] : 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings / edited by Shrisha Rao, Mainak Chatterjee, Prasad Jayanti, C. Siva Ram Murthy, Sanjoy Kumar Saha.

by Rao, Shrisha [editor.] | Chatterjee, Mainak [editor.] | Jayanti, Prasad [editor.] | Murthy, C. Siva Ram [editor.] | Saha, Sanjoy Kumar [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4904Source: 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
Advances in Web Based Learning – ICWL 2007 [electronic resource] : 6th International Conference Edinburgh, UK, August 15-17, 2007 Revised Papers / edited by Howard Leung, Frederick Li, Rynson Lau, Qing Li.

by Leung, Howard [editor.] | Li, Frederick [editor.] | Lau, Rynson [editor.] | Li, Qing [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4823Source: 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
The Internet of Things [electronic resource] : First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings / edited by Christian Floerkemeier, Marc Langheinrich, Elgar Fleisch, Friedemann Mattern, Sanjay E. Sarma.

by Floerkemeier, Christian [editor.] | Langheinrich, Marc [editor.] | Fleisch, Elgar [editor.] | Mattern, Friedemann [editor.] | Sarma, Sanjay E [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4952Source: 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
SOFSEM 2009: Theory and Practice of Computer Science [electronic resource] : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings / edited by Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia.

by Nielsen, Mogens [editor.] | Kučera, Antonín [editor.] | Miltersen, Peter Bro [editor.] | Palamidessi, Catuscia [editor.] | Tůma, Petr [editor.] | Valencia, Frank [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5404Source: 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
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems [electronic resource] : First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Shyi-Ming Chen.

by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Chen, Shyi-Ming [editor.] | SpringerLink (Online service).

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

Powered by Koha