Your search returned 405 results.

Not what you expected? Check for suggestions
E-BOOKS
Open and Big Data Management and Innovation [electronic resource] : 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings / edited by Marijn Janssen, Matti Mäntymäki, Jan Hidders, Bram Klievink, Winfried Lamersdorf, Bastiaan van Loenen, Anneke Zuiderwijk.

by Janssen, Marijn [editor.] | Mäntymäki, Matti [editor.] | Hidders, Jan [editor.] | Klievink, Bram [editor.] | Lamersdorf, Winfried [editor.] | van Loenen, Bastiaan [editor.] | Zuiderwijk, Anneke [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9373 | Lecture Notes in Computer Science ; 9373Edition: 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
Language and Automata Theory and Applications [electronic resource] : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings / edited by Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe.

by Dediu, Adrian-Horia [editor.] | Janoušek, Jan [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9618 | Lecture Notes in Computer Science ; 9618Edition: 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
Descriptional Complexity of Formal Systems [electronic resource] : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.

by Shallit, Jeffrey [editor.] | Okhotin, Alexander [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9118 | Lecture Notes in Computer Science ; 9118Edition: 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
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino.

by Jobstmann, Barbara [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9583 | Lecture Notes in Computer Science ; 9583Edition: 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
Computational Logistics [electronic resource] : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / edited by Ana Paias, Mario Ruthmair, Stefan Voß.

by Paias, Ana [editor.] | Ruthmair, Mario [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9855 | Lecture Notes in Computer Science ; 9855Edition: 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
Hybrid Learning: Innovation in Educational Practices [electronic resource] : 8th International Conference, ICHL 2015, Wuhan, China, July 27–29, 2015. Proceedings / edited by Simon K.S. Cheung, Lam-for Kwok, Harrison Yang, Joseph Fong, Reggie Kwan.

by Cheung, Simon K.S [editor.] | Kwok, Lam-for [editor.] | Yang, Harrison [editor.] | Fong, Joseph [editor.] | Kwan, Reggie [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9167 | Lecture Notes in Computer Science ; 9167Edition: 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
Formal Modeling and Analysis of Timed Systems [electronic resource] : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings / edited by Alessandro Abate, Gilles Geeraerts.

by Abate, Alessandro [editor.] | Geeraerts, Gilles [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10419 | Lecture Notes in Computer Science ; 10419Edition: 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
Functional and Logic Programming [electronic resource] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / edited by Oleg Kiselyov, Andy King.

by Kiselyov, Oleg [editor.] | King, Andy [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9613 | Lecture Notes in Computer Science ; 9613Edition: 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
Applied Reconfigurable Computing [electronic resource] : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings / edited by Stephan Wong, Antonio Carlos Beck, Koen Bertels, Luigi Carro.

by Wong, Stephan [editor.] | Beck, Antonio Carlos [editor.] | Bertels, Koen [editor.] | Carro, Luigi [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10216 | Lecture Notes in Computer Science ; 10216Edition: 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
Transactional Memory. Foundations, Algorithms, Tools, and Applications [electronic resource] : COST Action Euro-TM IC1001 / edited by Rachid Guerraoui, Paolo Romano.

by Guerraoui, Rachid [editor.] | Romano, Paolo [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8913 | Lecture Notes in Computer Science ; 8913Edition: 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
Foundations of Software Science and Computation Structures [electronic resource] : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Javier Esparza, Andrzej S. Murawski.

by Esparza, Javier [editor.] | Murawski, Andrzej S [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10203 | Lecture Notes in Computer Science ; 10203Edition: 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
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9952 | Lecture Notes in Computer Science ; 9952Edition: 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 and Evaluation of Computer and Communication Systems [electronic resource] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar.

by Barkaoui, Kamel [editor.] | Boucheneb, Hanifa [editor.] | Mili, Ali [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10466 | Lecture Notes in Computer Science ; 10466Edition: 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
Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Viktória Zsók, Zoltán Horváth, Lehel Csató.

by Zsók, Viktória [editor.] | Horváth, Zoltán [editor.] | Csató, Lehel [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8606 | Lecture Notes in Computer Science ; 8606Edition: 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
Integer Programming and Combinatorial Optimization [electronic resource] : 19th International Conference, IPCO 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings / edited by Friedrich Eisenbrand, Jochen Koenemann.

by Eisenbrand, Friedrich [editor.] | Koenemann, Jochen [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10328 | Lecture Notes in Computer Science ; 10328Edition: 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
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das.

by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8947 | Lecture Notes in Computer Science ; 8947Edition: 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
Distributed Computing [electronic resource] : 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings / edited by Yoram Moses.

by Moses, Yoram [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9363 | Lecture Notes in Computer Science ; 9363Edition: 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
Informatics in Schools: Improvement of Informatics Knowledge and Perception [electronic resource] : 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings / edited by Andrej Brodnik, Françoise Tort.

by Brodnik, Andrej [editor.] | Tort, Françoise [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9973 | Lecture Notes in Computer Science ; 9973Edition: 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
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.

by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9134 | Lecture Notes in Computer Science ; 9134Edition: 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
Developments in Language Theory [electronic resource] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Srečko Brlek, Christophe Reutenauer.

by Brlek, Srečko [editor.] | Reutenauer, Christophe [editor.] | SpringerLink (Online service).

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

Powered by Koha