|
|
|
|
Algorithmic Aspects of Cloud Computing [electronic resource] : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos. by Karydis, Ioannis [editor.] | Sioutas, Spyros [editor.] | Triantafillou, Peter [editor.] | Tsoumakos, Dimitrios [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9511 | Lecture Notes in Computer Science ; 9511Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Testing Software and Systems [electronic resource] : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko. by El-Fakih, Khaled [editor.] | Barlas, Gerassimos [editor.] | Yevtushenko, Nina [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9447 | Lecture Notes in Computer Science ; 9447Edition: 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): .
|
|
|
|
|
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
Computer Performance Engineering [electronic resource] : 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis. by Fiems, Dieter [editor.] | Paolieri, Marco [editor.] | Platis, Agapios N [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9951 | Lecture Notes in Computer Science ; 9951Edition: 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): .
|
|
|
|
|
Model and Data Engineering [electronic resource] : 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / edited by Ladjel Bellatreche, Yannis Manolopoulos. by Bellatreche, Ladjel [editor.] | Manolopoulos, Yannis [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9344 | Lecture Notes in Computer Science ; 9344Edition: 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): .
|
|
|
|
|
Engineering Secure Software and Systems [electronic resource] : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / edited by Juan Caballero, Eric Bodden, Elias Athanasopoulos. by Caballero, Juan [editor.] | Bodden, Eric [editor.] | Athanasopoulos, Elias [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9639 | Lecture Notes in Computer Science ; 9639Edition: 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 Performance Engineering [electronic resource] : 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / edited by Marta Beltrán, William Knottenbelt, Jeremy Bradley. by Beltrán, Marta [editor.] | Knottenbelt, William [editor.] | Bradley, Jeremy [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9272 | Lecture Notes in Computer Science ; 9272Edition: 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): .
|
|
|
|
|
Formal Methods: Foundations and Applications [electronic resource] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet. by Braga, Christiano [editor.] | Martí-Oliet, Narciso [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8941 | Lecture Notes in Computer Science ; 8941Edition: 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): .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / edited by Borzoo Bonakdarpour, Franck Petit. by Bonakdarpour, Borzoo [editor.] | Petit, Franck [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10083 | Lecture Notes in Computer Science ; 10083Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Data Management on New Hardware [electronic resource] : 7th International Workshop on Accelerating Data Analysis and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016 and 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, New Delhi, India, September 1, 2016, Revised Selected Papers / edited by Spyros Blanas, Rajesh Bordawekar, Tirthankar Lahiri, Justin Levandoski, Andrew Pavlo. by Blanas, Spyros [editor.] | Bordawekar, Rajesh [editor.] | Lahiri, Tirthankar [editor.] | Levandoski, Justin [editor.] | Pavlo, Andrew [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10195 | Lecture Notes in Computer Science ; 10195Edition: 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): .
|
|
|
|
|
SOFSEM 2016: Theory and Practice of Computer Science [electronic resource] : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania. by Freivalds, Rūsiņš Mārtiņš [editor.] | Engels, Gregor [editor.] | Catania, Barbara [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9587 | Lecture Notes in Computer Science ; 9587Edition: 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): .
|
|
|
|
|
Computer Security – ESORICS 2017 [electronic resource] : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II / edited by Simon N. Foley, Dieter Gollmann, Einar Snekkenes. by Foley, Simon N [editor.] | Gollmann, Dieter [editor.] | Snekkenes, Einar [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10493 | Lecture Notes in Computer Science ; 10493Edition: 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): .
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / edited by Marcello Balduccini, Tomi Janhunen. by Balduccini, Marcello [editor.] | Janhunen, Tomi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10377 | Lecture Notes in Computer Science ; 10377Edition: 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): .
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [editor.] | Ianni, Giovambattista [editor.] | Truszczynski, Miroslaw [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9345 | Lecture Notes in Computer Science ; 9345Edition: 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): .
|
