|
|
|
|
Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang. by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Rocha, Ana Maria A.C [editor.] | Torre, Carmelo M [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Wang, Shangguang [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9788 | Lecture Notes in Computer Science ; 9788Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Text;Language: English; Format:
electronic
available online
 ; 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): .
|
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. by Larsen, Kim Guldstrand [editor.] | Sokolsky, Oleg [editor.] | Wang, Ji [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10606 | Lecture Notes in Computer Science ; 10606Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Algorithmic Game Theory [electronic resource] : 10th International Symposium, SAGT 2017, L’Aquila, Italy, September 12–14, 2017, Proceedings / edited by Vittorio Bilò, Michele Flammini. by Bilò, Vittorio [editor.] | Flammini, Michele [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10504 | Lecture Notes in Computer Science ; 10504Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings / edited by Manfred A. Jeusfeld, Kamalakar Karlapalem. by Jeusfeld, Manfred A [editor.] | Karlapalem, Kamalakar [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9382 | Lecture Notes in Computer Science ; 9382Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Computer Aided Verification [electronic resource] : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / 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 ; 10426 | Lecture Notes in Computer Science ; 10426Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra. by Osman, Nardine [editor.] | Sierra, Carles [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10002 | Lecture Notes in Computer Science ; 10002Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Pattern Recognition [electronic resource] : 37th German Conference, GCPR 2015, Aachen, Germany, October 7-10, 2015, Proceedings / edited by Juergen Gall, Peter Gehler, Bastian Leibe. by Gall, Juergen [editor.] | Gehler, Peter [editor.] | Leibe, Bastian [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9358 | Lecture Notes in Computer Science ; 9358Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part II / edited by Lucio Tommaso De Paolis, Antonio Mongelli. by De Paolis, Lucio Tommaso [editor.] | Mongelli, Antonio [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9769 | Lecture Notes in Computer Science ; 9769Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Advances in Conceptual Modeling [electronic resource] : ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings / edited by Sebastian Link, Juan C. Trujillo. by Link, Sebastian [editor.] | Trujillo, Juan C [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9975 | Lecture Notes in Computer Science ; 9975Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Cellular Automata and Discrete Complex Systems [electronic resource] : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings / edited by Matthew Cook, Turlough Neary. by Cook, Matthew [editor.] | Neary, Turlough [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9664 | Lecture Notes in Computer Science ; 9664Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Computational Topology in Image Context [electronic resource] : 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings / edited by Alexandra Bac, Jean-Luc Mari. by Bac, Alexandra [editor.] | Mari, Jean-Luc [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9667 | Lecture Notes in Computer Science ; 9667Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / edited by Javier Campos, Boudewijn R. Haverkort. by Campos, Javier [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9259 | Lecture Notes in Computer Science ; 9259Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection [electronic resource] : 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings / edited by Yves Demazeau, Keith S. Decker, Javier Bajo Pérez, Fernando de la Prieta. by Demazeau, Yves [editor.] | Decker, Keith S [editor.] | Bajo Pérez, Javier [editor.] | de la Prieta, Fernando [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9086 | Lecture Notes in Computer Science ; 9086Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Multi-Agent Systems and Agreement Technologies [electronic resource] : 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / edited by Michael Rovatsos, George Vouros, Vicente Julian. by Rovatsos, Michael [editor.] | Vouros, George [editor.] | Julian, Vicente [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9571 | Lecture Notes in Computer Science ; 9571Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Software Reuse: Bridging with Social-Awareness [electronic resource] : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / edited by Georgia M. Kapitsaki, Eduardo Santana de Almeida. by Kapitsaki, Georgia M [editor.] | Santana de Almeida, Eduardo [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9679 | Lecture Notes in Computer Science ; 9679Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
|
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti. by Bartocci, Ezio [editor.] | Lio, Pietro [editor.] | Paoletti, Nicola [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 9859 | Lecture Notes in Computer Science ; 9859Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Data Mining and Constraint Programming [electronic resource] : Foundations of a Cross-Disciplinary Approach / edited by Christian Bessiere, Luc De Raedt, Lars Kotthoff, Siegfried Nijssen, Barry O'Sullivan, Dino Pedreschi. by Bessiere, Christian [editor.] | De Raedt, Luc [editor.] | Kotthoff, Lars [editor.] | Nijssen, Siegfried [editor.] | O'Sullivan, Barry [editor.] | Pedreschi, Dino [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10101 | Lecture Notes in Computer Science ; 10101Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
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;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Mathematical Methods for Curves and Surfaces [electronic resource] : 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23–28, 2016, Revised Selected Papers / edited by Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut Mørken, Larry L. Schumaker. by Floater, Michael [editor.] | Lyche, Tom [editor.] | Mazure, Marie-Laurence [editor.] | Mørken, Knut [editor.] | Schumaker, Larry L [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10521 | Lecture Notes in Computer Science ; 10521Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
