Your search returned 257 results.

Not what you expected? Check for suggestions
E-BOOKS
Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction [electronic resource] : 7th International Conference, UCAmI 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings / edited by Gabriel Urzaiz, Sergio F. Ochoa, José Bravo, Liming Luke Chen, Jonice Oliveira.

by Urzaiz, Gabriel [editor.] | Ochoa, Sergio F [editor.] | Bravo, José [editor.] | Chen, Liming Luke [editor.] | Oliveira, Jonice [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8276Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online 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 Communcations [electronic resource] : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013. Proceedings / edited by Magnus Jonsson, Alexey Vinel, Boris Bellalta, Ninoslav Marina, Desislava Dimitrova, Dieter Fiems.

by Jonsson, Magnus [editor.] | Vinel, Alexey [editor.] | Bellalta, Boris [editor.] | Marina, Ninoslav [editor.] | Dimitrova, Desislava [editor.] | Fiems, Dieter [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 8310Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online 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 [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 8987 | Lecture Notes in Computer Science ; 8987Edition: 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
Human-Computer Interaction. Theory, Design, Development and Practice [electronic resource] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I / edited by Masaaki Kurosu.

by Kurosu, Masaaki [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9731 | Lecture Notes in Computer Science ; 9731Edition: 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
Designing the Digital Transformation [electronic resource] : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings / edited by Alexander Maedche, Jan vom Brocke, Alan Hevner.

by Maedche, Alexander [editor.] | vom Brocke, Jan [editor.] | Hevner, Alan [editor.] | SpringerLink (Online service).

Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10243 | Lecture Notes in Computer Science ; 10243Edition: 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
A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / edited by Sam Lindley, Conor McBride, Phil Trinder, Don Sannella.

by Lindley, Sam [editor.] | McBride, Conor [editor.] | Trinder, Phil [editor.] | Sannella, Don [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9600 | Lecture Notes in Computer Science ; 9600Edition: 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
Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn.

by De Nicola, Rocco [editor.] | Kühn, Eva [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9763 | Lecture Notes in Computer Science ; 9763Edition: 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
Concurrency, Security, and Puzzles [electronic resource] : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday / edited by Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić.

by Gibson-Robinson, Thomas [editor.] | Hopcroft, Philippa [editor.] | Lazić, Ranko [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10160 | Lecture Notes in Computer Science ; 10160Edition: 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
Financial Cryptography and Data Security [electronic resource] : 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers / edited by Aggelos Kiayias.

by Kiayias, Aggelos [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 10322 | Lecture Notes in Computer Science ; 10322Edition: 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
Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 8th International Conference, HoloMAS 2017, Lyon, France, August 28–30, 2017, Proceedings / edited by Vladimír Mařík, Wolfgang Wahlster, Thomas Strasser, Petr Kadera.

by Mařík, Vladimír [editor.] | Wahlster, Wolfgang [editor.] | Strasser, Thomas [editor.] | Kadera, Petr [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10444 | Lecture Notes in Computer Science ; 10444Edition: 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
Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / edited by Manuel Serrano, Jurriaan Hage.

by Serrano, Manuel [editor.] | Hage, Jurriaan [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9547 | Lecture Notes in Computer Science ; 9547Edition: 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] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II / edited by Rupak Majumdar, Viktor Kunčak.

by Majumdar, Rupak [editor.] | Kunčak, Viktor [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 10427 | Lecture Notes in Computer Science ; 10427Edition: 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
Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese.

by Albert, Elvira [editor.] | Lanese, Ivan [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9688 | Lecture Notes in Computer Science ; 9688Edition: 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
Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs.

by Bošnački, Dragan [editor.] | Wijs, Anton [editor.] | SpringerLink (Online service).

Series: Theoretical Computer Science and General Issues ; 9641 | Lecture Notes in Computer Science ; 9641Edition: 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 and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong.

by Duan, Zhenhua [editor.] | Ong, Luke [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10610 | Lecture Notes in Computer Science ; 10610Edition: 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
Towards Integrative Machine Learning and Knowledge Extraction [electronic resource] : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers / edited by Andreas Holzinger, Randy Goebel, Massimo Ferri, Vasile Palade.

by Holzinger, Andreas [editor.] | Goebel, Randy [editor.] | Ferri, Massimo [editor.] | Palade, Vasile [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Artificial Intelligence ; 10344 | Lecture Notes in Computer Science ; 10344Edition: 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
Intelligent, Secure, and Dependable Systems in Distributed and Cloud Environments [electronic resource] : First International Conference, ISDDC 2017, Vancouver, BC, Canada, October 26-28, 2017, Proceedings / edited by Issa Traore, Isaac Woungang, Ahmed Awad.

by Traore, Issa [editor.] | Woungang, Isaac [editor.] | Awad, Ahmed [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 10618 | Lecture Notes in Computer Science ; 10618Edition: 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
Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Vicenç Torra.

by Torra, Vicenç [author.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9980 | Lecture Notes in Computer Science ; 9980Edition: 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
Product-Focused Software Process Improvement [electronic resource] : 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / edited by Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo.

by Abrahamsson, Pekka [editor.] | Corral, Luis [editor.] | Oivo, Markku [editor.] | Russo, Barbara [editor.] | SpringerLink (Online service).

Series: Programming and Software Engineering ; 9459 | Lecture Notes in Computer Science ; 9459Edition: 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
Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe.

by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | Jézéquel, Jean-Marc [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service).

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