Your search returned 4490 results.

Not what you expected? Check for suggestions
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
Analytical and Computational Methods in Probability Theory [electronic resource] : First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings / edited by Vladimir V. Rykov, Nozer D. Singpurwalla, Andrey M. Zubkov.

by Rykov, Vladimir V [editor.] | Singpurwalla, Nozer D [editor.] | Zubkov, Andrey M [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10684 | Lecture Notes in Computer Science ; 10684Edition: 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 Practice of Natural Computing [electronic resource] : 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings / edited by Carlos Martín-Vide, Roman Neruda, Miguel A. Vega-Rodríguez.

by Martín-Vide, Carlos [editor.] | Neruda, Roman [editor.] | Vega-Rodríguez, Miguel A [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10687 | Lecture Notes in Computer Science ; 10687Edition: 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 Edutainment XI [electronic resource] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Mueller, Mingmin Zhang.

by Pan, Zhigeng [editor.] | Cheok, Adrian David [editor.] | Mueller, Wolfgang [editor.] | Zhang, Mingmin [editor.] | SpringerLink (Online service).

Series: Transactions on Edutainment ; 8971 | Lecture Notes in Computer Science ; 8971Edition: 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
Big Data Computing and Communications [electronic resource] : Second International Conference, BigCom 2016, Shenyang, China, July 29-31, 2016. Proceedings / edited by Yu Wang, Ge Yu, Yanyong Zhang, Zhu Han, Guoren Wang.

by Wang, Yu [editor.] | Yu, Ge [editor.] | Zhang, Yanyong [editor.] | Han, Zhu [editor.] | Wang, Guoren [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9784 | Lecture Notes in Computer Science ; 9784Edition: 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
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings / edited by Claude-Guy Quimper.

by Quimper, Claude-Guy [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9676 | Lecture Notes in Computer Science ; 9676Edition: 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
Applications of Evolutionary Computation [electronic resource] : 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings / edited by Antonio M. Mora, Giovanni Squillero.

by Mora, Antonio M [editor.] | Squillero, Giovanni [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9028 | Lecture Notes in Computer Science ; 9028Edition: 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
Euro-Par 2017: Parallel Processing [electronic resource] : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings / edited by Francisco F. Rivera, Tomás F. Pena, José C. Cabaleiro.

by Rivera, Francisco F [editor.] | Pena, Tomás F [editor.] | Cabaleiro, José C [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10417 | Lecture Notes in Computer Science ; 10417Edition: 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
Software Engineering for Self-Adaptive Systems III. Assurances [electronic resource] : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers / edited by Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese.

by de Lemos, Rogério [editor.] | Garlan, David [editor.] | Ghezzi, Carlo [editor.] | Giese, Holger [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9640 | Lecture Notes in Computer Science ; 9640Edition: 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
Future Data and Security Engineering [electronic resource] : Second International Conference, FDSE 2015, Ho Chi Minh City, Vietnam, November 23-25, 2015, Proceedings / edited by Tran Khanh Dang, Roland Wagner, Josef Küng, Nam Thoai, Makoto Takizawa, Erich Neuhold.

by Dang, Tran Khanh [editor.] | Wagner, Roland [editor.] | Küng, Josef [editor.] | Thoai, Nam [editor.] | Takizawa, Makoto [editor.] | Neuhold, Erich [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9446 | Lecture Notes in Computer Science ; 9446Edition: 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
Modelling and Simulation for Autonomous Systems [electronic resource] : Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers / edited by Jan Hodicky.

by Hodicky, Jan [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9055 | Lecture Notes in Computer Science ; 9055Edition: 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
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings / edited by Claude Carlet, M. Anwar Hasan, Vishal Saraswat.

by Carlet, Claude [editor.] | Hasan, M. Anwar [editor.] | Saraswat, Vishal [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10076 | Lecture Notes in Computer Science ; 10076Edition: 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
Computational Collective Intelligence [electronic resource] : 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I / edited by Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński.

by Núñez, Manuel [editor.] | Nguyen, Ngoc Thanh [editor.] | Camacho, David [editor.] | Trawiński, Bogdan [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9329 | Lecture Notes in Computer Science ; 9329Edition: 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
Privacy Technologies and Policy [electronic resource] : 5th Annual Privacy Forum, APF 2017, Vienna, Austria, June 7-8, 2017, Revised Selected Papers / edited by Erich Schweighofer, Herbert Leitold, Andreas Mitrakas, Kai Rannenberg.

by Schweighofer, Erich [editor.] | Leitold, Herbert [editor.] | Mitrakas, Andreas [editor.] | Rannenberg, Kai [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10518 | Lecture Notes in Computer Science ; 10518Edition: 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
Mining Intelligence and Knowledge Exploration [electronic resource] : 5th International Conference, MIKE 2017, Hyderabad, India, December 13–15, 2017, Proceedings / edited by Ashish Ghosh, Rajarshi Pal, Rajendra Prasath.

by Ghosh, Ashish [editor.] | Pal, Rajarshi [editor.] | Prasath, Rajendra [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10682 | Lecture Notes in Computer Science ; 10682Edition: 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
Algorithms for Sensor Systems [electronic resource] : 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers / edited by Antonio Fernández Anta, Tomasz Jurdzinski, Miguel A. Mosteiro, Yanyong Zhang.

by Fernández Anta, Antonio [editor.] | Jurdzinski, Tomasz [editor.] | Mosteiro, Miguel A [editor.] | Zhang, Yanyong [editor.] | SpringerLink (Online service).

Series: Computer Communication Networks and Telecommunications ; 10718 | Lecture Notes in Computer Science ; 10718Edition: 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 Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers / edited by Andrea Bracciali, Giulio Caravagna, David Gilbert, Roberto Tagliaferri.

by Bracciali, Andrea [editor.] | Caravagna, Giulio [editor.] | Gilbert, David [editor.] | Tagliaferri, Roberto [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Bioinformatics ; 10477 | Lecture Notes in Computer Science ; 10477Edition: 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
Comparative Genomics [electronic resource] : 15th International Workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017, Proceedings / edited by Joao Meidanis, Luay Nakhleh.

by Meidanis, Joao [editor.] | Nakhleh, Luay [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Bioinformatics ; 10562 | Lecture Notes in Computer Science ; 10562Edition: 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 Security and Cryptology - ICISC 2015 [electronic resource] : 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers / edited by Soonhak Kwon, Aaram Yun.

by Kwon, Soonhak [editor.] | Yun, Aaram [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9558 | Lecture Notes in Computer Science ; 9558Edition: 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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha