Your search returned 105 results.

Not what you expected? Check for suggestions
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
Quantitative Evaluation of Systems [electronic resource] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / edited by Nathalie Bertrand, Luca Bortolussi.

by Bertrand, Nathalie [editor.] | Bortolussi, Luca [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10503 | Lecture Notes in Computer Science ; 10503Edition: 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] : 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers / edited by Claudia Angelini, Paola MV Rancoita, Stefano Rovetta.

by Angelini, Claudia [editor.] | Rancoita, Paola MV [editor.] | Rovetta, Stefano [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Bioinformatics ; 9874 | Lecture Notes in Computer Science ; 9874Edition: 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
Statistical Atlases and Computational Models of the Heart. Imaging and Modelling Challenges [electronic resource] : 6th International Workshop, STACOM 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young.

by Camara, Oscar [editor.] | Mansi, Tommaso [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9534 | Lecture Notes in Computer Science ; 9534Edition: 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
Algorithmic Game Theory [electronic resource] : 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedings / edited by Martin Hoefer.

by Hoefer, Martin [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9347 | Lecture Notes in Computer Science ; 9347Edition: 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
Multiple Access Communications [electronic resource] : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / edited by Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas.

by Madsen, Tatiana K [editor.] | Nielsen, Jimmy J [editor.] | Pratas, Nuno K [editor.] | SpringerLink (Online service).

Series: Computer Communication Networks and Telecommunications ; 10121 | Lecture Notes in Computer Science ; 10121Edition: 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
Quantitative Evaluation of Systems [electronic resource] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / edited by Gul Agha, Benny Van Houdt.

by Agha, Gul [editor.] | Van Houdt, Benny [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9826 | Lecture Notes in Computer Science ; 9826Edition: 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
Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges [electronic resource] : 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers / edited by Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, Alistair Young.

by Camara, Oscar [editor.] | Mansi, Tommaso [editor.] | Pop, Mihaela [editor.] | Rhode, Kawal [editor.] | Sermesant, Maxime [editor.] | Young, Alistair [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8896 | Lecture Notes in Computer Science ; 8896Edition: 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
Cellular Automata and Discrete Complex Systems [electronic resource] : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings / edited by Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca.

by Dennunzio, Alberto [editor.] | Formenti, Enrico [editor.] | Manzoni, Luca [editor.] | Porreca, Antonio E [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10248 | Lecture Notes in Computer Science ; 10248Edition: 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
Algorithmic Decision Theory [electronic resource] : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings / edited by Toby Walsh.

by Walsh, Toby [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9346 | Lecture Notes in Computer Science ; 9346Edition: 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
Computer Performance Engineering [electronic resource] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis.

by Fiems, Dieter [editor.] | Paolieri, Marco [editor.] | Platis, Agapios N [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9951 | Lecture Notes in Computer Science ; 9951Edition: 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 Performance Engineering [electronic resource] : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / edited by Marta Beltrán, William Knottenbelt, Jeremy Bradley.

by Beltrán, Marta [editor.] | Knottenbelt, William [editor.] | Bradley, Jeremy [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9272 | Lecture Notes in Computer Science ; 9272Edition: 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
Foundational and Practical Aspects of Resource Analysis [electronic resource] : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / edited by Marko van Eekelen, Ugo Dal Lago.

by van Eekelen, Marko [editor.] | Dal Lago, Ugo [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9964 | Lecture Notes in Computer Science ; 9964Edition: 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
Algorithmic Game Theory [electronic resource] : 9th International Symposium, SAGT 2016, Liverpool, UK, September 19–21, 2016, Proceedings / edited by Martin Gairing, Rahul Savani.

by Gairing, Martin [editor.] | Savani, Rahul [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9928 | Lecture Notes in Computer Science ; 9928Edition: 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
Advanced Methodologies for Bayesian Networks [electronic resource] : Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings / edited by Joe Suzuki, Maomi Ueno.

by Suzuki, Joe [editor.] | Ueno, Maomi [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9505 | Lecture Notes in Computer Science ; 9505Edition: 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
Software Engineering and Formal Methods [electronic resource] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe.

by Bianculli, Domenico [editor.] | Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9509 | Lecture Notes in Computer Science ; 9509Edition: 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
Computer Analysis of Images and Patterns [electronic resource] : 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II / edited by Michael Felsberg, Anders Heyden, Norbert Krüger.

by Felsberg, Michael [editor.] | Heyden, Anders [editor.] | Krüger, Norbert [editor.] | SpringerLink (Online service).

Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10425 | Lecture Notes in Computer Science ; 10425Edition: 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 in Music, Sound, Art and Design [electronic resource] : 6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19–21, 2017, Proceedings / edited by João Correia, Vic Ciesielski, Antonios Liapis.

by Correia, João [editor.] | Ciesielski, Vic [editor.] | Liapis, Antonios [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10198 | Lecture Notes in Computer Science ; 10198Edition: 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
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan.

by Fränzle, Martin [editor.] | Kapur, Deepak [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9984 | Lecture Notes in Computer Science ; 9984Edition: 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 Performance Engineering [electronic resource] : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings / edited by Philipp Reinecke, Antinisca Di Marco.

by Reinecke, Philipp [editor.] | Di Marco, Antinisca [editor.] | SpringerLink (Online service).

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