|
|
|
|
Ontology Engineering [electronic resource] : 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers / edited by Valentina Tamma, Mauro Dragoni, Rafael Gonçalves, Agnieszka Ławrynowicz. by Tamma, Valentina [editor.] | Dragoni, Mauro [editor.] | Gonçalves, Rafael [editor.] | Ławrynowicz, Agnieszka [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9557 | Lecture Notes in Computer Science ; 9557Edition: 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): .
|
|
|
|
|
Theory and Practice of Natural Computing [electronic resource] : Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / edited by Adrian-Horia Dediu, Luis Magdalena, Carlos Martín-Vide. by Dediu, Adrian-Horia [editor.] | Magdalena, Luis [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9477 | Lecture Notes in Computer Science ; 9477Edition: 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): .
|
|
|
|
|
Distributed Computing [electronic resource] : 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings / edited by Cyril Gavoille, David Ilcinkas. by Gavoille, Cyril [editor.] | Ilcinkas, David [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9888 | Lecture Notes in Computer Science ; 9888Edition: 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): .
|
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV / edited by Guojun Wang, Albert Zomaya, Gregorio Martinez, Kenli Li. by Wang, Guojun [editor.] | Zomaya, Albert [editor.] | Martinez, Gregorio [editor.] | Li, Kenli [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9531 | Lecture Notes in Computer Science ; 9531Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Foundations and Practice of Security [electronic resource] : 9th International Symposium, FPS 2016, Québec City, QC, Canada, October 24-25, 2016, Revised Selected Papers / edited by Frédéric Cuppens, Lingyu Wang, Nora Cuppens-Boulahia, Nadia Tawbi, Joaquin Garcia-Alfaro. by Cuppens, Frédéric [editor.] | Wang, Lingyu [editor.] | Cuppens-Boulahia, Nora [editor.] | Tawbi, Nadia [editor.] | Garcia-Alfaro, Joaquin [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10128 | Lecture Notes in Computer Science ; 10128Edition: 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): .
|
|
|
|
|
Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / edited by Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare. by Aceto, Luca [editor.] | Bacci, Giorgio [editor.] | Bacci, Giovanni [editor.] | Ingólfsdóttir, Anna [editor.] | Legay, Axel [editor.] | Mardare, Radu [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10460 | Lecture Notes in Computer Science ; 10460Edition: 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): .
|
|
|
|
|
Ambient Assisted Living. ICT-based Solutions in Real Life Situations [electronic resource] : 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / edited by Ian Cleland, Luis Guerrero, José Bravo. by Cleland, Ian [editor.] | Guerrero, Luis [editor.] | Bravo, José [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9455 | Lecture Notes in Computer Science ; 9455Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Multiple Access Communications [electronic resource] : 9th International Workshop, MACOM 2016, Aalborg, Denmark, November 21-22, 2016, Proceedings / edited by Tatiana K. Madsen, Jimmy J. Nielsen, Nuno K. Pratas. by Madsen, Tatiana K [editor.] | Nielsen, Jimmy J [editor.] | Pratas, Nuno K [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 10121 | Lecture Notes in Computer Science ; 10121Edition: 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): .
|
|
|
|
|
Information and Communications Security [electronic resource] : 18th International Conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016, Proceedings / edited by Kwok-Yan Lam, Chi-Hung Chi, Sihan Qing. by Lam, Kwok-Yan [editor.] | Chi, Chi-Hung [editor.] | Qing, Sihan [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9977 | Lecture Notes in Computer Science ; 9977Edition: 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): .
|
|
|
|
|
Games and Learning Alliance [electronic resource] : 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings / edited by Rosa Bottino, Johan Jeuring, Remco C. Veltkamp. by Bottino, Rosa [editor.] | Jeuring, Johan [editor.] | Veltkamp, Remco C [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10056 | Lecture Notes in Computer Science ; 10056Edition: 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 Aided Verification [electronic resource] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / edited by Swarat Chaudhuri, Azadeh Farzan. by Chaudhuri, Swarat [editor.] | Farzan, Azadeh [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9779 | Lecture Notes in Computer Science ; 9779Edition: 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): .
|
|
|
|
|
Computational Collective Intelligence [electronic resource] : 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017, Proceedings, Part II / edited by Ngoc Thanh Nguyen, George A. Papadopoulos, Piotr Jędrzejowicz, Bogdan Trawiński, Gottfried Vossen. by Nguyen, Ngoc Thanh [editor.] | Papadopoulos, George A [editor.] | Jędrzejowicz, Piotr [editor.] | Trawiński, Bogdan [editor.] | Vossen, Gottfried [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10449 | Lecture Notes in Computer Science ; 10449Edition: 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): .
|
|
|
|
|
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Health and Safety [electronic resource] : 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Vincent G. Duffy. by Duffy, Vincent G [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10287 | Lecture Notes in Computer Science ; 10287Edition: 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): .
|
|
|
|
|
Service-Oriented Computing [electronic resource] : 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings / edited by Alistair Barros, Daniela Grigori, Nanjangud C. Narendra, Hoa Khanh Dam. by Barros, Alistair [editor.] | Grigori, Daniela [editor.] | Narendra, Nanjangud C [editor.] | Dam, Hoa Khanh [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9435 | Lecture Notes in Computer Science ; 9435Edition: 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): .
|
|
|
|
|
Computational Science and Its Applications -- ICCSA 2015 [electronic resource] : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Marina L. Gavrilova, Ana Maria Alves Coutinho Rocha, Carmelo Torre, David Taniar, Bernady O. Apduhan. by Gervasi, Osvaldo [editor.] | Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Gavrilova, Marina L [editor.] | Rocha, Ana Maria Alves Coutinho [editor.] | Torre, Carmelo [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9158 | Lecture Notes in Computer Science ; 9158Edition: 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): .
|
|
|
|
|
Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider. by Polikarpova, Nadia [editor.] | Schneider, Steve [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10510 | Lecture Notes in Computer Science ; 10510Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Information Security Applications [electronic resource] : 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers / edited by Dooho Choi, Sylvain Guilley. by Choi, Dooho [editor.] | Guilley, Sylvain [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10144 | Lecture Notes in Computer Science ; 10144Edition: 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): .
|
