Your search returned 354 results.

Not what you expected? Check for suggestions
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): .

Place hold Log in to add tags
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): .

Place hold Log in to add tags
E-BOOKS
Structured Object-Oriented Formal Language and Method [electronic resource] : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan.

by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9559 | Lecture Notes in Computer Science ; 9559Edition: 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
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / edited by Daniel Kroening, Corina S. Păsăreanu.

by Kroening, Daniel [editor.] | Păsăreanu, Corina S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9206 | Lecture Notes in Computer Science ; 9206Edition: 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
Applied Reconfigurable Computing [electronic resource] : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings / edited by Kentaro Sano, Dimitrios Soudris, Michael Hübner, Pedro C. Diniz.

by Sano, Kentaro [editor.] | Soudris, Dimitrios [editor.] | Hübner, Michael [editor.] | Diniz, Pedro C [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Unconventional Computation and Natural Computation [electronic resource] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / edited by Martyn Amos, Anne Condon.

by Amos, Martyn [editor.] | Condon, Anne [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Swarm Intelligence [electronic resource] : 10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings / edited by Marco Dorigo, Mauro Birattari, Xiaodong Li, Manuel López-Ibáñez, Kazuhiro Ohkura, Carlo Pinciroli, Thomas Stützle.

by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Li, Xiaodong [editor.] | López-Ibáñez, Manuel [editor.] | Ohkura, Kazuhiro [editor.] | Pinciroli, Carlo [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9882 | Lecture Notes in Computer Science ; 9882Edition: 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / edited by Ahmed Bouajjani, David Monniaux.

by Bouajjani, Ahmed [editor.] | Monniaux, David [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Quantum Interaction [electronic resource] : 9th International Conference, QI 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers / edited by Harald Atmanspacher, Thomas Filk, Emmanuel Pothos.

by Atmanspacher, Harald [editor.] | Filk, Thomas [editor.] | Pothos, Emmanuel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9535 | Lecture Notes in Computer Science ; 9535Edition: 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
Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji.

by Chen, Yunji [editor.] | Ienne, Paolo [editor.] | Ji, Qing [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9231 | Lecture Notes in Computer Science ; 9231Edition: 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
Algorithms and Models for the Web Graph [electronic resource] : 14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15–16, 2017, Revised Selected Papers / edited by Anthony Bonato, Fan Chung Graham, Paweł Prałat.

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

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

Place hold Log in to add tags
E-BOOKS
Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II / edited by Xiaofeng Gao, Hongwei Du, Meng Han.

by Gao, Xiaofeng [editor.] | Du, Hongwei [editor.] | Han, Meng [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10628 | Lecture Notes in Computer Science ; 10628Edition: 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
Computational Topology in Image Context [electronic resource] : 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / edited by Alexandra Bac, Jean-Luc Mari.

by Bac, Alexandra [editor.] | Mari, Jean-Luc [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9667 | Lecture Notes in Computer Science ; 9667Edition: 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 Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I / edited by António Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello.

by Gaspar-Cunha, António [editor.] | Henggeler Antunes, Carlos [editor.] | Coello, Carlos Coello [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9018 | Lecture Notes in Computer Science ; 9018Edition: 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
Unconventional Computation and Natural Computation [electronic resource] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / edited by Matthew J. Patitz, Mike Stannett.

by Patitz, Matthew J [editor.] | Stannett, Mike [editor.] | SpringerLink (Online service).

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

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha