|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Perdita Stevens, Andrzej Wąsowski. by Stevens, Perdita [editor.] | Wąsowski, Andrzej [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9633 | Lecture Notes in Computer Science ; 9633Edition: 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): .
|
|
|
|
In Memory Data Management and Analysis [electronic resource] : First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers / edited by Arun Jagatheesan, Justin Levandoski, Thomas Neumann, Andrew Pavlo. by Jagatheesan, Arun [editor.] | Levandoski, Justin [editor.] | Neumann, Thomas [editor.] | Pavlo, Andrew [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8921 | Lecture Notes in Computer Science ; 8921Edition: 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] : 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings / edited by Theo Tryfonas. by Tryfonas, Theo [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9750 | Lecture Notes in Computer Science ; 9750Edition: 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): .
|
|
|
|
Bridging People and Sound [electronic resource] : 12th International Symposium, CMMR 2016, São Paulo, Brazil, July 5–8, 2016, Revised Selected Papers / edited by Mitsuko Aramaki, Richard Kronland-Martinet, Sølvi Ystad. by Aramaki, Mitsuko [editor.] | Kronland-Martinet, Richard [editor.] | Ystad, Sølvi [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10525 | Lecture Notes in Computer Science ; 10525Edition: 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: 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): .
|
|
|
|
Human Aspects of IT for the Aged Population. Aging, Design and User Experience [electronic resource] : Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, 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 ; 10297 | Lecture Notes in Computer Science ; 10297Edition: 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): .
|
|
|
|
Verification and Evaluation of Computer and Communication Systems [electronic resource] : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings / edited by Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar. by Barkaoui, Kamel [editor.] | Boucheneb, Hanifa [editor.] | Mili, Ali [editor.] | Tahar, Sofiène [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10466 | Lecture Notes in Computer Science ; 10466Edition: 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): .
|
|
|
|
Runtime Verification [electronic resource] : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez. by Falcone, Yliès [editor.] | Sánchez, César [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10012 | Lecture Notes in Computer Science ; 10012Edition: 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): .
|
|
|
|
Perspectives of System Informatics [electronic resource] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / edited by Manuel Mazzara, Andrei Voronkov. by Mazzara, Manuel [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9609 | Lecture Notes in Computer Science ; 9609Edition: 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): .
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9135 | Lecture Notes in Computer Science ; 9135Edition: 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): .
|
|
|
|
Machine Learning Meets Medical Imaging [electronic resource] : First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers / edited by Kanwal Bhatia, Herve Lombaert. by Bhatia, Kanwal [editor.] | Lombaert, Herve [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9487 | Lecture Notes in Computer Science ; 9487Edition: 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): .
|
|
|
|
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan. by Fränzle, Martin [editor.] | Kapur, Deepak [editor.] | Zhan, Naijun [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9984 | Lecture Notes in Computer Science ; 9984Edition: 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): .
|
|
|
|
Augmented Reality, Virtual Reality, and Computer Graphics [electronic resource] : Third International Conference, AVR 2016, Lecce, Italy, June 15-18, 2016. Proceedings, Part I / edited by Lucio Tommaso De Paolis, Antonio Mongelli. by De Paolis, Lucio Tommaso [editor.] | Mongelli, Antonio [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9768 | Lecture Notes in Computer Science ; 9768Edition: 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): .
|
|
|
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 24th European Symposium on Programming, ESOP 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 Jan Vitek. by Vitek, Jan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9032 | Lecture Notes in Computer Science ; 9032Edition: 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): .
|
|
|
|
Data Analytics [electronic resource] : 31st British International Conference on Databases, BICOD 2017, London, UK, July 10–12, 2017, Proceedings / edited by Andrea Calì, Peter Wood, Nigel Martin, Alexandra Poulovassilis. by Calì, Andrea [editor.] | Wood, Peter [editor.] | Martin, Nigel [editor.] | Poulovassilis, Alexandra [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10365 | Lecture Notes in Computer Science ; 10365Edition: 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): .
|
|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9537 | Lecture Notes in Computer Science ; 9537Edition: 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): .
|
|
|
|
Computer Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / edited by George Azzopardi, Nicolai Petkov. by Azzopardi, George [editor.] | Petkov, Nicolai [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9257 | Lecture Notes in Computer Science ; 9257Edition: 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): .
|
|
|
|
|