Your search returned 10762 results.

Not what you expected? Check for suggestions
E-BOOKS
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.

by Li, Xuandong [editor.] | Liu, Zhiming [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9409 | Lecture Notes in Computer Science ; 9409Edition: 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
Technology and Practice of Passwords [electronic resource] : 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings / edited by Frank Stajano, Stig F. Mjølsnes, Graeme Jenkinson, Per Thorsheim.

by Stajano, Frank [editor.] | Mjølsnes, Stig F [editor.] | Jenkinson, Graeme [editor.] | Thorsheim, Per [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9551 | Lecture Notes in Computer Science ; 9551Edition: 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
Engineering Trustworthy Software Systems [electronic resource] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.

by Liu, Zhiming [editor.] | Zhang, Zili [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9506 | Lecture Notes in Computer Science ; 9506Edition: 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
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service).

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

E-BOOKS
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings / edited by Sébastien Destercke, Thierry Denoeux.

by Destercke, Sébastien [editor.] | Denoeux, Thierry [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9161 | Lecture Notes in Computer Science ; 9161Edition: 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
Advances in Web-Based Learning – ICWL 2017 [electronic resource] : 16th International Conference, Cape Town, South Africa, September 20-22, 2017, Proceedings / edited by Haoran Xie, Elvira Popescu, Gerhard Hancke, Baltasar Fernández Manjón.

by Xie, Haoran [editor.] | Popescu, Elvira [editor.] | Hancke, Gerhard [editor.] | Fernández Manjón, Baltasar [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10473 | Lecture Notes in Computer Science ; 10473Edition: 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
DNA Computing and Molecular Programming [electronic resource] : 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings / edited by Robert Brijder, Lulu Qian.

by Brijder, Robert [editor.] | Qian, Lulu [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10467 | Lecture Notes in Computer Science ; 10467Edition: 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
Electronic Government and the Information Systems Perspective [electronic resource] : 6th International Conference, EGOVIS 2017, Lyon, France, August 28-31, 2017, Proceedings / edited by Andrea Kő, Enrico Francesconi.

by Kő, Andrea [editor.] | Francesconi, Enrico [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10441 | Lecture Notes in Computer Science ; 10441Edition: 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
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2015 [electronic resource] : 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part II / edited by Nassir Navab, Joachim Hornegger, William M. Wells, Alejandro Frangi.

by Navab, Nassir [editor.] | Hornegger, Joachim [editor.] | Wells, William M [editor.] | Frangi, Alejandro [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9350 | Lecture Notes in Computer Science ; 9350Edition: 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
Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott.

by Martí-Oliet, Narciso [editor.] | Ölveczky, Peter Csaba [editor.] | Talcott, Carolyn [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9200 | Lecture Notes in Computer Science ; 9200Edition: 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
Intelligent Robotics and Applications [electronic resource] : 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III / edited by Honghai Liu, Naoyuki Kubota, Xiangyang Zhu, Rüdiger Dillmann, Dalin Zhou.

by Liu, Honghai [editor.] | Kubota, Naoyuki [editor.] | Zhu, Xiangyang [editor.] | Dillmann, Rüdiger [editor.] | Zhou, Dalin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9246 | Lecture Notes in Computer Science ; 9246Edition: 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
Pattern Recognition: Applications and Methods [electronic resource] : 4th International Conference, ICPRAM 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers / edited by Ana Fred, Maria De Marsico, Mário Figueiredo.

by Fred, Ana [editor.] | De Marsico, Maria [editor.] | Figueiredo, Mário [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9493 | Lecture Notes in Computer Science ; 9493Edition: 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
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015, Proceedings / edited by Sergey Balandin, Sergey Andreev, Yevgeni Koucheryavy.

by Balandin, Sergey [editor.] | Andreev, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service).

Series: Computer Communication Networks and Telecommunications ; 9247 | Lecture Notes in Computer Science ; 9247Edition: 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
Natural Language Understanding and Intelligent Applications [electronic resource] : 5th CCF Conference on Natural Language Processing and Chinese Computing, NLPCC 2016, and 24th International Conference on Computer Processing of Oriental Languages, ICCPOL 2016, Kunming, China, December 2–6, 2016, Proceedings / edited by Chin-Yew Lin, Nianwen Xue, Dongyan Zhao, Xuanjing Huang, Yansong Feng.

by Lin, Chin-Yew [editor.] | Xue, Nianwen [editor.] | Zhao, Dongyan [editor.] | Huang, Xuanjing [editor.] | Feng, Yansong [editor.] | SpringerLink (Online service).

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

E-BOOKS
Trusted Systems [electronic resource] : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers / edited by Moti Yung, Jianbiao Zhang, Zhen Yang.

by Yung, Moti [editor.] | Zhang, Jianbiao [editor.] | Yang, Zhen [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9565 | Lecture Notes in Computer Science ; 9565Edition: 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
Relational and Algebraic Methods in Computer Science [electronic resource] : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings / edited by Peter Höfner, Damien Pous, Georg Struth.

by Höfner, Peter [editor.] | Pous, Damien [editor.] | Struth, Georg [editor.] | SpringerLink (Online service).

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

E-BOOKS
Theory and Applications of Models of Computation [electronic resource] : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / edited by Rahul Jain, Sanjay Jain, Frank Stephan.

by Jain, Rahul [editor.] | Jain, Sanjay [editor.] | Stephan, Frank [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha