Your search returned 14673 results.

Not what you expected? Check for suggestions
E-BOOKS
Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.

by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8972 | Lecture Notes in Computer Science ; 8972Edition: 1st ed. 2015.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, 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
Logic, Rationality, and Interaction [electronic resource] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada.

by Baltag, Alexandru [editor.] | Seligman, Jeremy [editor.] | Yamada, Tomoyuki [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10455 | Lecture Notes in Computer Science ; 10455Edition: 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
Public-Key Cryptography – PKC 2016 [electronic resource] : 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I / edited by Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang.

by Cheng, Chen-Mou [editor.] | Chung, Kai-Min [editor.] | Persiano, Giuseppe [editor.] | Yang, Bo-Yin [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9614 | Lecture Notes in Computer Science ; 9614Edition: 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
The Semantic Web: ESWC 2012 Satellite Events [electronic resource] : ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers / edited by Elena Simperl, Barry Norton, Dunja Mladenic, Emanuele Della Valle, Irini Fundulaki, Alexandre Passant, Raphaël Troncy.

by Simperl, Elena [editor.] | Norton, Barry [editor.] | Mladenic, Dunja [editor.] | Della Valle, Emanuele [editor.] | Fundulaki, Irini [editor.] | Passant, Alexandre [editor.] | Troncy, Raphaël [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7540 | Lecture Notes in Computer Science ; 7540Edition: 1st ed. 2015.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, 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
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli.

by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9035 | Lecture Notes in Computer Science ; 9035Edition: 1st ed. 2015.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, 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
Cryptographic Hardware and Embedded Systems – CHES 2016 [electronic resource] : 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings / edited by Benedikt Gierlichs, Axel Y. Poschmann.

by Gierlichs, Benedikt [editor.] | Poschmann, Axel Y [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9813 | Lecture Notes in Computer Science ; 9813Edition: 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
Transactions on Large-Scale Data- and Knowledge-Centered Systems XX [electronic resource] : Special Issue on Advanced Techniques for Big Data Management / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Sherif Sakr, Lizhe Wang, Albert Zomaya.

by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Sakr, Sherif [editor.] | Wang, Lizhe [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service).

Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 9070 | Lecture Notes in Computer Science ; 9070Edition: 1st ed. 2015.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, 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
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / edited by Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov.

by Davis, Martin [editor.] | Fehnker, Ansgar [editor.] | McIver, Annabelle [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9450 | Lecture Notes in Computer Science ; 9450Edition: 1st ed. 2015.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, 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
Financial Cryptography and Data Security [electronic resource] : FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers / edited by Jeremy Clark, Sarah Meiklejohn, Peter Y.A. Ryan, Dan Wallach, Michael Brenner, Kurt Rohloff.

by Clark, Jeremy [editor.] | Meiklejohn, Sarah [editor.] | Ryan, Peter Y.A [editor.] | Wallach, Dan [editor.] | Brenner, Michael [editor.] | Rohloff, Kurt [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9604 | Lecture Notes in Computer Science ; 9604Edition: 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
Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII [electronic resource] : Special Issue on Database- and Expert-Systems Applications / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link.

by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Decker, Hendrik [editor.] | Lhotska, Lenka [editor.] | Link, Sebastian [editor.] | SpringerLink (Online service).

Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 8980 | Lecture Notes in Computer Science ; 8980Edition: 1st ed. 2015.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, 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 Large-Scale Data- and Knowledge-Centered Systems XXXI [electronic resource] : Special Issue on Data and Security Engineering / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang, Nam Thoai.

by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Dang, Tran Khanh [editor.] | Thoai, Nam [editor.] | SpringerLink (Online service).

Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 10140 | Lecture Notes in Computer Science ; 10140Edition: 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
Transactions on Computational Collective Intelligence XVIII [electronic resource] / edited by Ngoc Thanh Nguyen.

by Nguyen, Ngoc Thanh [editor.] | SpringerLink (Online service).

Series: Transactions on Computational Collective Intelligence ; 9240 | Lecture Notes in Computer Science ; 9240Edition: 1st ed. 2015.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, 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
Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi.

by Bansal, Nikhil [editor.] | Finocchi, Irene [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9294 | Lecture Notes in Computer Science ; 9294Edition: 1st ed. 2015.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, 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
Static Analysis [electronic resource] : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / edited by Xavier Rival.

by Rival, Xavier [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9837 | Lecture Notes in Computer Science ; 9837Edition: 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
Public-Key Cryptography – PKC 2017 [electronic resource] : 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part I / edited by Serge Fehr.

by Fehr, Serge [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10174 | Lecture Notes in Computer Science ; 10174Edition: 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
Advances in Cryptology – ASIACRYPT 2016 [electronic resource] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II / edited by Jung Hee Cheon, Tsuyoshi Takagi.

by Cheon, Jung Hee [editor.] | Takagi, Tsuyoshi [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10032 | Lecture Notes in Computer Science ; 10032Edition: 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
Web and Internet Economics [electronic resource] : 11th International Conference, WINE 2015, Amsterdam, The Netherlands, December 9-12, 2015, Proceedings / edited by Evangelos Markakis, Guido Schäfer.

by Markakis, Evangelos [editor.] | Schäfer, Guido [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9470 | Lecture Notes in Computer Science ; 9470Edition: 1st ed. 2015.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, 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
Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Krishna S.

by Banerjee, Mohua [editor.] | S., Krishna [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8923 | Lecture Notes in Computer Science ; 8923Edition: 1st ed. 2015.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, 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
Formal Grammar [electronic resource] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla.

by Foret, Annie [editor.] | Morrill, Glyn [editor.] | Muskens, Reinhard [editor.] | Osswald, Rainer [editor.] | Pogodalla, Sylvain [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9804 | Lecture Notes in Computer Science ; 9804Edition: 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
Transactions on Computational Science XXVII [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 ; 9570 | Lecture Notes in Computer Science ; 9570Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha