Your search returned 10762 results.

Not what you expected? Check for suggestions
E-BOOKS
High Performance Computing for Computational Science – VECPAR 2016 [electronic resource] : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / edited by Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques.

by Dutra, Inês [editor.] | Camacho, Rui [editor.] | Barbosa, Jorge [editor.] | Marques, Osni [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10150 | Lecture Notes in Computer Science ; 10150Edition: 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
Application and Theory of Petri Nets and Concurrency [electronic resource] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers, Antti Valmari.

by Devillers, Raymond [editor.] | Valmari, Antti [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9115 | Lecture Notes in Computer Science ; 9115Edition: 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
Virtual, Augmented and Mixed Reality [electronic resource] : 9th International Conference, VAMR 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Stephanie Lackey, Jessie Chen.

by Lackey, Stephanie [editor.] | Chen, Jessie [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10280 | Lecture Notes in Computer Science ; 10280Edition: 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
Principles and Practice of Constraint Programming [electronic resource] : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / edited by Gilles Pesant.

by Pesant, Gilles [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9255 | Lecture Notes in Computer Science ; 9255Edition: 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
Network and System Security [electronic resource] : 9th International Conference, NSS 2015, New York, NY, USA, November 3-5, 2015, Proceedings / edited by Meikang Qiu, Shouhuai Xu, Moti Yung, Haibo Zhang.

by Qiu, Meikang [editor.] | Xu, Shouhuai [editor.] | Yung, Moti [editor.] | Zhang, Haibo [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9408 | Lecture Notes in Computer Science ; 9408Edition: 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
Collaboration and Technology [electronic resource] : 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings / edited by Takaya Yuizono, Hiroaki Ogata, Ulrich Hoppe, Julita Vassileva.

by Yuizono, Takaya [editor.] | Ogata, Hiroaki [editor.] | Hoppe, Ulrich [editor.] | Vassileva, Julita [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9848 | Lecture Notes in Computer Science ; 9848Edition: 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
Advances in Artificial Intelligence [electronic resource] : 30th Canadian Conference on Artificial Intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16-19, 2017, Proceedings / edited by Malek Mouhoub, Philippe Langlais.

by Mouhoub, Malek [editor.] | Langlais, Philippe [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10233 | Lecture Notes in Computer Science ; 10233Edition: 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
Social Computing and Social Media. Human Behavior [electronic resource] : 9th International Conference, SCSM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / edited by Gabriele Meiselwitz.

by Meiselwitz, Gabriele [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10282 | Lecture Notes in Computer Science ; 10282Edition: 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
Graphic Recognition. Current Trends and Challenges [electronic resource] : 11th International Workshop, GREC 2015, Nancy, France, August 22–23, 2015, Revised Selected Papers / edited by Bart Lamiroy, Rafael Dueire Lins.

by Lamiroy, Bart [editor.] | Dueire Lins, Rafael [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9657 | Lecture Notes in Computer Science ; 9657Edition: 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
Cooperative Design, Visualization, and Engineering [electronic resource] : 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings / edited by Yuhua Luo.

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

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9320 | Lecture Notes in Computer Science ; 9320Edition: 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
Open and Big Data Management and Innovation [electronic resource] : 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings / edited by Marijn Janssen, Matti Mäntymäki, Jan Hidders, Bram Klievink, Winfried Lamersdorf, Bastiaan van Loenen, Anneke Zuiderwijk.

by Janssen, Marijn [editor.] | Mäntymäki, Matti [editor.] | Hidders, Jan [editor.] | Klievink, Bram [editor.] | Lamersdorf, Winfried [editor.] | van Loenen, Bastiaan [editor.] | Zuiderwijk, Anneke [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9373 | Lecture Notes in Computer Science ; 9373Edition: 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
Transactions on Computational Science XXIX [electronic resource] / edited by Marina L. Gavrilova, C.J. Kenneth Tan.

by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | SpringerLink (Online service).

Series: Transactions on Computational Science ; 10220 | Lecture Notes in Computer Science ; 10220Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
The New Codebreakers [electronic resource] : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday / edited by Peter Y. A. Ryan, David Naccache, Jean-Jacques Quisquater.

by Ryan, Peter Y. A [editor.] | Naccache, David [editor.] | Quisquater, Jean-Jacques [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9100 | Lecture Notes in Computer Science ; 9100Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.

by ter Beek, Maurice H [editor.] | Gnesi, Stefania [editor.] | Knapp, Alexander [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9933 | Lecture Notes in Computer Science ; 9933Edition: 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
Provable Security [electronic resource] : 10th International Conference, ProvSec 2016, Nanjing, China, November 10-11, 2016, Proceedings / edited by Liqun Chen, Jinguang Han.

by Chen, Liqun [editor.] | Han, Jinguang [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10005 | Lecture Notes in Computer Science ; 10005Edition: 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
Language and Automata Theory and Applications [electronic resource] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe.

by Dediu, Adrian-Horia [editor.] | Janoušek, Jan [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9618 | Lecture Notes in Computer Science ; 9618Edition: 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
Descriptional Complexity of Formal Systems [electronic resource] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.

by Shallit, Jeffrey [editor.] | Okhotin, Alexander [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9118 | Lecture Notes in Computer Science ; 9118Edition: 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
Health Information Science [electronic resource] : 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings / edited by Xiaoxia Yin, James Geller, Ye Li, Rui Zhou, Hua Wang, Yanchun Zhang.

by Yin, Xiaoxia [editor.] | Geller, James [editor.] | Li, Ye [editor.] | Zhou, Rui [editor.] | Wang, Hua [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10038 | Lecture Notes in Computer Science ; 10038Edition: 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino.

by Jobstmann, Barbara [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9583 | Lecture Notes in Computer Science ; 9583Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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
Bioinformatics Research and Applications [electronic resource] : 13th International Symposium, ISBRA 2017, Honolulu, HI, USA, May 29 – June 2, 2017, Proceedings / edited by Zhipeng Cai, Ovidiu Daescu, Min Li.

by Cai, Zhipeng [editor.] | Daescu, Ovidiu [editor.] | Li, Min [editor.] | SpringerLink (Online service).

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

Powered by Koha