Your search returned 47 results.

Not what you expected? Check for suggestions
E-BOOKS
Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Michał Skrzypczak.

by Skrzypczak, Michał [author.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9802 | Lecture Notes in Computer Science ; 9802Edition: 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
Computer Science -- Theory and Applications [electronic resource] : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings / edited by Lev D. Beklemishev, Daniil V. Musatov.

by Beklemishev, Lev D [editor.] | Musatov, Daniil V [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9139 | Lecture Notes in Computer Science ; 9139Edition: 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
DNA Computing and Molecular Programming [electronic resource] : 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings / edited by Andrew Phillips, Peng Yin.

by Phillips, Andrew [editor.] | Yin, Peng [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9211 | Lecture Notes in Computer Science ; 9211Edition: 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
Topics in Theoretical Computer Science [electronic resource] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / edited by Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi.

by Hajiaghayi, Mohammed Taghi [editor.] | Mousavi, Mohammad Reza [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9541 | Lecture Notes in Computer Science ; 9541Edition: 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
Genetic Programming [electronic resource] : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / edited by Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim.

by Heywood, Malcolm I [editor.] | McDermott, James [editor.] | Castelli, Mauro [editor.] | Costa, Ernesto [editor.] | Sim, Kevin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9594 | Lecture Notes in Computer Science ; 9594Edition: 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
Genetic Programming [electronic resource] : 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings / edited by James McDermott, Mauro Castelli, Lukas Sekanina, Evert Haasdijk, Pablo García-Sánchez.

by McDermott, James [editor.] | Castelli, Mauro [editor.] | Sekanina, Lukas [editor.] | Haasdijk, Evert [editor.] | García-Sánchez, Pablo [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10196 | Lecture Notes in Computer Science ; 10196Edition: 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
DNA Computing and Molecular Programming [electronic resource] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / edited by Yannick Rondelez, Damien Woods.

by Rondelez, Yannick [editor.] | Woods, Damien [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9818 | Lecture Notes in Computer Science ; 9818Edition: 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
LATIN 2016: Theoretical Informatics [electronic resource] : 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings / edited by Evangelos Kranakis, Gonzalo Navarro, Edgar Chávez.

by Kranakis, Evangelos [editor.] | Navarro, Gonzalo [editor.] | Chávez, Edgar [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9644 | Lecture Notes in Computer Science ; 9644Edition: 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
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
Finite Difference Methods,Theory and Applications [electronic resource] : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov.

by Dimov, Ivan [editor.] | Faragó, István [editor.] | Vulkov, Lubin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9045 | Lecture Notes in Computer Science ; 9045Edition: 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 of Cryptography [electronic resource] : 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I / edited by Yevgeniy Dodis, Jesper Buus Nielsen.

by Dodis, Yevgeniy [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9014 | Lecture Notes in Computer Science ; 9014Edition: 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
Frontiers in Algorithmics [electronic resource] : 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings / edited by Daming Zhu, Sergey Bereg.

by Zhu, Daming [editor.] | Bereg, Sergey [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9711 | Lecture Notes in Computer Science ; 9711Edition: 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
Advances in Computer Games [electronic resource] : 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / edited by Aske Plaat, Jaap van den Herik, Walter Kosters.

by Plaat, Aske [editor.] | van den Herik, Jaap [editor.] | Kosters, Walter [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9525 | Lecture Notes in Computer Science ; 9525Edition: 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 of Cryptography [electronic resource] : 12th International Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II / edited by Yevgeniy Dodis, Jesper Buus Nielsen.

by Dodis, Yevgeniy [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9015 | Lecture Notes in Computer Science ; 9015Edition: 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
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
Frontiers in Algorithmics [electronic resource] : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / edited by Jianxin Wang, Chee Yap.

by Wang, Jianxin [editor.] | Yap, Chee [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9130 | Lecture Notes in Computer Science ; 9130Edition: 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
Genetic Programming [electronic resource] : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Penousal Machado, Malcolm I. Heywood, James McDermott, Mauro Castelli, Pablo García-Sánchez, Paolo Burelli, Sebastian Risi, Kevin Sim.

by Machado, Penousal [editor.] | Heywood, Malcolm I [editor.] | McDermott, James [editor.] | Castelli, Mauro [editor.] | García-Sánchez, Pablo [editor.] | Burelli, Paolo [editor.] | Risi, Sebastian [editor.] | Sim, Kevin [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9025 | Lecture Notes in Computer Science ; 9025Edition: 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
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
Algorithm Engineering [electronic resource] : Selected Results and Surveys / edited by Lasse Kliemann, Peter Sanders.

by Kliemann, Lasse [editor.] | Sanders, Peter [editor.] | SpringerLink (Online service).

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