|
|
|
|
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia. by Gurfinkel, Arie [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9593 | Lecture Notes in Computer Science ; 9593Edition: 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): .
|
|
|
|
|
Hybrid Learning: Innovation in Educational Practices [electronic resource] : 8th International Conference, ICHL 2015, Wuhan, China, July 27–29, 2015. Proceedings / edited by Simon K.S. Cheung, Lam-for Kwok, Harrison Yang, Joseph Fong, Reggie Kwan. by Cheung, Simon K.S [editor.] | Kwok, Lam-for [editor.] | Yang, Harrison [editor.] | Fong, Joseph [editor.] | Kwan, Reggie [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9167 | Lecture Notes in Computer Science ; 9167Edition: 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): .
|
|
|
|
|
Dynamic Data-Driven Environmental Systems Science [electronic resource] : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / edited by Sai Ravela, Adrian Sandu. by Ravela, Sai [editor.] | Sandu, Adrian [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8964 | Lecture Notes in Computer Science ; 8964Edition: 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): .
|
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 5th International Conference, SPACE 2015, Jaipur, India, October 3-7, 2015, Proceedings / edited by Rajat Subhra Chakraborty, Peter Schwabe, Jon Solworth. by Chakraborty, Rajat Subhra [editor.] | Schwabe, Peter [editor.] | Solworth, Jon [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9354 | Lecture Notes in Computer Science ; 9354Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe. by Bianculli, Domenico [editor.] | Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9509 | Lecture Notes in Computer Science ; 9509Edition: 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): .
|
|
|
|
|
Economics of Grids, Clouds, Systems, and Services [electronic resource] : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers / edited by Jörn Altmann, Gheorghe Cosmin Silaghi, Omer F. Rana. by Altmann, Jörn [editor.] | Silaghi, Gheorghe Cosmin [editor.] | Rana, Omer F [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9512 | Lecture Notes in Computer Science ; 9512Edition: 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 Modeling and Analysis of Timed Systems [electronic resource] : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings / edited by Alessandro Abate, Gilles Geeraerts. by Abate, Alessandro [editor.] | Geeraerts, Gilles [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10419 | Lecture Notes in Computer Science ; 10419Edition: 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): .
|
|
|
|
|
Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II / edited by Sven Hartmann, Hui Ma. by Hartmann, Sven [editor.] | Ma, Hui [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9828 | Lecture Notes in Computer Science ; 9828Edition: 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): .
|
|
|
|
|
Statistical Learning and Data Sciences [electronic resource] : Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / edited by Alexander Gammerman, Vladimir Vovk, Harris Papadopoulos. by Gammerman, Alexander [editor.] | Vovk, Vladimir [editor.] | Papadopoulos, Harris [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9047 | Lecture Notes in Computer Science ; 9047Edition: 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): .
|
|
|
|
|
Passive and Active Measurement [electronic resource] : 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, Proceedings / edited by Mohamed Ali Kaafar, Steve Uhlig, Johanna Amann. by Kaafar, Mohamed Ali [editor.] | Uhlig, Steve [editor.] | Amann, Johanna [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10176 | Lecture Notes in Computer Science ; 10176Edition: 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): .
|
|
|
|
|
Universal Access in Human–Computer Interaction. Designing Novel Interactions [electronic resource] : 11th International Conference, UAHCI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings, Part II / 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 ; 10278 | Lecture Notes in Computer Science ; 10278Edition: 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): .
|
|
|
|
|
Conformal and Probabilistic Prediction with Applications [electronic resource] : 5th International Symposium, COPA 2016, Madrid, Spain, April 20-22, 2016, Proceedings / edited by Alexander Gammerman, Zhiyuan Luo, Jesús Vega, Vladimir Vovk. by Gammerman, Alexander [editor.] | Luo, Zhiyuan [editor.] | Vega, Jesús [editor.] | Vovk, Vladimir [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9653 | Lecture Notes in Computer Science ; 9653Edition: 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 Methods: Foundations and Applications [electronic resource] : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / edited by Márcio Cornélio, Bill Roscoe. by Cornélio, Márcio [editor.] | Roscoe, Bill [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9526 | Lecture Notes in Computer Science ; 9526Edition: 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): .
|
|
|
|
|
Functional and Logic Programming [electronic resource] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / edited by Oleg Kiselyov, Andy King. by Kiselyov, Oleg [editor.] | King, Andy [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9613 | Lecture Notes in Computer Science ; 9613Edition: 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): .
|
|
|
|
|
Intelligent Virtual Agents [electronic resource] : 16th International Conference, IVA 2016, Los Angeles, CA, USA, September 20–23, 2016, Proceedings / edited by David Traum, William Swartout, Peter Khooshabeh, Stefan Kopp, Stefan Scherer, Anton Leuski. by Traum, David [editor.] | Swartout, William [editor.] | Khooshabeh, Peter [editor.] | Kopp, Stefan [editor.] | Scherer, Stefan [editor.] | Leuski, Anton [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10011 | Lecture Notes in Computer Science ; 10011Edition: 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): .
|
|
|
|
|
Security and Trust Management [electronic resource] : 13th International Workshop, STM 2017, Oslo, Norway, September 14–15, 2017, Proceedings / edited by Giovanni Livraga, Chris Mitchell. by Livraga, Giovanni [editor.] | Mitchell, Chris [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10547 | Lecture Notes in Computer Science ; 10547Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things [electronic resource] : 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Nambiar, Raghunath [editor.] | Poess, Meikel [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9508 | Lecture Notes in Computer Science ; 9508Edition: 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): .
|
|
|
|
|
Applied Reconfigurable Computing [electronic resource] : 13th International Symposium, ARC 2017, Delft, The Netherlands, April 3-7, 2017, Proceedings / edited by Stephan Wong, Antonio Carlos Beck, Koen Bertels, Luigi Carro. by Wong, Stephan [editor.] | Beck, Antonio Carlos [editor.] | Bertels, Koen [editor.] | Carro, Luigi [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10216 | Lecture Notes in Computer Science ; 10216Edition: 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): .
|
