Your search returned 405 results.

Not what you expected? Check for suggestions
E-BOOKS
Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / edited by Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott.

by Martí-Oliet, Narciso [editor.] | Ölveczky, Peter Csaba [editor.] | Talcott, Carolyn [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Theory and Applications of Models of Computation [electronic resource] : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings / edited by Rahul Jain, Sanjay Jain, Frank Stephan.

by Jain, Rahul [editor.] | Jain, Sanjay [editor.] | Stephan, Frank [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9076 | Lecture Notes in Computer Science ; 9076Edition: 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
Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Krishna S.

by Banerjee, Mohua [editor.] | S., Krishna [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8923 | Lecture Notes in Computer Science ; 8923Edition: 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
Formal Grammar [electronic resource] : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla.

by Foret, Annie [editor.] | Morrill, Glyn [editor.] | Muskens, Reinhard [editor.] | Osswald, Rainer [editor.] | Pogodalla, Sylvain [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9804 | Lecture Notes in Computer Science ; 9804Edition: 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
Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings / edited by Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme.

by Brlek, Srečko [editor.] | Dolce, Francesco [editor.] | Reutenauer, Christophe [editor.] | Vandomme, Élise [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10432 | Lecture Notes in Computer Science ; 10432Edition: 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
Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.

by Karydis, Ioannis [editor.] | Sioutas, Spyros [editor.] | Triantafillou, Peter [editor.] | Tsoumakos, Dimitrios [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9511 | Lecture Notes in Computer Science ; 9511Edition: 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
Cellular Automata and Discrete Complex Systems [electronic resource] : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings / edited by Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca.

by Dennunzio, Alberto [editor.] | Formenti, Enrico [editor.] | Manzoni, Luca [editor.] | Porreca, Antonio E [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10248 | Lecture Notes in Computer Science ; 10248Edition: 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
Blended Learning. New Challenges and Innovative Practices [electronic resource] : 10th International Conference, ICBL 2017, Hong Kong, China, June 27-29, 2017, Proceedings / edited by Simon K.S. Cheung, Lam-for Kwok, Will W.K. Ma, Lap-Kei Lee, Harrison Yang.

by Cheung, Simon K.S [editor.] | Kwok, Lam-for [editor.] | Ma, Will W.K [editor.] | Lee, Lap-Kei [editor.] | Yang, Harrison [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10309 | Lecture Notes in Computer Science ; 10309Edition: 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
Learning and Intelligent Optimization [electronic resource] : 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers / edited by Paola Festa, Meinolf Sellmann, Joaquin Vanschoren.

by Festa, Paola [editor.] | Sellmann, Meinolf [editor.] | Vanschoren, Joaquin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10079 | Lecture Notes in Computer Science ; 10079Edition: 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
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings / edited by Bin Hu, Manuel López-Ibáñez.

by Hu, Bin [editor.] | López-Ibáñez, Manuel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10197 | Lecture Notes in Computer Science ; 10197Edition: 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
Advances in Computational Intelligence [electronic resource] : 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, June 10-12, 2015. Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Andreu Catala.

by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Catala, Andreu [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9095 | Lecture Notes in Computer Science ; 9095Edition: 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
Approximation and Online Algorithms [electronic resource] : 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25–26, 2016, Revised Selected Papers / edited by Klaus Jansen, Monaldo Mastrolilli.

by Jansen, Klaus [editor.] | Mastrolilli, Monaldo [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10138 | Lecture Notes in Computer Science ; 10138Edition: 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
Numerical Software Verification [electronic resource] : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / edited by Alessandro Abate, Sylvie Boldo.

by Abate, Alessandro [editor.] | Boldo, Sylvie [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10381 | Lecture Notes in Computer Science ; 10381Edition: 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
Algorithms and Models for the Web Graph [electronic resource] : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / edited by Anthony Bonato, Fan Chung Graham, Paweł Prałat.

by Bonato, Anthony [editor.] | Graham, Fan Chung [editor.] | Prałat, Paweł [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10088 | Lecture Notes in Computer Science ; 10088Edition: 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
Membrane Computing [electronic resource] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron.

by Leporati, Alberto [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10105 | Lecture Notes in Computer Science ; 10105Edition: 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
Advances in Swarm Intelligence [electronic resource] : 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Li Li.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Li, Li [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9713 | Lecture Notes in Computer Science ; 9713Edition: 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
Fundamental Approaches to Software Engineering [electronic resource] : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Alexander Egyed, Ina Schaefer.

by Egyed, Alexander [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9033 | Lecture Notes in Computer Science ; 9033Edition: 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
Computing and Combinatorics [electronic resource] : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings / edited by Yixin Cao, Jianer Chen.

by Cao, Yixin [editor.] | Chen, Jianer [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10392 | Lecture Notes in Computer Science ; 10392Edition: 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
Logic, Rationality, and Interaction [electronic resource] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.

by van der Hoek, Wiebe [editor.] | Holliday, Wesley H [editor.] | Wang, Wen-fang [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9394 | Lecture Notes in Computer Science ; 9394Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha