Your search returned 1527 results.

Not what you expected? Check for suggestions
E-BOOKS
Theoretical Aspects of Computing – ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang.

by Sampaio, Augusto [editor.] | Wang, Farn [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9965 | Lecture Notes in Computer Science ; 9965Edition: 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
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.

by Larsen, Kim Guldstrand [editor.] | Sokolsky, Oleg [editor.] | Wang, Ji [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10606 | Lecture Notes in Computer Science ; 10606Edition: 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
Formal Aspects of Component Software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky.

by Braga, Christiano [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9539 | Lecture Notes in Computer Science ; 9539Edition: 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
Natural Language Processing and Information Systems [electronic resource] : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings / edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera.

by Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Saraee, Mohamad [editor.] | Sugumaran, Vijayan [editor.] | Vadera, Sunil [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9612 | Lecture Notes in Computer Science ; 9612Edition: 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
Computer Science – Theory and Applications [electronic resource] : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexander S. Kulikov, Gerhard J. Woeginger.

by Kulikov, Alexander S [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9691 | Lecture Notes in Computer Science ; 9691Edition: 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
Implementation and Application of Automata [electronic resource] : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings / edited by Yo-Sub Han, Kai Salomaa.

by Han, Yo-Sub [editor.] | Salomaa, Kai [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9705 | Lecture Notes in Computer Science ; 9705Edition: 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
Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / edited by Florin Manea, Dirk Nowotka.

by Manea, Florin [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9304 | Lecture Notes in Computer Science ; 9304Edition: 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
Graph Transformation [electronic resource] : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / edited by Rachid Echahed, Mark Minas.

by Echahed, Rachid [editor.] | Minas, Mark [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9761 | Lecture Notes in Computer Science ; 9761Edition: 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
Software Engineering for Resilient Systems [electronic resource] : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / edited by Ivica Crnkovic, Elena Troubitsyna.

by Crnkovic, Ivica [editor.] | Troubitsyna, Elena [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9823 | Lecture Notes in Computer Science ; 9823Edition: 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
Developments in Language Theory [electronic resource] : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.

by Charlier, Émilie [editor.] | Leroy, Julien [editor.] | Rigo, Michel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10396 | Lecture Notes in Computer Science ; 10396Edition: 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
Cellular Automata and Discrete Complex Systems [electronic resource] : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / edited by Matthew Cook, Turlough Neary.

by Cook, Matthew [editor.] | Neary, Turlough [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9664 | Lecture Notes in Computer Science ; 9664Edition: 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
Combinatorial Algorithms [electronic resource] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings / edited by Veli Mäkinen, Simon J. Puglisi, Leena Salmela.

by Mäkinen, Veli [editor.] | Puglisi, Simon J [editor.] | Salmela, Leena [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9843 | Lecture Notes in Computer Science ; 9843Edition: 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
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton.

by Croitoru, Madalina [editor.] | Marquis, Pierre [editor.] | Rudolph, Sebastian [editor.] | Stapleton, Gem [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9501 | Lecture Notes in Computer Science ; 9501Edition: 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
FM 2016: Formal Methods [electronic resource] : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou.

by Fitzgerald, John [editor.] | Heitmeyer, Constance [editor.] | Gnesi, Stefania [editor.] | Philippou, Anna [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9995 | Lecture Notes in Computer Science ; 9995Edition: 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
AI*IA 2017 Advances in Artificial Intelligence [electronic resource] : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings / edited by Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi.

by Esposito, Floriana [editor.] | Basili, Roberto [editor.] | Ferilli, Stefano [editor.] | Lisi, Francesca A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10640 | Lecture Notes in Computer Science ; 10640Edition: 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
Language and Automata Theory and Applications [electronic resource] : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings / edited by Adrian-Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe.

by Dediu, Adrian-Horia [editor.] | Formenti, Enrico [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8977 | Lecture Notes in Computer Science ; 8977Edition: 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, Language, and Computation [electronic resource] : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers / edited by Martin Aher, Daniel Hole, Emil Jeřábek, Clemens Kupke.

by Aher, Martin [editor.] | Hole, Daniel [editor.] | Jeřábek, Emil [editor.] | Kupke, Clemens [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8984 | Lecture Notes in Computer Science ; 8984Edition: 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
Digital Libraries: Data, Information, and Knowledge for Digital Lives [electronic resource] : 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings / edited by Songphan Choemprayong, Fabio Crestani, Sally Jo Cunningham.

by Choemprayong, Songphan [editor.] | Crestani, Fabio [editor.] | Cunningham, Sally Jo [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10647 | Lecture Notes in Computer Science ; 10647Edition: 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
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) [electronic resource] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré.

by Amblard, Maxime [editor.] | de Groote, Philippe [editor.] | Pogodalla, Sylvain [editor.] | Retoré, Christian [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10054 | Lecture Notes in Computer Science ; 10054Edition: 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
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.

by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

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