|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings / edited by Mohamed Kassab, Marion Berbineau, Alexey Vinel, Magnus Jonsson, Fabien Garcia, José Soler. by Kassab, Mohamed [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Jonsson, Magnus [editor.] | Garcia, Fabien [editor.] | Soler, José [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9066 | Lecture Notes in Computer Science ; 9066Edition: 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): .
|
|
|
|
|
High Performance Computing for Computational Science -- VECPAR 2014 [electronic resource] : 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima. by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8969 | Lecture Notes in Computer Science ; 8969Edition: 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): .
|
|
|
|
|
OpenMP: Heterogenous Execution and Data Movements [electronic resource] : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / edited by Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller. by Terboven, Christian [editor.] | de Supinski, Bronis R [editor.] | Reble, Pablo [editor.] | Chapman, Barbara M [editor.] | Müller, Matthias S [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9342 | Lecture Notes in Computer Science ; 9342Edition: 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): .
|
|
|
|
|
Communication Technologies for Vehicles [electronic resource] : 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings / edited by Jaizki Mendizabal, Marion Berbineau, Alexey Vinel, Stephan Pfletschinger, Hervé Bonneville, Alain Pirovano, Simon Plass, Riccardo Scopigno, Hasnaa Aniss. by Mendizabal, Jaizki [editor.] | Berbineau, Marion [editor.] | Vinel, Alexey [editor.] | Pfletschinger, Stephan [editor.] | Bonneville, Hervé [editor.] | Pirovano, Alain [editor.] | Plass, Simon [editor.] | Scopigno, Riccardo [editor.] | Aniss, Hasnaa [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9669 | Lecture Notes in Computer Science ; 9669Edition: 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): .
|
|
|
|
|
High Performance Computing [electronic resource] : 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings / edited by Julian M. Kunkel, Pavan Balaji, Jack Dongarra. by Kunkel, Julian M [editor.] | Balaji, Pavan [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9697 | Lecture Notes in Computer Science ; 9697Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Interactive Theorem Proving [electronic resource] : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings / edited by Mauricio Ayala-Rincón, César A. Muñoz. by Ayala-Rincón, Mauricio [editor.] | Muñoz, César A [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10499 | Lecture Notes in Computer Science ; 10499Edition: 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): .
|
|
|
|
|
Software Engineering for Resilient Systems [electronic resource] : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings / edited by Alexander Romanovsky, Elena A. Troubitsyna. by Romanovsky, Alexander [editor.] | Troubitsyna, Elena A [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10479 | Lecture Notes in Computer Science ; 10479Edition: 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): .
|
|
|
|
|
Data Management and Analytics for Medicine and Healthcare [electronic resource] : Third International Workshop, DMAH 2017, Held at VLDB 2017, Munich, Germany, September 1, 2017, Proceedings / edited by Edmon Begoli, Fusheng Wang, Gang Luo. by Begoli, Edmon [editor.] | Wang, Fusheng [editor.] | Luo, Gang [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10494 | Lecture Notes in Computer Science ; 10494Edition: 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): .
|
|
|
|
|
Internet of Things, Smart Spaces, and Next Generation Networks and Systems [electronic resource] : 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings / edited by Olga Galinina, Sergey Balandin, Yevgeni Koucheryavy. by Galinina, Olga [editor.] | Balandin, Sergey [editor.] | Koucheryavy, Yevgeni [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9870 | Lecture Notes in Computer Science ; 9870Edition: 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): .
|
|
|
|
|
Critical Information Infrastructures Security [electronic resource] : 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers / edited by Christos G. Panayiotou, Georgios Ellinas, Elias Kyriakides, Marios M. Polycarpou. by Panayiotou, Christos G [editor.] | Ellinas, Georgios [editor.] | Kyriakides, Elias [editor.] | Polycarpou, Marios M [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 8985 | Lecture Notes in Computer Science ; 8985Edition: 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): .
|
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings / edited by Michael Felderer, Daniel Méndez Fernández, Burak Turhan, Marcos Kalinowski, Federica Sarro, Dietmar Winkler. by Felderer, Michael [editor.] | Méndez Fernández, Daniel [editor.] | Turhan, Burak [editor.] | Kalinowski, Marcos [editor.] | Sarro, Federica [editor.] | Winkler, Dietmar [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10611 | Lecture Notes in Computer Science ; 10611Edition: 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): .
|
|
|
|
|
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] : 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Distributed Applications and Interoperable Systems [electronic resource] : 16th IFIP WG 6.1 International Conference, DAIS 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 Márk Jelasity, Evangelia Kalyvianaki. by Jelasity, Márk [editor.] | Kalyvianaki, Evangelia [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9687 | Lecture Notes in Computer Science ; 9687Edition: 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): .
|
|
|
|
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings / edited by Congduc Pham, Jörn Altmann, José Ángel Bañares. by Pham, Congduc [editor.] | Altmann, Jörn [editor.] | Bañares, José Ángel [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10537 | Lecture Notes in Computer Science ; 10537Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
Engineering Trustworthy Software Systems [electronic resource] : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang. by Bowen, Jonathan P [editor.] | Liu, Zhiming [editor.] | Zhang, Zili [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10215 | Lecture Notes in Computer Science ; 10215Edition: 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): .
|
