|
|
|
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings / edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch. by Tonetta, Stefano [editor.] | Schoitsch, Erwin [editor.] | Bitsch, Friedemann [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10489 | Lecture Notes in Computer Science ; 10489Edition: 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): .
|
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers / edited by Chen Ding, John Criswell, Peng Wu. by Ding, Chen [editor.] | Criswell, John [editor.] | Wu, Peng [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10136 | Lecture Notes in Computer Science ; 10136Edition: 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): .
|
|
|
|
|
Cross-Cultural Design [electronic resource] : 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings / edited by Pei-Luen Patrick Rau. by Rau, Pei-Luen Patrick [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10281 | Lecture Notes in Computer Science ; 10281Edition: 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): .
|
|
|
|
|
AI 2017: Advances in Artificial Intelligence [electronic resource] : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19–20, 2017, Proceedings / edited by Wei Peng, Damminda Alahakoon, Xiaodong Li. by Peng, Wei [editor.] | Alahakoon, Damminda [editor.] | Li, Xiaodong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10400 | Lecture Notes in Computer Science ; 10400Edition: 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): .
|
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings / edited by Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali. by Blomqvist, Eva [editor.] | Ciancarini, Paolo [editor.] | Poggi, Francesco [editor.] | Vitali, Fabio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10024 | Lecture Notes in Computer Science ; 10024Edition: 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): .
|
|
|
|
|
Tests and Proofs [electronic resource] : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings / edited by Sebastian Gabmeyer, Einar Broch Johnsen. by Gabmeyer, Sebastian [editor.] | Johnsen, Einar Broch [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10375 | Lecture Notes in Computer Science ; 10375Edition: 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): .
|
|
|
|
|
Trust, Privacy and Security in Digital Business [electronic resource] : 14th International Conference, TrustBus 2017, Lyon, France, August 30-31, 2017, Proceedings / edited by Javier Lopez, Simone Fischer-Hübner, Costas Lambrinoudakis. by Lopez, Javier [editor.] | Fischer-Hübner, Simone [editor.] | Lambrinoudakis, Costas [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10442 | Lecture Notes in Computer Science ; 10442Edition: 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): .
|
|
|
|
|
Tackling Society's Grand Challenges with Design Science [electronic resource] : 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings / edited by Jeffrey Parsons, Tuure Tuunanen, John Venable, Brian Donnellan, Markus Helfert, Jim Kenneally. by Parsons, Jeffrey [editor.] | Tuunanen, Tuure [editor.] | Venable, John [editor.] | Donnellan, Brian [editor.] | Helfert, Markus [editor.] | Kenneally, Jim [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9661 | Lecture Notes in Computer Science ; 9661Edition: 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 and Software Engineering [electronic resource] : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi. by Butler, Michael [editor.] | Conchon, Sylvain [editor.] | Zaïdi, Fatiha [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9407 | Lecture Notes in Computer Science ; 9407Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Advances in Cryptology – EUROCRYPT 2017 [electronic resource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I / edited by Jean-Sébastien Coron, Jesper Buus Nielsen. by Coron, Jean-Sébastien [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10210 | Lecture Notes in Computer Science ; 10210Edition: 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): .
|
|
|
|
|
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / edited by Nardine Osman, Carles Sierra. by Osman, Nardine [editor.] | Sierra, Carles [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10003 | Lecture Notes in Computer Science ; 10003Edition: 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): .
|
|
|
|
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings / edited by Paul Grünbacher, Anna Perini. by Grünbacher, Paul [editor.] | Perini, Anna [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10153 | Lecture Notes in Computer Science ; 10153Edition: 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): .
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin. by Huisman, Marieke [editor.] | Rubin, Julia [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10202 | Lecture Notes in Computer Science ; 10202Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Collaboration and Technology [electronic resource] : 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings / edited by Carl Gutwin, Sergio F. Ochoa, Julita Vassileva, Tomoo Inoue. by Gutwin, Carl [editor.] | Ochoa, Sergio F [editor.] | Vassileva, Julita [editor.] | Inoue, Tomoo [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10391 | Lecture Notes in Computer Science ; 10391Edition: 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): .
|
|
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / edited by Sabine Wittevrongel, Tuan Phung-Duc. by Wittevrongel, Sabine [editor.] | Phung-Duc, Tuan [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9845 | Lecture Notes in Computer Science ; 9845Edition: 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): .
|
|
|
|
|
Advances in Cryptology – EUROCRYPT 2017 [electronic resource] : 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II / edited by Jean-Sébastien Coron, Jesper Buus Nielsen. by Coron, Jean-Sébastien [editor.] | Nielsen, Jesper Buus [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10211 | Lecture Notes in Computer Science ; 10211Edition: 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): .
|
|
|
|
|
Mathematical and Engineering Methods in Computer Science [electronic resource] : 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers / edited by Jan Kofroň, Tomáš Vojnar. by Kofroň, Jan [editor.] | Vojnar, Tomáš [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9548 | Lecture Notes in Computer Science ; 9548Edition: 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] : 22nd International Conference, TACAS 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 Marsha Chechik, Jean-François Raskin. by Chechik, Marsha [editor.] | Raskin, Jean-François [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9636 | Lecture Notes in Computer Science ; 9636Edition: 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): .
|
