Your search returned 1061 results.

Not what you expected? Check for suggestions
E-BOOKS
Theory and Applications of Models of Computation [electronic resource] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jiří Fiala, Petr Kolman.

by Kratochvíl, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jiří [editor.] | Kolman, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6108Source: 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
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.

by Abramsky, Samson [editor.] | Gavoille, Cyril [editor.] | Kirchner, Claude [editor.] | Meyer auf der Heide, Friedhelm [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6198Source: 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
Focused Retrieval and Evaluation [electronic resource] : 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and Selected Papers / edited by Shlomo Geva, Jaap Kamps, Andrew Trotman.

by Geva, Shlomo [editor.] | Kamps, Jaap [editor.] | Trotman, Andrew [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6203Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 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
Electronic Government [electronic resource] : 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings / edited by Maria A. Wimmer, Jean-Loup Chappelet, Marijn Janssen, Hans J. Scholl.

by Wimmer, Maria A [editor.] | Chappelet, Jean-Loup [editor.] | Janssen, Marijn [editor.] | Scholl, Hans J [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6228Source: 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings / edited by Krishnendu Chatterjee, Thomas A. Henzinger.

by Chatterjee, Krishnendu [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6246Source: 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
Database and XML Technologies [electronic resource] : 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings / edited by Mong Li Lee, Jeffrey Xu Yu, Zohra Bellahsène, Rainer Unland.

by Lee, Mong Li [editor.] | Yu, Jeffrey Xu [editor.] | Bellahsène, Zohra [editor.] | Unland, Rainer [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6309Source: 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
Algorithms – ESA 2010 [electronic resource] : 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010. Proceedings, Part I / edited by Mark Berg, Ulrich Meyer.

by Berg, Mark [editor.] | Meyer, Ulrich [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6346Source: 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
Prostate Cancer Imaging. Computer-Aided Diagnosis, Prognosis, and Intervention [electronic resource] : International Workshop, Held in Conjunction with MICCAI 2010, Beijing,China, September 24, 2010. Proceedings / edited by Anant Madabhushi, Jason Dowling, Pingkun Yan, Aaron Fenster, Purang Abolmaesumi, Nobuhiko Hata.

by Madabhushi, Anant [editor.] | Dowling, Jason [editor.] | Yan, Pingkun [editor.] | Fenster, Aaron [editor.] | Abolmaesumi, Purang [editor.] | Hata, Nobuhiko [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6367Source: 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
Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II / edited by Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen.

by Petriu, Dorina C [editor.] | Rouquette, Nicolas [editor.] | Haugen, Øystein [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6395Source: 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
Interactive Theorem Proving [electronic resource] : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings / edited by Lennart Beringer, Amy Felty.

by Beringer, Lennart [editor.] | Felty, Amy [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7406Source: 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
From Animals to Animats 12 [electronic resource] : 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012. Proceedings / edited by Tom Ziemke, Christian Balkenius, John Hallam.

by Ziemke, Tom [editor.] | Balkenius, Christian [editor.] | Hallam, John [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7426Source: 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
Trends and Topics in Computer Vision [electronic resource] : ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II / edited by Kiriakos N. Kutulakos.

by Kutulakos, Kiriakos N [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6554Source: 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
Computational Linguistics and Intelligent Text Processing [electronic resource] : 14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I / edited by Alexander Gelbukh.

by Gelbukh, Alexander [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7816Source: 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
Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel.

by Berbineau, Marion [editor.] | Jonsson, Magnus [editor.] | Bonnin, Jean-Marie [editor.] | Cherkaoui, Soumaya [editor.] | Aguado, Marina [editor.] | Rico-Garcia, Cristina [editor.] | Ghannoum, Hassan [editor.] | Mehmood, Rashid [editor.] | Vinel, Alexey [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7865Source: 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
Human-Computer Interaction. Users and Contexts of Use [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III / edited by Masaaki Kurosu.

by Kurosu, Masaaki [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8006Source: 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
The Semantic Web – ISWC 2013 [electronic resource] : 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II / edited by Harith Alani, Lalana Kagal, Achille Fokoue, Paul Groth, Chris Biemann, Josiane Xavier Parreira, Lora Aroyo, Natasha Noy, Chris Welty, Krzysztof Janowicz.

by Alani, Harith [editor.] | Kagal, Lalana [editor.] | Fokoue, Achille [editor.] | Groth, Paul [editor.] | Biemann, Chris [editor.] | Parreira, Josiane Xavier [editor.] | Aroyo, Lora [editor.] | Noy, Natasha [editor.] | Welty, Chris [editor.] | Janowicz, Krzysztof [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8219Source: 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
Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino.

by Pathan, Mukaddim [editor.] | Wei, Guiyi [editor.] | Fortino, Giancarlo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8223Source: 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
Time-of-Flight and Depth Imaging. Sensors, Algorithms, and Applications [electronic resource] : Dagstuhl 2012 Seminar on Time-of-Flight Imaging and GCPR 2013 Workshop on Imaging New Modalities / edited by Marcin Grzegorzek, Christian Theobalt, Reinhard Koch, Andreas Kolb.

by Grzegorzek, Marcin [editor.] | Theobalt, Christian [editor.] | Koch, Reinhard [editor.] | Kolb, Andreas [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8200Source: 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
Integral geometry : [electronic resource] proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 12-18, 1984, with support from the National Science Foundation / Robert L. Bryant ... [et al.], editors.

by AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Integral Geometry (1984 : Bowdoin College) | Bryant, Robert L | American Mathematical Society | Institute of Mathematical Statistics | Society for Industrial and Applied Mathematics.

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

Place hold Log in to add tags
E-BOOKS
The influence of computing on mathematical research and education; [electronic resource] [proceedings. Edited by Joseph P. LaSalle]

by Symposium in Applied Mathematics (1973 : University of Montana, Missoula) | LaSalle, Joseph P [ed.] | American Mathematical Society.

Series: Proceedings of symposia in applied mathematics ; v. 20Material type: Text Text;Language: English; Format: available online remote; Literary form: Not fiction Publication details: Providence, American Mathematical Society, 1974Online 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