Your search returned 3177 results.

Not what you expected? Check for suggestions
E-BOOKS
Multi-Agent Based Simulation XVII [electronic resource] : International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers / edited by Luis Gustavo Nardin, Luis Antunes.

by Nardin, Luis Gustavo [editor.] | Antunes, Luis [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10399 | Lecture Notes in Computer Science ; 10399Edition: 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 Technology for Verification and Analysis [electronic resource] : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings / edited by Deepak D'Souza, K. Narayan Kumar.

by D'Souza, Deepak [editor.] | Narayan Kumar, K [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10482 | Lecture Notes in Computer Science ; 10482Edition: 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
Network and Parallel Computing [electronic resource] : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings / edited by Xuanhua Shi, Hong An, Chao Wang, Mahmut Kandemir, Hai Jin.

by Shi, Xuanhua [editor.] | An, Hong [editor.] | Wang, Chao [editor.] | Kandemir, Mahmut [editor.] | Jin, Hai [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10578 | Lecture Notes in Computer Science ; 10578Edition: 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
Theory of Cryptography [electronic resource] : 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II / edited by Yael Kalai, Leonid Reyzin.

by Kalai, Yael [editor.] | Reyzin, Leonid [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10678 | Lecture Notes in Computer Science ; 10678Edition: 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
High-Performance Scientific Computing [electronic resource] : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers / edited by Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann, Alexander Peyser.

by Di Napoli, Edoardo [editor.] | Hermanns, Marc-André [editor.] | Iliev, Hristo [editor.] | Lintermann, Andreas [editor.] | Peyser, Alexander [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10164 | Lecture Notes in Computer Science ; 10164Edition: 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
Model and Data Engineering [electronic resource] : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4–6, 2017, Proceedings / edited by Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche.

by Ouhammou, Yassine [editor.] | Ivanovic, Mirjana [editor.] | Abelló, Alberto [editor.] | Bellatreche, Ladjel [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10563 | Lecture Notes in Computer Science ; 10563Edition: 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
The Semantic Web – ISWC 2017 [electronic resource] : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin.

by d'Amato, Claudia [editor.] | Fernandez, Miriam [editor.] | Tamma, Valentina [editor.] | Lecue, Freddy [editor.] | Cudré-Mauroux, Philippe [editor.] | Sequeda, Juan [editor.] | Lange, Christoph [editor.] | Heflin, Jeff [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10588 | Lecture Notes in Computer Science ; 10588Edition: 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
Spatial Cognition X [electronic resource] : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26–30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2–5, 2016, Revised Selected Papers / edited by Thomas Barkowsky, Heather Burte, Christoph Hölscher, Holger Schultheis.

by Barkowsky, Thomas [editor.] | Burte, Heather [editor.] | Hölscher, Christoph [editor.] | Schultheis, Holger [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10523 | Lecture Notes in Computer Science ; 10523Edition: 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
Information Theoretic Security [electronic resource] : 10th International Conference, ICITS 2017, Hong Kong, China, November 29 – December 2, 2017, Proceedings / edited by Junji Shikata.

by Shikata, Junji [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10681 | Lecture Notes in Computer Science ; 10681Edition: 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
Verified Software. Theories, Tools, and Experiments [electronic resource] : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers / edited by Andrei Paskevich, Thomas Wies.

by Paskevich, Andrei [editor.] | Wies, Thomas [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10712 | Lecture Notes in Computer Science ; 10712Edition: 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
Behavior Modeling -- Foundations and Applications [electronic resource] : International Workshops, BM-FA 2009-2014, Revised Selected Papers / edited by Ella Roubtsova, Ashley McNeile, Ekkart Kindler, Christian Gerth.

by Roubtsova, Ella [editor.] | McNeile, Ashley [editor.] | Kindler, Ekkart [editor.] | Gerth, Christian [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6368 | Lecture Notes in Computer Science ; 6368Edition: 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
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
Advances in Conceptual Modeling [electronic resource] : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6–9, 2017, Proceedings / edited by Sergio de Cesare, Ulrich Frank.

by de Cesare, Sergio [editor.] | Frank, Ulrich [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10651 | Lecture Notes in Computer Science ; 10651Edition: 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
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
Electronic Voting [electronic resource] : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings / edited by Robert Krimmer, Melanie Volkamer, Nadja Braun Binder, Norbert Kersting, Olivier Pereira, Carsten Schürmann.

by Krimmer, Robert [editor.] | Volkamer, Melanie [editor.] | Braun Binder, Nadja [editor.] | Kersting, Norbert [editor.] | Pereira, Olivier [editor.] | Schürmann, Carsten [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10615 | Lecture Notes in Computer Science ; 10615Edition: 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
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
The Semantic Web – ISWC 2017 [electronic resource] : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I / edited by Claudia d'Amato, Miriam Fernandez, Valentina Tamma, Freddy Lecue, Philippe Cudré-Mauroux, Juan Sequeda, Christoph Lange, Jeff Heflin.

by d'Amato, Claudia [editor.] | Fernandez, Miriam [editor.] | Tamma, Valentina [editor.] | Lecue, Freddy [editor.] | Cudré-Mauroux, Philippe [editor.] | Sequeda, Juan [editor.] | Lange, Christoph [editor.] | Heflin, Jeff [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10587 | Lecture Notes in Computer Science ; 10587Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha