|
|
|
|
OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies [electronic resource] : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / edited by Manjunath Gorentla Venkata, Pavel Shamis, Neena Imam, M. Graham Lopez. by Gorentla Venkata, Manjunath [editor.] | Shamis, Pavel [editor.] | Imam, Neena [editor.] | Lopez, M. Graham [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9397 | Lecture Notes in Computer Science ; 9397Edition: 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): .
|
|
|
|
|
Product-Focused Software Process Improvement [electronic resource] : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings / edited by Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen. by Abrahamsson, Pekka [editor.] | Jedlitschka, Andreas [editor.] | Nguyen Duc, Anh [editor.] | Felderer, Michael [editor.] | Amasaki, Sousuke [editor.] | Mikkonen, Tommi [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10027 | Lecture Notes in Computer Science ; 10027Edition: 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 2017 [electronic resource] : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Giuseppe Borruso, Carmelo M. Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Elena Stankova, Alfredo Cuzzocrea. by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Borruso, Giuseppe [editor.] | Torre, Carmelo M [editor.] | Rocha, Ana Maria A.C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Stankova, Elena [editor.] | Cuzzocrea, Alfredo [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10409 | Lecture Notes in Computer Science ; 10409Edition: 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): .
|
|
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2017 [electronic resource] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / edited by Serge Gaspers, Toby Walsh. by Gaspers, Serge [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10491 | Lecture Notes in Computer Science ; 10491Edition: 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): .
|
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova. by Piessens, Frank [editor.] | Caballero, Juan [editor.] | Bielova, Nataliia [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 8978 | Lecture Notes in Computer Science ; 8978Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston. by Bernardo, Marco [editor.] | De Nicola, Rocco [editor.] | Hillston, Jane [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9700 | Lecture Notes in Computer Science ; 9700Edition: 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): .
|
|
|
|
|
Transactions on Computational Collective Intelligence XX [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe. by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Duval, Béatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Series: Transactions on Computational Collective Intelligence ; 9420 | Lecture Notes in Computer Science ; 9420Edition: 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): .
|
|
|
|
|
Coordination Models and Languages [electronic resource] : 18th IFIP WG 6.1 International Conference, COORDINATION 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 Alberto Lluch Lafuente, José Proença. by Lluch Lafuente, Alberto [editor.] | Proença, José [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9686 | Lecture Notes in Computer Science ; 9686Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
