Your search returned 405 results.

Not what you expected? Check for suggestions
E-BOOKS
Advances in Swarm Intelligence [electronic resource] : 8th International Conference, ICSI 2017, Fukuoka, Japan, July 27 – August 1, 2017, Proceedings, Part I / edited by Ying Tan, Hideyuki Takagi, Yuhui Shi.

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

Series: Theoretical Computer Science and General Issues ; 10385 | Lecture Notes in Computer Science ; 10385Edition: 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 Satisfiability Testing – SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / edited by Nadia Creignou, Daniel Le Berre.

by Creignou, Nadia [editor.] | Le Berre, Daniel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9710 | Lecture Notes in Computer Science ; 9710Edition: 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
Unveiling Dynamics and Complexity [electronic resource] : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / edited by Jarkko Kari, Florin Manea, Ion Petre.

by Kari, Jarkko [editor.] | Manea, Florin [editor.] | Petre, Ion [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10307 | Lecture Notes in Computer Science ; 10307Edition: 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
Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.

by van der Aalst, Wil [editor.] | Best, Eike [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10258 | Lecture Notes in Computer Science ; 10258Edition: 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
Artificial Neural Networks and Machine Learning – ICANN 2016 [electronic resource] : 25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II / edited by Alessandro E.P. Villa, Paolo Masulli, Antonio Javier Pons Rivero.

by Villa, Alessandro E.P [editor.] | Masulli, Paolo [editor.] | Pons Rivero, Antonio Javier [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9887 | Lecture Notes in Computer Science ; 9887Edition: 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
Language and Automata Theory and Applications [electronic resource] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / edited by Frank Drewes, Carlos Martín-Vide, Bianca Truthe.

by Drewes, Frank [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10168 | Lecture Notes in Computer Science ; 10168Edition: 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
Small Dynamic Complexity Classes [electronic resource] : An Investigation into Dynamic Descriptive Complexity / by Thomas Zeume.

by Zeume, Thomas [author.] | SpringerLink (Online service).

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

Place hold Log in to add tags
E-BOOKS
Information Processing in Cells and Tissues [electronic resource] : 10th International Conference, IPCAT 2015, San Diego, CA, USA, September 14-16, 2015, Proceedings / edited by Michael Lones, Andy Tyrrell, Stephen Smith, Gary Fogel.

by Lones, Michael [editor.] | Tyrrell, Andy [editor.] | Smith, Stephen [editor.] | Fogel, Gary [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9303 | Lecture Notes in Computer Science ; 9303Edition: 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
Parallel Computing Technologies [electronic resource] : 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings / edited by Victor Malyshkin.

by Malyshkin, Victor [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10421 | Lecture Notes in Computer Science ; 10421Edition: 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
Latent Variable Analysis and Signal Separation [electronic resource] : 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings / edited by Petr Tichavský, Massoud Babaie-Zadeh, Olivier J.J. Michel, Nadège Thirion-Moreau.

by Tichavský, Petr [editor.] | Babaie-Zadeh, Massoud [editor.] | Michel, Olivier J.J [editor.] | Thirion-Moreau, Nadège [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10169 | Lecture Notes in Computer Science ; 10169Edition: 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
Combinatorial Algorithms [electronic resource] : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers / edited by Kratochvíl Jan, Mirka Miller, Dalibor Froncek.

by Jan, Kratochvíl [editor.] | Miller, Mirka [editor.] | Froncek, Dalibor [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8986 | Lecture Notes in Computer Science ; 8986Edition: 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
Rewriting Logic and Its Applications [electronic resource] : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Dorel Lucanu.

by Lucanu, Dorel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9942 | Lecture Notes in Computer Science ; 9942Edition: 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 Neural Networks - ISNN 2017 [electronic resource] : 14th International Symposium, ISNN 2017, Sapporo, Hakodate, and Muroran, Hokkaido, Japan, June 21–26, 2017, Proceedings, Part I / edited by Fengyu Cong, Andrew Leung, Qinglai Wei.

by Cong, Fengyu [editor.] | Leung, Andrew [editor.] | Wei, Qinglai [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10261 | Lecture Notes in Computer Science ; 10261Edition: 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
Structured Object-Oriented Formal Language and Method [electronic resource] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya.

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

Series: Theoretical Computer Science and General Issues ; 10189 | Lecture Notes in Computer Science ; 10189Edition: 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
Computing and Combinatorics [electronic resource] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings / edited by Dachuan Xu, Donglei Du, Dingzhu Du.

by Xu, Dachuan [editor.] | Du, Donglei [editor.] | Du, Dingzhu [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9198 | Lecture Notes in Computer Science ; 9198Edition: 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
Fundamental Approaches to Software Engineering [electronic resource] : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Perdita Stevens, Andrzej Wąsowski.

by Stevens, Perdita [editor.] | Wąsowski, Andrzej [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9633 | Lecture Notes in Computer Science ; 9633Edition: 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
Trends in Functional Programming [electronic resource] : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers / edited by Jurriaan Hage, Jay McCarthy.

by Hage, Jurriaan [editor.] | McCarthy, Jay [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8843 | Lecture Notes in Computer Science ; 8843Edition: 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
Application and Theory of Petri Nets and Concurrency [electronic resource] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / edited by Fabrice Kordon, Daniel Moldt.

by Kordon, Fabrice [editor.] | Moldt, Daniel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9698 | Lecture Notes in Computer Science ; 9698Edition: 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
High Performance Computing for Computational Science – VECPAR 2016 [electronic resource] : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers / edited by Inês Dutra, Rui Camacho, Jorge Barbosa, Osni Marques.

by Dutra, Inês [editor.] | Camacho, Rui [editor.] | Barbosa, Jorge [editor.] | Marques, Osni [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10150 | Lecture Notes in Computer Science ; 10150Edition: 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
Application and Theory of Petri Nets and Concurrency [electronic resource] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / edited by Raymond Devillers, Antti Valmari.

by Devillers, Raymond [editor.] | Valmari, Antti [editor.] | SpringerLink (Online service).

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