Your search returned 2797 results.

Not what you expected? Check for suggestions
E-BOOKS
Trust, Privacy and Security in Digital Business [electronic resource] : 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings / edited by Javier Lopez, Simone Fischer-Hübner, Costas Lambrinoudakis.

by Lopez, Javier [editor.] | Fischer-Hübner, Simone [editor.] | Lambrinoudakis, Costas [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10442 | Lecture Notes in Computer Science ; 10442Edition: 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] : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle.

by De Nivelle, Hans [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9323 | Lecture Notes in Computer Science ; 9323Edition: 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 Cryptology – EUROCRYPT 2017 [electronic resource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I / edited by Jean-Sébastien Coron, Jesper Buus Nielsen.

by Coron, Jean-Sébastien [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10210 | Lecture Notes in Computer Science ; 10210Edition: 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
Requirements Engineering: Foundation for Software Quality [electronic resource] : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings / edited by Paul Grünbacher, Anna Perini.

by Grünbacher, Paul [editor.] | Perini, Anna [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10153 | Lecture Notes in Computer Science ; 10153Edition: 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 – EUROCRYPT 2017 [electronic resource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II / edited by Jean-Sébastien Coron, Jesper Buus Nielsen.

by Coron, Jean-Sébastien [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10211 | Lecture Notes in Computer Science ; 10211Edition: 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
Mathematical and Engineering Methods in Computer Science [electronic resource] : 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers / edited by Jan Kofroň, Tomáš Vojnar.

by Kofroň, Jan [editor.] | Vojnar, Tomáš [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9548 | Lecture Notes in Computer Science ; 9548Edition: 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
Applied Cryptography and Network Security [electronic resource] : 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings / edited by Dieter Gollmann, Atsuko Miyaji, Hiroaki Kikuchi.

by Gollmann, Dieter [editor.] | Miyaji, Atsuko [editor.] | Kikuchi, Hiroaki [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10355 | Lecture Notes in Computer Science ; 10355Edition: 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
Distributed Computing [electronic resource] : 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings / edited by Cyril Gavoille, David Ilcinkas.

by Gavoille, Cyril [editor.] | Ilcinkas, David [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9888 | Lecture Notes in Computer Science ; 9888Edition: 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
FM 2015: Formal Methods [electronic resource] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / edited by Nikolaj Bjørner, Frank de Boer.

by Bjørner, Nikolaj [editor.] | de Boer, Frank [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9109 | Lecture Notes in Computer Science ; 9109Edition: 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
Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego.

by Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9113 | Lecture Notes in Computer Science ; 9113Edition: 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
Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor.

by Daneva, Maya [editor.] | Pastor, Oscar [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9619 | Lecture Notes in Computer Science ; 9619Edition: 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
Service-Oriented Computing [electronic resource] : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings / edited by Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam.

by Barros, Alistair [editor.] | Grigori, Daniela [editor.] | Narendra, Nanjangud C [editor.] | Dam, Hoa Khanh [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9435 | Lecture Notes in Computer Science ; 9435Edition: 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
Post-Quantum Cryptography [electronic resource] : 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings / edited by Tanja Lange, Tsuyoshi Takagi.

by Lange, Tanja [editor.] | Takagi, Tsuyoshi [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10346 | Lecture Notes in Computer Science ; 10346Edition: 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
Risks and Security of Internet and Systems [electronic resource] : 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers / edited by Javier Lopez, Indrajit Ray, Bruno Crispo.

by Lopez, Javier [editor.] | Ray, Indrajit [editor.] | Crispo, Bruno [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8924 | Lecture Notes in Computer Science ; 8924Edition: 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
Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau.

by Taentzer, Gabriele [editor.] | Bordeleau, Francis [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9153 | Lecture Notes in Computer Science ; 9153Edition: 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
Theory and Practice of Model Transformation [electronic resource] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / edited by Esther Guerra, Mark van den Brand.

by Guerra, Esther [editor.] | van den Brand, Mark [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10374 | Lecture Notes in Computer Science ; 10374Edition: 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
Research in Attacks, Intrusions, and Defenses [electronic resource] : 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings / edited by Herbert Bos, Fabian Monrose, Gregory Blanc.

by Bos, Herbert [editor.] | Monrose, Fabian [editor.] | Blanc, Gregory [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9404 | Lecture Notes in Computer Science ; 9404Edition: 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
Service Oriented and Cloud Computing [electronic resource] : 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings / edited by Schahram Dustdar, Frank Leymann, Massimo Villari.

by Dustdar, Schahram [editor.] | Leymann, Frank [editor.] | Villari, Massimo [editor.] | SpringerLink (Online service).

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

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha