Your search returned 10762 results.

Not what you expected? Check for suggestions
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
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 II / 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 ; 9615 | Lecture Notes in Computer Science ; 9615Edition: 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
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
Multiagent System Technologies [electronic resource] : 13th German Conference, MATES 2015, Cottbus, Germany, September 28 - 30, 2015, Revised Selected Papers / edited by Jörg P. Müller, Wolf Ketter, Gal Kaminka, Gerd Wagner, Nils Bulling.

by Müller, Jörg P [editor.] | Ketter, Wolf [editor.] | Kaminka, Gal [editor.] | Wagner, Gerd [editor.] | Bulling, Nils [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9433 | Lecture Notes in Computer Science ; 9433Edition: 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
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra.

by Osman, Nardine [editor.] | Sierra, Carles [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10003 | Lecture Notes in Computer Science ; 10003Edition: 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
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
MultiMedia Modeling [electronic resource] : 22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part II / edited by Qi Tian, Nicu Sebe, Guo-Jun Qi, Benoit Huet, Richang Hong, Xueliang Liu.

by Tian, Qi [editor.] | Sebe, Nicu [editor.] | Qi, Guo-Jun [editor.] | Huet, Benoit [editor.] | Hong, Richang [editor.] | Liu, Xueliang [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9517 | Lecture Notes in Computer Science ; 9517Edition: 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
Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin.

by Huisman, Marieke [editor.] | Rubin, Julia [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10202 | Lecture Notes in Computer Science ; 10202Edition: 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
Theory and Practice of Natural Computing [electronic resource] : 5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings / edited by Carlos Martín-Vide, Takaaki Mizuki, Miguel A. Vega-Rodríguez.

by Martín-Vide, Carlos [editor.] | Mizuki, Takaaki [editor.] | Vega-Rodríguez, Miguel A [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10071 | Lecture Notes in Computer Science ; 10071Edition: 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
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Gabriela Ochoa, Francisco Chicano.

by Ochoa, Gabriela [editor.] | Chicano, Francisco [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9026 | Lecture Notes in Computer Science ; 9026Edition: 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
Social Robotics [electronic resource] : 8th International Conference, ICSR 2016, Kansas City, MO, USA, November 1-3, 2016 Proceedings / edited by Arvin Agah, John-John Cabibihan, Ayanna M. Howard, Miguel A. Salichs, Hongsheng He.

by Agah, Arvin [editor.] | Cabibihan, John-John [editor.] | Howard, Ayanna M [editor.] | Salichs, Miguel A [editor.] | He, Hongsheng [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9979 | Lecture Notes in Computer Science ; 9979Edition: 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
Information Security Practice and Experience [electronic resource] : 11th International Conference, ISPEC 2015, Beijing, China, May 5-8, 2015, Proceedings / edited by Javier Lopez, Yongdong Wu.

by Lopez, Javier [editor.] | Wu, Yongdong [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9065 | Lecture Notes in Computer Science ; 9065Edition: 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
Reliable Software Technologies – Ada-Europe 2017 [electronic resource] : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings / edited by Johann Blieberger, Markus Bader.

by Blieberger, Johann [editor.] | Bader, Markus [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10300 | Lecture Notes in Computer Science ; 10300Edition: 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
Computing and Combinatorics [electronic resource] : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Thang N. Dinh, My T. Thai.

by Dinh, Thang N [editor.] | Thai, My T [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9797 | Lecture Notes in Computer Science ; 9797Edition: 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
Collaboration and Technology [electronic resource] : 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings / edited by Carl Gutwin, Sergio F. Ochoa, Julita Vassileva, Tomoo Inoue.

by Gutwin, Carl [editor.] | Ochoa, Sergio F [editor.] | Vassileva, Julita [editor.] | Inoue, Tomoo [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10391 | Lecture Notes in Computer Science ; 10391Edition: 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
Algorithmic Game Theory [electronic resource] : 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings / edited by Martin Hoefer.

by Hoefer, Martin [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9347 | Lecture Notes in Computer Science ; 9347Edition: 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
Transactions on Large-Scale Data- and Knowledge-Centered Systems XIX [electronic resource] : Special Issue on Big Data and Open Data / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Devis Bianchini, Valeria De Antonellis, Roberto De Virgilio.

by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Bianchini, Devis [editor.] | De Antonellis, Valeria [editor.] | De Virgilio, Roberto [editor.] | SpringerLink (Online service).

Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 8990 | Lecture Notes in Computer Science ; 8990Edition: 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
Artificial Intelligence in Medicine [electronic resource] : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings / edited by Annette ten Teije, Christian Popow, John H. Holmes, Lucia Sacchi.

by ten Teije, Annette [editor.] | Popow, Christian [editor.] | Holmes, John H [editor.] | Sacchi, Lucia [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10259 | Lecture Notes in Computer Science ; 10259Edition: 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
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / edited by Sabine Wittevrongel, Tuan Phung-Duc.

by Wittevrongel, Sabine [editor.] | Phung-Duc, Tuan [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9845 | Lecture Notes in Computer Science ; 9845Edition: 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
String Processing and Information Retrieval [electronic resource] : 23rd International Symposium, SPIRE 2016, Beppu, Japan, October 18-20, 2016, Proceedings / edited by Shunsuke Inenaga, Kunihiko Sadakane, Tetsuya Sakai.

by Inenaga, Shunsuke [editor.] | Sadakane, Kunihiko [editor.] | Sakai, Tetsuya [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha