Your search returned 3177 results.

Not what you expected? Check for suggestions
E-BOOKS
Ambient Assisted Living. ICT-based Solutions in Real Life Situations [electronic resource] : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by Ian Cleland, Luis Guerrero, José Bravo.

by Cleland, Ian [editor.] | Guerrero, Luis [editor.] | Bravo, José [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9455 | Lecture Notes in Computer Science ; 9455Edition: 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): .

E-BOOKS
Computer Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan.

by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9779 | Lecture Notes in Computer Science ; 9779Edition: 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): .

E-BOOKS
Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego.

by Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 9113 | Lecture Notes in Computer Science ; 9113Edition: 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): .

E-BOOKS
Requirements Engineering: Foundation for Software Quality [electronic resource] : 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / edited by Maya Daneva, Oscar Pastor.

by Daneva, Maya [editor.] | Pastor, Oscar [editor.] | SpringerLink (Online service).

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

E-BOOKS
Service-Oriented Computing [electronic resource] : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings / edited by Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam.

by Barros, Alistair [editor.] | Grigori, Daniela [editor.] | Narendra, Nanjangud C [editor.] | Dam, Hoa Khanh [editor.] | SpringerLink (Online service).

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

E-BOOKS
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan.

by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9158 | Lecture Notes in Computer Science ; 9158Edition: 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): .

E-BOOKS
Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani.

by Canal, Carlos [editor.] | Idani, Akram [editor.] | SpringerLink (Online service).

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

E-BOOKS
Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider.

by Polikarpova, Nadia [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service).

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

E-BOOKS
Post-Quantum Cryptography [electronic resource] : 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings / edited by Tanja Lange, Tsuyoshi Takagi.

by Lange, Tanja [editor.] | Takagi, Tsuyoshi [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10346 | Lecture Notes in Computer Science ; 10346Edition: 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): .

E-BOOKS
Models of Strategic Reasoning [electronic resource] : Logics, Games, and Communities / edited by Johan van Benthem, Sujata Ghosh, Rineke Verbrugge.

by van Benthem, Johan [editor.] | Ghosh, Sujata [editor.] | Verbrugge, Rineke [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8972 | Lecture Notes in Computer Science ; 8972Edition: 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): .

E-BOOKS
Design, User Experience, and Usability: Design Thinking and Methods [electronic resource] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I / edited by Aaron Marcus.

by Marcus, Aaron [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9746 | Lecture Notes in Computer Science ; 9746Edition: 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): .

E-BOOKS
Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / edited by Clare Dixon, Marcelo Finger.

by Dixon, Clare [editor.] | Finger, Marcelo [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10483 | Lecture Notes in Computer Science ; 10483Edition: 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): .

E-BOOKS
Risks and Security of Internet and Systems [electronic resource] : 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers / edited by Javier Lopez, Indrajit Ray, Bruno Crispo.

by Lopez, Javier [editor.] | Ray, Indrajit [editor.] | Crispo, Bruno [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8924 | Lecture Notes in Computer Science ; 8924Edition: 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): .

E-BOOKS
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings / edited by Ahmed Bouajjani, Alexandra Silva.

by Bouajjani, Ahmed [editor.] | Silva, Alexandra [editor.] | SpringerLink (Online service).

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

E-BOOKS
Collaboration and Technology [electronic resource] : 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings / edited by Nelson Baloian, Yervant Zorian, Perouz Taslakian, Samvel Shoukouryan.

by Baloian, Nelson [editor.] | Zorian, Yervant [editor.] | Taslakian, Perouz [editor.] | Shoukouryan, Samvel [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9334 | Lecture Notes in Computer Science ; 9334Edition: 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): .

E-BOOKS
Job Scheduling Strategies for Parallel Processing [electronic resource] : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai.

by Cirne, Walfredo [editor.] | Desai, Narayan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 8828 | Lecture Notes in Computer Science ; 8828Edition: 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): .

E-BOOKS
OpenMP: Memory, Devices, and Tasks [electronic resource] : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / edited by Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib.

by Maruyama, Naoya [editor.] | de Supinski, Bronis R [editor.] | Wahib, Mohamed [editor.] | SpringerLink (Online service).

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

E-BOOKS
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli.

by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9035 | Lecture Notes in Computer Science ; 9035Edition: 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): .

E-BOOKS
Agent Based Modelling of Urban Systems [electronic resource] : First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers / edited by Mohammad-Reza Namazi-Rad, Lin Padgham, Pascal Perez, Kai Nagel, Ana Bazzan.

by Namazi-Rad, Mohammad-Reza [editor.] | Padgham, Lin [editor.] | Perez, Pascal [editor.] | Nagel, Kai [editor.] | Bazzan, Ana [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10051 | Lecture Notes in Computer Science ; 10051Edition: 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): .

E-BOOKS
Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau.

by Taentzer, Gabriele [editor.] | Bordeleau, Francis [editor.] | SpringerLink (Online service).

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha