|
|
|
|
|
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, Third Workshop NsCC 2017, St. Petersburg, Russia, August 28–30, 2017, Proceedings / edited by Olga Galinina, Sergey Andreev, Sergey Balandin, Yevgeni Koucheryavy. by Galinina, Olga [editor.] | Andreev, Sergey [editor.] | Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10531 | Lecture Notes in Computer Science ; 10531Edition: 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): .
|
|
|
|
|
High Performance Computing [electronic resource] : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers / edited by Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf. by Kunkel, Julian M [editor.] | Yokota, Rio [editor.] | Taufer, Michela [editor.] | Shalf, John [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10524 | Lecture Notes in Computer Science ; 10524Edition: 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): .
|
|
|
|
|
Web Information Systems Engineering – WISE 2017 [electronic resource] : 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part I / edited by Athman Bouguettaya, Yunjun Gao, Andrey Klimenko, Lu Chen, Xiangliang Zhang, Fedor Dzerzhinskiy, Weijia Jia, Stanislav V. Klimenko, Qing Li. by Bouguettaya, Athman [editor.] | Gao, Yunjun [editor.] | Klimenko, Andrey [editor.] | Chen, Lu [editor.] | Zhang, Xiangliang [editor.] | Dzerzhinskiy, Fedor [editor.] | Jia, Weijia [editor.] | Klimenko, Stanislav V [editor.] | Li, Qing [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10569 | Lecture Notes in Computer Science ; 10569Edition: 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): .
|
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers / edited by Phillip James, Markus Roggenbach. by James, Phillip [editor.] | Roggenbach, Markus [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10644 | Lecture Notes in Computer Science ; 10644Edition: 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 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): .
|
|
|
|
|
Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings / edited by Somnuk Phon-Amnuaisuk, Swee-Peng Ang, Soo-Young Lee. by Phon-Amnuaisuk, Somnuk [editor.] | Ang, Swee-Peng [editor.] | Lee, Soo-Young [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10607 | Lecture Notes in Computer Science ; 10607Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / edited by Ofer Strichman, Rachel Tzoref-Brill. by Strichman, Ofer [editor.] | Tzoref-Brill, Rachel [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10629 | Lecture Notes in Computer Science ; 10629Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Lightweight Cryptography for Security and Privacy [electronic resource] : 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers / edited by Tim Güneysu, Gregor Leander, Amir Moradi. by Güneysu, Tim [editor.] | Leander, Gregor [editor.] | Moradi, Amir [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9542 | Lecture Notes in Computer Science ; 9542Edition: 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): .
|
|
|
|
|
Financial Cryptography and Data Security [electronic resource] : 19th International Conference, FC 2015, San Juan, Puerto Rico, January 26-30, 2015, Revised Selected Papers / edited by Rainer Böhme, Tatsuaki Okamoto. by Böhme, Rainer [editor.] | Okamoto, Tatsuaki [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 8975 | Lecture Notes in Computer Science ; 8975Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; 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): .
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Peter Thiemann. by Thiemann, Peter [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9632 | Lecture Notes in Computer Science ; 9632Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part V / edited by Derong Liu, Shengli Xie, Yuanqing Li, Dongbin Zhao, El-Sayed M. El-Alfy. by Liu, Derong [editor.] | Xie, Shengli [editor.] | Li, Yuanqing [editor.] | Zhao, Dongbin [editor.] | El-Alfy, El-Sayed M [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10638 | Lecture Notes in Computer Science ; 10638Edition: 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): .
|
|
|
|
|
Interactive Storytelling [electronic resource] : 10th International Conference on Interactive Digital Storytelling, ICIDS 2017 Funchal, Madeira, Portugal, November 14–17, 2017, Proceedings / edited by Nuno Nunes, Ian Oakley, Valentina Nisi. by Nunes, Nuno [editor.] | Oakley, Ian [editor.] | Nisi, Valentina [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10690 | Lecture Notes in Computer Science ; 10690Edition: 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): .
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings / edited by Hongseok Yang. by Yang, Hongseok [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10201 | Lecture Notes in Computer Science ; 10201Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Inductive Logic Programming [electronic resource] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / edited by James Cussens, Alessandra Russo. by Cussens, James [editor.] | Russo, Alessandra [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10326 | Lecture Notes in Computer Science ; 10326Edition: 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 Aspects of Component Software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky. by Braga, Christiano [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9539 | Lecture Notes in Computer Science ; 9539Edition: 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): .
|
|
|
|
|
Computer Vision -- ACCV 2014 [electronic resource] : 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part V / edited by Daniel Cremers, Ian Reid, Hideo Saito, Ming-Hsuan Yang. by Cremers, Daniel [editor.] | Reid, Ian [editor.] | Saito, Hideo [editor.] | Yang, Ming-Hsuan [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9007 | Lecture Notes in Computer Science ; 9007Edition: 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): .
|
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings / edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera. by Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Saraee, Mohamad [editor.] | Sugumaran, Vijayan [editor.] | Vadera, Sunil [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9612 | Lecture Notes in Computer Science ; 9612Edition: 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): .
|
