Your search returned 5696 results.

Not what you expected? Check for suggestions
E-BOOKS
Cellular Automata [electronic resource] : 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings / edited by Samira El Yacoubi, Jarosław Wąs, Stefania Bandini.

by El Yacoubi, Samira [editor.] | Wąs, Jarosław [editor.] | Bandini, Stefania [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9863 | Lecture Notes in Computer Science ; 9863Edition: 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
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
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
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
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
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
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
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
Provenance and Annotation of Data and Processes [electronic resource] : 6th International Provenance and Annotation Workshop, IPAW 2016, McLean, VA, USA, June 7-8, 2016, Proceedings / edited by Marta Mattoso, Boris Glavic.

by Mattoso, Marta [editor.] | Glavic, Boris [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9672 | Lecture Notes in Computer Science ; 9672Edition: 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
Artificial Computation in Biology and Medicine [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I / edited by José Manuel Ferrández Vicente, José Ramón Álvarez-Sánchez, Félix de la Paz López, Fco. Javier Toledo-Moreo, Hojjat Adeli.

by Ferrández Vicente, José Manuel [editor.] | Álvarez-Sánchez, José Ramón [editor.] | de la Paz López, Félix [editor.] | Toledo-Moreo, Fco. Javier [editor.] | Adeli, Hojjat [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9107 | Lecture Notes in Computer Science ; 9107Edition: 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
Trends in Artificial Intelligence: PRICAI 2016 Workshops [electronic resource] : PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers / edited by Masayuki Numao, Thanaruk Theeramunkong, Thepchai Supnithi, Mahasak Ketcham, Narit Hnoohom, Patiyuth Pramkeaw.

by Numao, Masayuki [editor.] | Theeramunkong, Thanaruk [editor.] | Supnithi, Thepchai [editor.] | Ketcham, Mahasak [editor.] | Hnoohom, Narit [editor.] | Pramkeaw, Patiyuth [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10004 | Lecture Notes in Computer Science ; 10004Edition: 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
PRICAI 2016: Trends in Artificial Intelligence [electronic resource] : 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings / edited by Richard Booth, Min-Ling Zhang.

by Booth, Richard [editor.] | Zhang, Min-Ling [editor.] | SpringerLink (Online service).

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