|
|
|
On the Move to Meaningful Internet Systems. OTM 2017 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman. by Panetto, Hervé [editor.] | Debruyne, Christophe [editor.] | Gaaloul, Walid [editor.] | Papazoglou, Mike [editor.] | Paschke, Adrian [editor.] | Ardagna, Claudio Agostino [editor.] | Meersman, Robert [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10573 | Lecture Notes in Computer Science ; 10573Edition: 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): .
|
|
|
|
Critical Systems: Formal Methods and Automated Verification [electronic resource] : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti. by Petrucci, Laure [editor.] | Seceleanu, Cristina [editor.] | Cavalcanti, Ana [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10471 | Lecture Notes in Computer Science ; 10471Edition: 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): .
|
|
|
|
|
|
|
|
Computational Collective Intelligence [electronic resource] : 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part I / edited by Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr Jędrzejowicz, Bogdan Trawiński, Gottfried Vossen. by Nguyen, Ngoc Thanh [editor.] | Papadopoulos, George A [editor.] | Jędrzejowicz, Piotr [editor.] | Trawiński, Bogdan [editor.] | Vossen, Gottfried [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10448 | Lecture Notes in Computer Science ; 10448Edition: 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): .
|
|
|
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Ireland, September 11–14, 2017, Proceedings / edited by Gareth J.F. Jones, Séamus Lawless, Julio Gonzalo, Liadh Kelly, Lorraine Goeuriot, Thomas Mandl, Linda Cappellato, Nicola Ferro. by Jones, Gareth J.F [editor.] | Lawless, Séamus [editor.] | Gonzalo, Julio [editor.] | Kelly, Liadh [editor.] | Goeuriot, Lorraine [editor.] | Mandl, Thomas [editor.] | Cappellato, Linda [editor.] | Ferro, Nicola [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10456 | Lecture Notes in Computer Science ; 10456Edition: 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): .
|
|
|
|
Biomedical Data Management and Graph Online Querying [electronic resource] : VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 – September 4, 2015, Revised Selected Papers / edited by Fusheng Wang, Gang Luo, Chunhua Weng, Arijit Khan, Prasenjit Mitra, Cong Yu. by Wang, Fusheng [editor.] | Luo, Gang [editor.] | Weng, Chunhua [editor.] | Khan, Arijit [editor.] | Mitra, Prasenjit [editor.] | Yu, Cong [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9579 | Lecture Notes in Computer Science ; 9579Edition: 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): .
|
|
|
|
Fetal, Infant and Ophthalmic Medical Image Analysis [electronic resource] : International Workshop, FIFI 2017, and 4th International Workshop, OMIA 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 14, Proceedings / edited by M. Jorge Cardoso, Tal Arbel, Andrew Melbourne, Hrvoje Bogunovic, Pim Moeskops, Xinjian Chen, Ernst Schwartz, Mona Garvin, Emma Robinson, Emanuele Trucco, Michael Ebner, Yanwu Xu, Antonios Makropoulos, Adrien Desjardin, Tom Vercauteren. by Cardoso, M. Jorge [editor.] | Arbel, Tal [editor.] | Melbourne, Andrew [editor.] | Bogunovic, Hrvoje [editor.] | Moeskops, Pim [editor.] | Chen, Xinjian [editor.] | Schwartz, Ernst [editor.] | Garvin, Mona [editor.] | Robinson, Emma [editor.] | Trucco, Emanuele [editor.] | Ebner, Michael [editor.] | Xu, Yanwu [editor.] | Makropoulos, Antonios [editor.] | Desjardin, Adrien [editor.] | Vercauteren, Tom [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10554 | Lecture Notes in Computer Science ; 10554Edition: 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): .
|
|
|
|
String Processing and Information Retrieval [electronic resource] : 24th International Symposium, SPIRE 2017, Palermo, Italy, September 26–29, 2017, Proceedings / edited by Gabriele Fici, Marinella Sciortino, Rossano Venturini. by Fici, Gabriele [editor.] | Sciortino, Marinella [editor.] | Venturini, Rossano [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10508 | Lecture Notes in Computer Science ; 10508Edition: 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): .
|
|
|
|
Social Informatics [electronic resource] : 9th International Conference, SocInfo 2017, Oxford, UK, September 13-15, 2017, Proceedings, Part II / edited by Giovanni Luca Ciampaglia, Afra Mashhadi, Taha Yasseri. by Ciampaglia, Giovanni Luca [editor.] | Mashhadi, Afra [editor.] | Yasseri, Taha [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10540 | Lecture Notes in Computer Science ; 10540Edition: 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): .
|
|
|
|
Machine Learning in Medical Imaging [electronic resource] : 8th International Workshop, MLMI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, Proceedings / edited by Qian Wang, Yinghuan Shi, Heung-Il Suk, Kenji Suzuki. by Wang, Qian [editor.] | Shi, Yinghuan [editor.] | Suk, Heung-Il [editor.] | Suzuki, Kenji [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10541 | Lecture Notes in Computer Science ; 10541Edition: 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): .
|
|
|
|
Provable Security [electronic resource] : 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings / edited by Tatsuaki Okamoto, Yong Yu, Man Ho Au, Yannan Li. by Okamoto, Tatsuaki [editor.] | Yu, Yong [editor.] | Au, Man Ho [editor.] | Li, Yannan [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10592 | Lecture Notes in Computer Science ; 10592Edition: 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): .
|
|
|
|
Spatio-temporal Image Analysis for Longitudinal and Time-Series Image Data [electronic resource] : Third International Workshop, STIA 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers / edited by Stanley Durrleman, Tom Fletcher, Guido Gerig, Marc Niethammer, Xavier Pennec. by Durrleman, Stanley [editor.] | Fletcher, Tom [editor.] | Gerig, Guido [editor.] | Niethammer, Marc [editor.] | Pennec, Xavier [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 8682 | Lecture Notes in Computer Science ; 8682Edition: 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): .
|
|
|
|
Service-Oriented Computing - ICSOC 2014 Workshops [electronic resource] : WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / edited by Farouk Toumani, Barbara Pernici, Daniela Grigori, Djamal Benslimane, Jan Mendling, Nejib Ben Hadj-Alouane, Brian Blake, Olivier Perrin, Iman Saleh Moustafa, Sami Bhiri. by Toumani, Farouk [editor.] | Pernici, Barbara [editor.] | Grigori, Daniela [editor.] | Benslimane, Djamal [editor.] | Mendling, Jan [editor.] | Ben Hadj-Alouane, Nejib [editor.] | Blake, Brian [editor.] | Perrin, Olivier [editor.] | Saleh Moustafa, Iman [editor.] | Bhiri, Sami [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8954 | Lecture Notes in Computer Science ; 8954Edition: 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): .
|
|
|
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings / edited by Paul Spirakis, Philippas Tsigas. by Spirakis, Paul [editor.] | Tsigas, Philippas [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10616 | Lecture Notes in Computer Science ; 10616Edition: 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): .
|
|
|
|
Information Retrieval Technology [electronic resource] : 13th Asia Information Retrieval Societies Conference, AIRS 2017, Jeju Island, South Korea, November 22-24, 2017, Proceedings / edited by Won-Kyung Sung, Hanmin Jung, Shuo Xu, Krisana Chinnasarn, Kazutoshi Sumiya, Jeonghoon Lee, Zhicheng Dou, Grace Hui Yang, Young-Guk Ha, Seungbock Lee. by Sung, Won-Kyung [editor.] | Jung, Hanmin [editor.] | Xu, Shuo [editor.] | Chinnasarn, Krisana [editor.] | Sumiya, Kazutoshi [editor.] | Lee, Jeonghoon [editor.] | Dou, Zhicheng [editor.] | Yang, Grace Hui [editor.] | Ha, Young-Guk [editor.] | Lee, Seungbock [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10648 | Lecture Notes in Computer Science ; 10648Edition: 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 Knowledge Discovery and Data Mining [electronic resource] : 19th Pacific-Asia Conference, PAKDD 2015, Ho Chi Minh City, Vietnam, May 19-22, 2015, Proceedings, Part II / edited by Tru Cao, Ee-Peng Lim, Zhi-Hua Zhou, Tu-Bao Ho, David Cheung, Hiroshi Motoda. by Cao, Tru [editor.] | Lim, Ee-Peng [editor.] | Zhou, Zhi-Hua [editor.] | Ho, Tu-Bao [editor.] | Cheung, David [editor.] | Motoda, Hiroshi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9078 | Lecture Notes in Computer Science ; 9078Edition: 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): .
|
|
|
|
|
|
|
|
Electronic Participation [electronic resource] : 7th IFIP 8.5 International Conference, ePart 2015, Thessaloniki, Greece, August 30 -- September 2, 2015, Proceedings / edited by Efthimios Tambouris, Panos Panagiotopoulos, Øystein Sæbø, Konstantinos Tarabanis, Maria A. Wimmer, Michela Milano, Theresa Pardo. by Tambouris, Efthimios [editor.] | Panagiotopoulos, Panos [editor.] | Sæbø, Øystein [editor.] | Tarabanis, Konstantinos [editor.] | Wimmer, Maria A [editor.] | Milano, Michela [editor.] | Pardo, Theresa [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9249 | Lecture Notes in Computer Science ; 9249Edition: 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): .
|
|
|
|
Rule Technologies: Foundations, Tools, and Applications [electronic resource] : 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings / edited by Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman. by Bassiliades, Nick [editor.] | Gottlob, Georg [editor.] | Sadri, Fariba [editor.] | Paschke, Adrian [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9202 | Lecture Notes in Computer Science ; 9202Edition: 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): .
|