Your search returned 3034 results.

Not what you expected? Check for suggestions
E-BOOKS
Computational Forensics [electronic resource] : 5th International Workshop, IWCF 2012, Tsukuba, Japan, November 11, 2012 and 6th International Workshop, IWCF 2014, Stockholm, Sweden, August 24, 2014, Revised Selected Papers / edited by Utpal Garain, Faisal Shafait.

by Garain, Utpal [editor.] | Shafait, Faisal [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8915 | Lecture Notes in Computer Science ; 8915Edition: 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): .

E-BOOKS
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges [electronic resource] : 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young.

by Camara, Oscar [editor.] | Mansi, Tommaso [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8896 | Lecture Notes in Computer Science ; 8896Edition: 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): .

E-BOOKS
Applications of Evolutionary Computation [electronic resource] : 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I / edited by Giovanni Squillero, Kevin Sim.

by Squillero, Giovanni [editor.] | Sim, Kevin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10199 | Lecture Notes in Computer Science ; 10199Edition: 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): .

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): .

E-BOOKS
Computational Social Networks [electronic resource] : 5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Hien T. Nguyen, Vaclav Snasel.

by Nguyen, Hien T [editor.] | Snasel, Vaclav [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9795 | Lecture Notes in Computer Science ; 9795Edition: 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): .

E-BOOKS
Provable Security [electronic resource] : 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings / edited by Man-Ho Au, Atsuko Miyaji.

by Au, Man-Ho [editor.] | Miyaji, Atsuko [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9451 | Lecture Notes in Computer Science ; 9451Edition: 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): .

E-BOOKS
Simulation and Synthesis in Medical Imaging [electronic resource] : First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / edited by Sotirios A. Tsaftaris, Ali Gooya, Alejandro F. Frangi, Jerry L. Prince.

by Tsaftaris, Sotirios A [editor.] | Gooya, Ali [editor.] | Frangi, Alejandro F [editor.] | Prince, Jerry L [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9968 | Lecture Notes in Computer Science ; 9968Edition: 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): .

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): .

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): .

E-BOOKS
Theory and Practice of Model Transformations [electronic resource] : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / edited by Pieter Van Gorp, Gregor Engels.

by Van Gorp, Pieter [editor.] | Engels, Gregor [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9765 | Lecture Notes in Computer Science ; 9765Edition: 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): .

E-BOOKS
Data Integration in the Life Sciences [electronic resource] : 11th International Conference, DILS 2015, Los Angeles, CA, USA, July 9-10, 2015, Proceedings / edited by Naveen Ashish, Jose-Luis Ambite.

by Ashish, Naveen [editor.] | Ambite, Jose-Luis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Bioinformatics ; 9162 | Lecture Notes in Computer Science ; 9162Edition: 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): .

E-BOOKS
Deep Learning and Data Labeling for Medical Applications [electronic resource] : First International Workshop, LABELS 2016, and Second International Workshop, DLMIA 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings / edited by Gustavo Carneiro, Diana Mateus, Loïc Peter, Andrew Bradley, João Manuel R. S. Tavares, Vasileios Belagiannis, João Paulo Papa, Jacinto C. Nascimento, Marco Loog, Zhi Lu, Jaime S. Cardoso, Julien Cornebise.

by Carneiro, Gustavo [editor.] | Mateus, Diana [editor.] | Peter, Loïc [editor.] | Bradley, Andrew [editor.] | Tavares, João Manuel R. S [editor.] | Belagiannis, Vasileios [editor.] | Papa, João Paulo [editor.] | Nascimento, Jacinto C [editor.] | Loog, Marco [editor.] | Lu, Zhi [editor.] | Cardoso, Jaime S [editor.] | Cornebise, Julien [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10008 | Lecture Notes in Computer Science ; 10008Edition: 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): .

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): .

E-BOOKS
Agents and Artificial Intelligence [electronic resource] : 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / edited by Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe.

by Duval, Béatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9494 | Lecture Notes in Computer Science ; 9494Edition: 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): .

E-BOOKS
Computer Vision - ECCV 2014 Workshops [electronic resource] : Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II / edited by Lourdes Agapito, Michael M. Bronstein, Carsten Rother.

by Agapito, Lourdes [editor.] | Bronstein, Michael M [editor.] | Rother, Carsten [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8926 | Lecture Notes in Computer Science ; 8926Edition: 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): .

E-BOOKS
Public-Key Cryptography -- PKC 2015 [electronic resource] : 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 -- April 1, 2015, Proceedings / edited by Jonathan Katz.

by Katz, Jonathan [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9020 | Lecture Notes in Computer Science ; 9020Edition: 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): .

E-BOOKS
Runtime Verification [electronic resource] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / edited by Ezio Bartocci, Rupak Majumdar.

by Bartocci, Ezio [editor.] | Majumdar, Rupak [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9333 | Lecture Notes in Computer Science ; 9333Edition: 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): .

E-BOOKS
Engineering Secure Software and Systems [electronic resource] : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos.

by Bodden, Eric [editor.] | Payer, Mathias [editor.] | Athanasopoulos, Elias [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10379 | Lecture Notes in Computer Science ; 10379Edition: 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): .

E-BOOKS
Computability and Complexity [electronic resource] : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday / edited by Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond.

by Day, Adam [editor.] | Fellows, Michael [editor.] | Greenberg, Noam [editor.] | Khoussainov, Bakhadyr [editor.] | Melnikov, Alexander [editor.] | Rosamond, Frances [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10010 | Lecture Notes in Computer Science ; 10010Edition: 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): .

E-BOOKS
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / edited by Renate A. Schmidt, Cláudia Nalon.

by Schmidt, Renate A [editor.] | Nalon, Cláudia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10501 | Lecture Notes in Computer Science ; 10501Edition: 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): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha