Your search returned 10753 results.

Not what you expected? Check for suggestions
E-BOOKS
Runtime Verification [electronic resource] : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings / edited by Shuvendu Lahiri, Giles Reger.

by Lahiri, Shuvendu [editor.] | Reger, Giles [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10548 | Lecture Notes in Computer Science ; 10548Edition: 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
Mining Intelligence and Knowledge Exploration [electronic resource] : 4th International Conference, MIKE 2016, Mexico City, Mexico, November 13 - 19, 2016, Revised Selected Papers / edited by Rajendra Prasath, Alexander Gelbukh.

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

Series: Lecture Notes in Artificial Intelligence ; 10089 | Lecture Notes in Computer Science ; 10089Edition: 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
Computer Algebra and Polynomials [electronic resource] : Applications of Algebra and Number Theory / edited by Jaime Gutierrez, Josef Schicho, Martin Weimann.

by Gutierrez, Jaime [editor.] | Schicho, Josef [editor.] | Weimann, Martin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8942 | Lecture Notes in Computer Science ; 8942Edition: 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
Advances in Visual Informatics [electronic resource] : 4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Alan Smeaton, Timothy K. Shih, Sergio Velastin, Azizah Jaafar, Mohamad Ali Nazlena.

by Badioze Zaman, Halimah [editor.] | Robinson, Peter [editor.] | Smeaton, Alan [editor.] | K. Shih, Timothy [editor.] | Velastin, Sergio [editor.] | Jaafar, Azizah [editor.] | Nazlena, Mohamad Ali [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9429 | Lecture Notes in Computer Science ; 9429Edition: 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
Intelligent Computing Methodologies [electronic resource] : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part III / edited by De-Shuang Huang, Kyungsook Han, Abir Hussain.

by Huang, De-Shuang [editor.] | Han, Kyungsook [editor.] | Hussain, Abir [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9773 | Lecture Notes in Computer Science ; 9773Edition: 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
Critical Information Infrastructures Security [electronic resource] : 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers / edited by Erich Rome, Marianthi Theocharidou, Stephen Wolthusen.

by Rome, Erich [editor.] | Theocharidou, Marianthi [editor.] | Wolthusen, Stephen [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9578 | Lecture Notes in Computer Science ; 9578Edition: 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
Computer Security -- ESORICS 2015 [electronic resource] : 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II / edited by Günther Pernul, Peter Y A Ryan, Edgar Weippl.

by Pernul, Günther [editor.] | Y A Ryan, Peter [editor.] | Weippl, Edgar [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9327 | Lecture Notes in Computer Science ; 9327Edition: 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
Web-Age Information Management [electronic resource] : WAIM 2015 International Workshops: HENA, HRSUNE, Qingdao, China, June 8-10, 2015, Revised Selected Papers / edited by Xiaokui Xiao, Zhenjie Zhang.

by Xiao, Xiaokui [editor.] | Zhang, Zhenjie [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9391 | Lecture Notes in Computer Science ; 9391Edition: 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
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
Language, Data, and Knowledge [electronic resource] : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings / edited by Jorge Gracia, Francis Bond, John P. McCrae, Paul Buitelaar, Christian Chiarcos, Sebastian Hellmann.

by Gracia, Jorge [editor.] | Bond, Francis [editor.] | McCrae, John P [editor.] | Buitelaar, Paul [editor.] | Chiarcos, Christian [editor.] | Hellmann, Sebastian [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10318 | Lecture Notes in Computer Science ; 10318Edition: 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
Trust and Trustworthy Computing [electronic resource] : 9th International Conference, TRUST 2016, Vienna, Austria, August 29-30, 2016, Proceedings / edited by Michael Franz, Panos Papadimitratos.

by Franz, Michael [editor.] | Papadimitratos, Panos [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

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

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha