|
|
|
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy. by Panigrahi, Bijaya Ketan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Das, Swagatam [editor.] | Satapathy, Suresh Chandra [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9873 | Lecture Notes in Computer Science ; 9873Edition: 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): .
|
|
|
|
|
Web Information Systems Engineering – WISE 2016 [electronic resource] : 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II / edited by Wojciech Cellary, Mohamed F. Mokbel, Jianmin Wang, Hua Wang, Rui Zhou, Yanchun Zhang. by Cellary, Wojciech [editor.] | Mokbel, Mohamed F [editor.] | Wang, Jianmin [editor.] | Wang, Hua [editor.] | Zhou, Rui [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10042 | Lecture Notes in Computer Science ; 10042Edition: 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): .
|
|
|
|
|
Architecture of Computing Systems -- ARCS 2016 [electronic resource] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / edited by Frank Hannig, João M.P. Cardoso, Thilo Pionteck, Dietmar Fey, Wolfgang Schröder-Preikschat, Jürgen Teich. by Hannig, Frank [editor.] | Cardoso, João M.P [editor.] | Pionteck, Thilo [editor.] | Fey, Dietmar [editor.] | Schröder-Preikschat, Wolfgang [editor.] | Teich, Jürgen [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9637 | Lecture Notes in Computer Science ; 9637Edition: 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 Science and Its Applications – ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / 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 ; 9790 | Lecture Notes in Computer Science ; 9790Edition: 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): .
|
|
|
|
|
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [electronic resource] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort. by Remke, Anne [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9629 | Lecture Notes in Computer Science ; 9629Edition: 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): .
|
|
|
|
|
OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments [electronic resource] : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz. by Gorentla Venkata, Manjunath [editor.] | Imam, Neena [editor.] | Pophale, Swaroop [editor.] | Mintz, Tiffany M [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10007 | Lecture Notes in Computer Science ; 10007Edition: 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): .
|
|
|
|
|
Web Information Systems Engineering – WISE 2015 [electronic resource] : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I / edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang. by Wang, Jianyong [editor.] | Cellary, Wojciech [editor.] | Wang, Dingding [editor.] | Wang, Hua [editor.] | Chen, Shu-Ching [editor.] | Li, Tao [editor.] | Zhang, Yanchun [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9418 | Lecture Notes in Computer Science ; 9418Edition: 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): .
|
|
|
|
|
Human-Computer Interaction – INTERACT 2015 [electronic resource] : 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I / edited by Julio Abascal, Simone Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. by Abascal, Julio [editor.] | Barbosa, Simone [editor.] | Fetter, Mirko [editor.] | Gross, Tom [editor.] | Palanque, Philippe [editor.] | Winckler, Marco [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9296 | Lecture Notes in Computer Science ; 9296Edition: 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): .
|
|
|
|
|
On the Move to Meaningful Internet Systems: OTM 2015 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / edited by Ioana Ciuciu, Hervé Panetto, Christophe Debruyne, Alexis Aubry, Peter Bollen, Rafael Valencia-Garcia, Alok Mishra, Anna Fensel, Fernando Ferri. by Ciuciu, Ioana [editor.] | Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Aubry, Alexis [editor.] | Bollen, Peter [editor.] | Valencia-Garcia, Rafael [editor.] | Mishra, Alok [editor.] | Fensel, Anna [editor.] | Ferri, Fernando [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9416 | Lecture Notes in Computer Science ; 9416Edition: 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): .
|
|
|
|
|
Euro-Par 2015: Parallel Processing Workshops [electronic resource] : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / edited by Sascha Hunold, Alexandru Costan, Domingo Giménez, Alexandru Iosup, Laura Ricci, María Engracia Gómez Requena, Vittorio Scarano, Ana Lucia Varbanescu, Stephen L. Scott, Stefan Lankes, Josef Weidendorfer, Michael Alexander. by Hunold, Sascha [editor.] | Costan, Alexandru [editor.] | Giménez, Domingo [editor.] | Iosup, Alexandru [editor.] | Ricci, Laura [editor.] | Gómez Requena, María Engracia [editor.] | Scarano, Vittorio [editor.] | Varbanescu, Ana Lucia [editor.] | Scott, Stephen L [editor.] | Lankes, Stefan [editor.] | Weidendorfer, Josef [editor.] | Alexander, Michael [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9523 | Lecture Notes in Computer Science ; 9523Edition: 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): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte. by Ribeiro, Leila [editor.] | Lecomte, Thierry [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10090 | Lecture Notes in Computer Science ; 10090Edition: 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): .
|
|
|
|
|
Model and Data Engineering [electronic resource] : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / edited by Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur. by Bellatreche, Ladjel [editor.] | Pastor, Óscar [editor.] | Almendros Jiménez, Jesús M [editor.] | Aït-Ameur, Yamine [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9893 | Lecture Notes in Computer Science ; 9893Edition: 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): .
|
|
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [electronic resource] : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky. by Fantechi, Alessandro [editor.] | Lecomte, Thierry [editor.] | Romanovsky, Alexander [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10598 | Lecture Notes in Computer Science ; 10598Edition: 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): .
|
|
|
|
|
Theoretical Aspects of Computing – ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. by Sampaio, Augusto [editor.] | Wang, Farn [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9965 | Lecture Notes in Computer Science ; 9965Edition: 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): .
|
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I / edited by Xiaofeng Gao, Hongwei Du, Meng Han. by Gao, Xiaofeng [editor.] | Du, Hongwei [editor.] | Han, Meng [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10627 | Lecture Notes in Computer Science ; 10627Edition: 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): .
|
|
|
|
|
Agents and Multi-Agent Systems for Health Care [electronic resource] : 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers / edited by Sara Montagna, Pedro Henriques Abreu, Sylvain Giroux, Michael Ignaz Schumacher. by Montagna, Sara [editor.] | Abreu, Pedro Henriques [editor.] | Giroux, Sylvain [editor.] | Schumacher, Michael Ignaz [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10685 | Lecture Notes in Computer Science ; 10685Edition: 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): .
|
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / edited by Enrico Pontelli, Tran Cao Son. by Pontelli, Enrico [editor.] | Son, Tran Cao [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9131 | Lecture Notes in Computer Science ; 9131Edition: 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): .
|
|
|
|
|
SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / edited by Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed. by Fischer, Joachim [editor.] | Scheidgen, Markus [editor.] | Schieferdecker, Ina [editor.] | Reed, Rick [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9369 | Lecture Notes in Computer Science ; 9369Edition: 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): .
|
|
|
|
|
Future Data and Security Engineering [electronic resource] : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings / edited by Tran Khanh Dang, Roland Wagner, Josef Küng, Nam Thoai, Makoto Takizawa, Erich J. Neuhold. by Dang, Tran Khanh [editor.] | Wagner, Roland [editor.] | Küng, Josef [editor.] | Thoai, Nam [editor.] | Takizawa, Makoto [editor.] | Neuhold, Erich J [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10646 | Lecture Notes in Computer Science ; 10646Edition: 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): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro. by Cavalheiro, Simone [editor.] | Fiadeiro, José [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10623 | Lecture Notes in Computer Science ; 10623Edition: 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): .
|
