|
|
|
|
Intelligent Robotics and Applications [electronic resource] : 10th International Conference, ICIRA 2017, Wuhan, China, August 16–18, 2017, Proceedings, Part I / edited by YongAn Huang, Hao Wu, Honghai Liu, Zhouping Yin. by Huang, YongAn [editor.] | Wu, Hao [editor.] | Liu, Honghai [editor.] | Yin, Zhouping [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10462 | Lecture Notes in Computer Science ; 10462Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Numerical Methods and Applications [electronic resource] : 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers / edited by Ivan Dimov, Stefka Fidanova, Ivan Lirkov. by Dimov, Ivan [editor.] | Fidanova, Stefka [editor.] | Lirkov, Ivan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8962 | Lecture Notes in Computer Science ; 8962Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Human Aspects of Information Security, Privacy and Trust [electronic resource] : 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Theo Tryfonas. by Tryfonas, Theo [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10292 | Lecture Notes in Computer Science ; 10292Edition: 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 Multicore Programming [electronic resource] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen. by Bernardo, Marco [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9104 | Lecture Notes in Computer Science ; 9104Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computational Logistics [electronic resource] : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings / edited by Tolga Bektaş, Stefano Coniglio, Antonio Martinez-Sykora, Stefan Voß. by Bektaş, Tolga [editor.] | Coniglio, Stefano [editor.] | Martinez-Sykora, Antonio [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10572 | Lecture Notes in Computer Science ; 10572Edition: 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): .
|
|
|
|
|
Network and System Security [electronic resource] : 11th International Conference, NSS 2017, Helsinki, Finland, August 21–23, 2017, Proceedings / edited by Zheng Yan, Refik Molva, Wojciech Mazurczyk, Raimo Kantola. by Yan, Zheng [editor.] | Molva, Refik [editor.] | Mazurczyk, Wojciech [editor.] | Kantola, Raimo [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10394 | Lecture Notes in Computer Science ; 10394Edition: 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): .
|
|
|
|
|
Cyber Physical Systems. Design, Modeling, and Evaluation [electronic resource] : 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / edited by Mohammad Reza Mousavi, Christian Berger. by Mousavi, Mohammad Reza [editor.] | Berger, Christian [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9361 | Lecture Notes in Computer Science ; 9361Edition: 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): .
|
|
|
|
|
Risk Assessment and Risk-Driven Quality Assurance [electronic resource] : 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers / edited by Jürgen Großmann, Michael Felderer, Fredrik Seehusen. by Großmann, Jürgen [editor.] | Felderer, Michael [editor.] | Seehusen, Fredrik [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10224 | Lecture Notes in Computer Science ; 10224Edition: 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): .
|
|
|
|
|
Rule Technologies. Research, Tools, and Applications [electronic resource] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman. by Alferes, Jose Julio [editor.] | Bertossi, Leopoldo [editor.] | Governatori, Guido [editor.] | Fodor, Paul [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9718 | Lecture Notes in Computer Science ; 9718Edition: 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): .
|
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part I / edited by Shamkant B. Navathe, Weili Wu, Shashi Shekhar, Xiaoyong Du, X. Sean Wang, Hui Xiong. by Navathe, Shamkant B [editor.] | Wu, Weili [editor.] | Shekhar, Shashi [editor.] | Du, Xiaoyong [editor.] | Wang, X. Sean [editor.] | Xiong, Hui [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9642 | Lecture Notes in Computer Science ; 9642Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Design, User Experience, and Usability: Novel User Experiences [electronic resource] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II / edited by Aaron Marcus. by Marcus, Aaron [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9747 | Lecture Notes in Computer Science ; 9747Edition: 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] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria. by Legay, Axel [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10205 | Lecture Notes in Computer Science ; 10205Edition: 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): .
|
|
|
|
|
Green, Pervasive, and Cloud Computing [electronic resource] : 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings / edited by Xinyi Huang, Yang Xiang, Kuan-Ching Li. by Huang, Xinyi [editor.] | Xiang, Yang [editor.] | Li, Kuan-Ching [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9663 | Lecture Notes in Computer Science ; 9663Edition: 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): .
|
|
|
|
|
Ad-hoc Networks and Wireless [electronic resource] : ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers / edited by Miguel Garcia Pineda, Jaime Lloret, Symeon Papavassiliou, Stefan Ruehrup, Carlos Becker Westphall. by Garcia Pineda, Miguel [editor.] | Lloret, Jaime [editor.] | Papavassiliou, Symeon [editor.] | Ruehrup, Stefan [editor.] | Westphall, Carlos Becker [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 8629 | Lecture Notes in Computer Science ; 8629Edition: 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): .
|
|
|
|
|
Reversible Computation [electronic resource] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / edited by Jean Krivine, Jean-Bernard Stefani. by Krivine, Jean [editor.] | Stefani, Jean-Bernard [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9138 | Lecture Notes in Computer Science ; 9138Edition: 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): .
|
