|
|
|
|
Numerical Software Verification [electronic resource] : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings / edited by Alessandro Abate, Sylvie Boldo. by Abate, Alessandro [editor.] | Boldo, Sylvie [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10381 | Lecture Notes in Computer Science ; 10381Edition: 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): .
|
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / edited by Anthony Bonato, Fan Chung Graham, Paweł Prałat. by Bonato, Anthony [editor.] | Graham, Fan Chung [editor.] | Prałat, Paweł [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10088 | Lecture Notes in Computer Science ; 10088Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 22nd International Conference on Applications of Natural Language to Information Systems, NLDB 2017, Liège, Belgium, June 21-23, 2017, Proceedings / edited by Flavius Frasincar, Ashwin Ittoo, Le Minh Nguyen, Elisabeth Métais. by Frasincar, Flavius [editor.] | Ittoo, Ashwin [editor.] | Nguyen, Le Minh [editor.] | Métais, Elisabeth [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10260 | Lecture Notes in Computer Science ; 10260Edition: 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): .
|
|
|
|
|
Membrane Computing [electronic resource] : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers / edited by Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron. by Leporati, Alberto [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Zandron, Claudio [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10105 | Lecture Notes in Computer Science ; 10105Edition: 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): .
|
|
|
|
|
Human Aspects of IT for the Aged Population. Design for Aging [electronic resource] : First International Conference, ITAP 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I / edited by Jia Zhou, Gavriel Salvendy. by Zhou, Jia [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9193 | Lecture Notes in Computer Science ; 9193Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 18th International Conference, FASE 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 Alexander Egyed, Ina Schaefer. by Egyed, Alexander [editor.] | Schaefer, Ina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9033 | Lecture Notes in Computer Science ; 9033Edition: 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): .
|
|
|
|
|
Computing and Combinatorics [electronic resource] : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings / edited by Yixin Cao, Jianer Chen. by Cao, Yixin [editor.] | Chen, Jianer [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10392 | Lecture Notes in Computer Science ; 10392Edition: 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): .
|
|
|
|
|
Human Aspects of IT for the Aged Population. Healthy and Active Aging [electronic resource] : Second International Conference, ITAP 2016, Held as Part of HCI International 2016 Toronto, ON, Canada, July 17–22, 2016, Proceedings, Part II / edited by Jia Zhou, Gavriel Salvendy. by Zhou, Jia [editor.] | Salvendy, Gavriel [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9755 | Lecture Notes in Computer Science ; 9755Edition: 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): .
|
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings / edited by Eric Bodden, Mathias Payer, Elias Athanasopoulos. by Bodden, Eric [editor.] | Payer, Mathias [editor.] | Athanasopoulos, Elias [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10379 | Lecture Notes in Computer Science ; 10379Edition: 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): .
|
|
|
|
|
Semantic Web Collaborative Spaces [electronic resource] : Second International Workshop, SWCS 2013, Montpellier, France, May 27, 2013, Third International Workshop, SWCS 2014, Trentino, Italy, October 19, 2014, Revised Selected and Invited Papers / edited by Pascal Molli, John G. Breslin, Maria-Esther Vidal. by Molli, Pascal [editor.] | Breslin, John G [editor.] | Vidal, Maria-Esther [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9507 | Lecture Notes in Computer Science ; 9507Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Advanced Data Mining and Applications [electronic resource] : 12th International Conference, ADMA 2016, Gold Coast, QLD, Australia, December 12-15, 2016, Proceedings / edited by Jinyan Li, Xue Li, Shuliang Wang, Jianxin Li, Quan Z. Sheng. by Li, Jinyan [editor.] | Li, Xue [editor.] | Wang, Shuliang [editor.] | Li, Jianxin [editor.] | Sheng, Quan Z [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10086 | Lecture Notes in Computer Science ; 10086Edition: 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 Interface and the Management of Information: Information, Knowledge and Interaction Design [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings, Part I / edited by Sakae Yamamoto. by Yamamoto, Sakae [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10273 | Lecture Notes in Computer Science ; 10273Edition: 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] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu. by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9463 | Lecture Notes in Computer Science ; 9463Edition: 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): .
|
|
|
|
|
Ad-hoc, Mobile, and Wireless Networks [electronic resource] : 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings / edited by Nathalie Mitton, Valeria Loscri, Alexandre Mouradian. by Mitton, Nathalie [editor.] | Loscri, Valeria [editor.] | Mouradian, Alexandre [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9724 | Lecture Notes in Computer Science ; 9724Edition: 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): .
|
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [editor.] | Madelaine, Eric [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8997 | Lecture Notes in Computer Science ; 8997Edition: 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): .
|
|
|
|
|
Modeling and Using Context [electronic resource] : 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings / edited by Patrick Brézillon, Roy Turner, Carlo Penco. by Brézillon, Patrick [editor.] | Turner, Roy [editor.] | Penco, Carlo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10257 | Lecture Notes in Computer Science ; 10257Edition: 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] : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers / edited by Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski. by Berger, Christian [editor.] | Mousavi, Mohammad Reza [editor.] | Wisniewski, Rafael [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10107 | Lecture Notes in Computer Science ; 10107Edition: 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): .
|
