Your search returned 271 results.

Not what you expected? Check for suggestions
E-BOOKS
PRIMA 2017: Principles and Practice of Multi-Agent Systems [electronic resource] : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings / edited by Bo An, Ana Bazzan, João Leite, Serena Villata, Leendert van der Torre.

by An, Bo [editor.] | Bazzan, Ana [editor.] | Leite, João [editor.] | Villata, Serena [editor.] | van der Torre, Leendert [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10621 | Lecture Notes in Computer Science ; 10621Edition: 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
SDL 2017: Model-Driven Engineering for Future Internet [electronic resource] : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings / edited by Tibor Csöndes, Gábor Kovács, György Réthy.

by Csöndes, Tibor [editor.] | Kovács, Gábor [editor.] | Réthy, György [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10567 | Lecture Notes in Computer Science ; 10567Edition: 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
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

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

Series: Theoretical Computer Science and General Issues ; 9953 | Lecture Notes in Computer Science ; 9953Edition: 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
Topics in Theoretical Computer Science [electronic resource] : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings / edited by Mohammad Reza Mousavi, Jiří Sgall.

by Mousavi, Mohammad Reza [editor.] | Sgall, Jiří [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10608 | Lecture Notes in Computer Science ; 10608Edition: 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
Theoretical Aspects of Computing – ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / edited by Dang Van Hung, Deepak Kapur.

by Hung, Dang Van [editor.] | Kapur, Deepak [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10580 | Lecture Notes in Computer Science ; 10580Edition: 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
Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari.

by Olivetti, Nicola [editor.] | Tiwari, Ashish [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9706 | Lecture Notes in Computer Science ; 9706Edition: 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
Learning and Intelligent Optimization [electronic resource] : 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers / edited by Roberto Battiti, Dmitri E. Kvasov, Yaroslav D. Sergeyev.

by Battiti, Roberto [editor.] | Kvasov, Dmitri E [editor.] | Sergeyev, Yaroslav D [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10556 | Lecture Notes in Computer Science ; 10556Edition: 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
ModelEd, TestEd, TrustEd [electronic resource] : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday / edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink.

by Katoen, Joost-Pieter [editor.] | Langerak, Rom [editor.] | Rensink, Arend [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10500 | Lecture Notes in Computer Science ; 10500Edition: 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
Logics in Artificial Intelligence [electronic resource] : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / edited by Loizos Michael, Antonis Kakas.

by Michael, Loizos [editor.] | Kakas, Antonis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10021 | Lecture Notes in Computer Science ; 10021Edition: 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 II / 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 ; 9207 | Lecture Notes in Computer Science ; 9207Edition: 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
Transactions on Petri Nets and Other Models of Concurrency XII [electronic resource] / edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang.

by Koutny, Maciej [editor.] | Kleijn, Jetty [editor.] | Penczek, Wojciech [editor.] | Zhang, Mingmin [editor.] | SpringerLink (Online service).

Series: Transactions on Petri Nets and Other Models of Concurrency ; 10470 | Lecture Notes in Computer Science ; 10470Edition: 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
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings / edited by Alessandro Antonucci, Laurence Cholvy, Odile Papini.

by Antonucci, Alessandro [editor.] | Cholvy, Laurence [editor.] | Papini, Odile [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10369 | Lecture Notes in Computer Science ; 10369Edition: 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
Testing Software and Systems [electronic resource] : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün.

by Yevtushenko, Nina [editor.] | Cavalli, Ana Rosa [editor.] | Yenigün, Hüsnü [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10533 | Lecture Notes in Computer Science ; 10533Edition: 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
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) [electronic resource] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré.

by Amblard, Maxime [editor.] | de Groote, Philippe [editor.] | Pogodalla, Sylvain [editor.] | Retoré, Christian [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10054 | Lecture Notes in Computer Science ; 10054Edition: 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
Numerical Software Verification [electronic resource] : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers / edited by Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar.

by Bogomolov, Sergiy [editor.] | Martel, Matthieu [editor.] | Prabhakar, Pavithra [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10152 | Lecture Notes in Computer Science ; 10152Edition: 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
Requirements Engineering: Foundation for Software Quality [electronic resource] : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / edited by Samuel A. Fricker, Kurt Schneider.

by Fricker, Samuel A [editor.] | Schneider, Kurt [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9013 | Lecture Notes in Computer Science ; 9013Edition: 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
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen.

by Ábrahám, Erika [editor.] | Bonsangue, Marcello [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9660 | Lecture Notes in Computer Science ; 9660Edition: 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
Formal Methods for Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.

by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9104 | Lecture Notes in Computer Science ; 9104Edition: 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
Fundamentals of Software Engineering [electronic resource] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.

by Dastani, Mehdi [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9392 | Lecture Notes in Computer Science ; 9392Edition: 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 Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.

by Núñez, Manuel [editor.] | Güdemann, Matthias [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9128 | Lecture Notes in Computer Science ; 9128Edition: 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