|
|
|
|
OpenMP: Memory, Devices, and Tasks [electronic resource] : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / edited by Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib. by Maruyama, Naoya [editor.] | de Supinski, Bronis R [editor.] | Wahib, Mohamed [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9903 | Lecture Notes in Computer Science ; 9903Edition: 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): .
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli. by Baier, Christel [editor.] | Tinelli, Cesare [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9035 | Lecture Notes in Computer Science ; 9035Edition: 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): .
|
|
|
|
|
Agent Based Modelling of Urban Systems [electronic resource] : First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited Papers / edited by Mohammad-Reza Namazi-Rad, Lin Padgham, Pascal Perez, Kai Nagel, Ana Bazzan. by Namazi-Rad, Mohammad-Reza [editor.] | Padgham, Lin [editor.] | Perez, Pascal [editor.] | Nagel, Kai [editor.] | Bazzan, Ana [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10051 | Lecture Notes in Computer Science ; 10051Edition: 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): .
|
|
|
|
|
Modelling Foundations and Applications [electronic resource] : 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / edited by Gabriele Taentzer, Francis Bordeleau. by Taentzer, Gabriele [editor.] | Bordeleau, Francis [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9153 | Lecture Notes in Computer Science ; 9153Edition: 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): .
|
|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / edited by Floor Koornneef, Coen van Gulijk. by Koornneef, Floor [editor.] | van Gulijk, Coen [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9338 | Lecture Notes in Computer Science ; 9338Edition: 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): .
|
|
|
|
|
Ambient Intelligence for Health [electronic resource] : First International Conference, AmIHEALTH 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by José Bravo, Ramón Hervás, Vladimir Villarreal. by Bravo, José [editor.] | Hervás, Ramón [editor.] | Villarreal, Vladimir [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9456 | Lecture Notes in Computer Science ; 9456Edition: 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): .
|
|
|
|
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2015, Ho Chi Minh City, Vietnam, May 19, 2015. Proceedings / edited by Michael Chau, G. Alan Wang, Hsinchun Chen. by Chau, Michael [editor.] | Wang, G. Alan [editor.] | Chen, Hsinchun [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9074 | Lecture Notes in Computer Science ; 9074Edition: 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): .
|
|
|
|
|
Computer Vision – ECCV 2016 [electronic resource] : 14th European Conference, Amsterdam, The Netherlands, October 11–14, 2016, Proceedings, Part I / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling. by Leibe, Bastian [editor.] | Matas, Jiri [editor.] | Sebe, Nicu [editor.] | Welling, Max [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9905 | Lecture Notes in Computer Science ; 9905Edition: 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): .
|
|
|
|
|
Progress in Cryptology – AFRICACRYPT 2016 [electronic resource] : 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings / edited by David Pointcheval, Abderrahmane Nitaj, Tajjeeddine Rachidi. by Pointcheval, David [editor.] | Nitaj, Abderrahmane [editor.] | Rachidi, Tajjeeddine [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9646 | Lecture Notes in Computer Science ; 9646Edition: 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): .
|
|
|
|
|
Theory and Practice of Model Transformation [electronic resource] : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings / edited by Esther Guerra, Mark van den Brand. by Guerra, Esther [editor.] | van den Brand, Mark [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10374 | Lecture Notes in Computer Science ; 10374Edition: 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): .
|
|
|
|
|
Applied Cryptography and Network Security [electronic resource] : 13th International Conference, ACNS 2015, New York, NY, USA, June 2-5, 2015, Revised Selected Papers / edited by Tal Malkin, Vladimir Kolesnikov, Allison Lewko, Michalis Polychronakis. by Malkin, Tal [editor.] | Kolesnikov, Vladimir [editor.] | Lewko, Allison [editor.] | Polychronakis, Michalis [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9092 | Lecture Notes in Computer Science ; 9092Edition: 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): .
|
|
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings / edited by Herbert Bos, Fabian Monrose, Gregory Blanc. by Bos, Herbert [editor.] | Monrose, Fabian [editor.] | Blanc, Gregory [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9404 | Lecture Notes in Computer Science ; 9404Edition: 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): .
|
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings / edited by Alessandro Micarelli, John Stamper, Kitty Panourgia. by Micarelli, Alessandro [editor.] | Stamper, John [editor.] | Panourgia, Kitty [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9684 | Lecture Notes in Computer Science ; 9684Edition: 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): .
|
|
|
|
|
Cryptographic Hardware and Embedded Systems – CHES 2016 [electronic resource] : 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings / edited by Benedikt Gierlichs, Axel Y. Poschmann. by Gierlichs, Benedikt [editor.] | Poschmann, Axel Y [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9813 | Lecture Notes in Computer Science ; 9813Edition: 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): .
|
|
|
|
|
Theory and Practice of Model Transformations [electronic resource] : 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / edited by Pieter Van Gorp, Gregor Engels. by Van Gorp, Pieter [editor.] | Engels, Gregor [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9765 | Lecture Notes in Computer Science ; 9765Edition: 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): .
|
|
|
|
|
Spectral and Shape Analysis in Medical Imaging [electronic resource] : First International Workshop, SeSAMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Revised Selected Papers / edited by Martin Reuter, Christian Wachinger, Hervé Lombaert. by Reuter, Martin [editor.] | Wachinger, Christian [editor.] | Lombaert, Hervé [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10126 | Lecture Notes in Computer Science ; 10126Edition: 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): .
|
|
|
|
|
WALCOM: Algorithms and Computation [electronic resource] : 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015, Proceedings / edited by M. Sohel Rahman, Etsuji Tomita. by Rahman, M. Sohel [editor.] | Tomita, Etsuji [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8973 | Lecture Notes in Computer Science ; 8973Edition: 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): .
|
|
|
|
|
Universal Access in Human–Computer Interaction. Human and Technological Environments [electronic resource] : 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings, Part III / edited by Margherita Antona, Constantine Stephanidis. by Antona, Margherita [editor.] | Stephanidis, Constantine [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10279 | Lecture Notes in Computer Science ; 10279Edition: 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): .
|
|
|
|
|
Transactions on Large-Scale Data- and Knowledge-Centered Systems XX [electronic resource] : Special Issue on Advanced Techniques for Big Data Management / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner, Sherif Sakr, Lizhe Wang, Albert Zomaya. by Hameurlain, Abdelkader [editor.] | Küng, Josef [editor.] | Wagner, Roland [editor.] | Sakr, Sherif [editor.] | Wang, Lizhe [editor.] | Zomaya, Albert [editor.] | SpringerLink (Online service). Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 9070 | Lecture Notes in Computer Science ; 9070Edition: 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): .
|
|
|
|
|
Mastering Scale and Complexity in Software Reuse [electronic resource] : 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings / edited by Goetz Botterweck, Claudia Werner. by Botterweck, Goetz [editor.] | Werner, Claudia [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10221 | Lecture Notes in Computer Science ; 10221Edition: 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): .
|
