|
|
|
|
Implementation and Application of Automata [electronic resource] : 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings / edited by Arnaud Carayol, Cyril Nicaud. by Carayol, Arnaud [editor.] | Nicaud, Cyril [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10329 | Lecture Notes in Computer Science ; 10329Edition: 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): .
|
|
|
|
|
Multi-Agent-Based Simulation XV [electronic resource] : International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / edited by Francisco Grimaldo, Emma Norling. by Grimaldo, Francisco [editor.] | Norling, Emma [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9002 | Lecture Notes in Computer Science ; 9002Edition: 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): .
|
|
|
|
|
Semantic Keyword-based Search on Structured Data Sources [electronic resource] : First COST Action IC1302 International KEYSTONE Conference, IKC 2015, Coimbra, Portugal, September 8-9, 2015. Revised Selected Papers / edited by Jorge Cardoso, Francesco Guerra, Geert-Jan Houben, Alexandre Miguel Pinto, Yannis Velegrakis. by Cardoso, Jorge [editor.] | Guerra, Francesco [editor.] | Houben, Geert-Jan [editor.] | Pinto, Alexandre Miguel [editor.] | Velegrakis, Yannis [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9398 | Lecture Notes in Computer Science ; 9398Edition: 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): .
|
|
|
|
|
Internet Science [electronic resource] : Third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016, Proceedings / edited by Franco Bagnoli, Anna Satsiou, Ioannis Stavrakakis, Paolo Nesi, Giovanna Pacini, Yanina Welp, Thanassis Tiropanis, Dominic DiFranzo. by Bagnoli, Franco [editor.] | Satsiou, Anna [editor.] | Stavrakakis, Ioannis [editor.] | Nesi, Paolo [editor.] | Pacini, Giovanna [editor.] | Welp, Yanina [editor.] | Tiropanis, Thanassis [editor.] | DiFranzo, Dominic [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9934 | Lecture Notes in Computer Science ; 9934Edition: 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): .
|
|
|
|
|
Search Based Software Engineering [electronic resource] : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / edited by Federica Sarro, Kalyanmoy Deb. by Sarro, Federica [editor.] | Deb, Kalyanmoy [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9962 | Lecture Notes in Computer Science ; 9962Edition: 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 2015 [electronic resource] : 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part I / edited by Elisabeth Oswald, Marc Fischlin. by Oswald, Elisabeth [editor.] | Fischlin, Marc [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9056 | Lecture Notes in Computer Science ; 9056Edition: 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): .
|
|
|
|
|
Open Problems in Network Security [electronic resource] : IFIP WG 11.4 International Workshop, iNetSec 2015, Zurich, Switzerland, October 29, 2015, Revised Selected Papers / edited by Jan Camenisch, Doğan Kesdoğan. by Camenisch, Jan [editor.] | Kesdoğan, Doğan [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9591 | Lecture Notes in Computer Science ; 9591Edition: 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): .
|
|
|
|
|
Computers and Games [electronic resource] : 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers / edited by Aske Plaat, Walter Kosters, Jaap van den Herik. by Plaat, Aske [editor.] | Kosters, Walter [editor.] | van den Herik, Jaap [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10068 | Lecture Notes in Computer Science ; 10068Edition: 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): .
|
|
|
|
|
Quantitative Evaluation of Systems [electronic resource] : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / edited by Nathalie Bertrand, Luca Bortolussi. by Bertrand, Nathalie [editor.] | Bortolussi, Luca [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10503 | Lecture Notes in Computer Science ; 10503Edition: 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): .
|
|
|
|
|
Advances in Cryptology – EUROCRYPT 2016 [electronic resource] : 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part I / edited by Marc Fischlin, Jean-Sébastien Coron. by Fischlin, Marc [editor.] | Coron, Jean-Sébastien [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9665 | Lecture Notes in Computer Science ; 9665Edition: 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): .
|
|
|
|
|
Software Engineering in Health Care [electronic resource] : 4th International Symposium, FHIES 2014, and 6th International Workshop, SEHC 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers / edited by Michaela Huhn, Laurie Williams. by Huhn, Michaela [editor.] | Williams, Laurie [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9062 | Lecture Notes in Computer Science ; 9062Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Computer Vision – ECCV 2016 [electronic resource] : 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part III / edited by Bastian Leibe, Jiri Matas, Nicu Sebe, Max Welling. by Leibe, Bastian [editor.] | Matas, Jiri [editor.] | Sebe, Nicu [editor.] | Welling, Max [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9907 | Lecture Notes in Computer Science ; 9907Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
Advances in Cryptology – CRYPTO 2016 [electronic resource] : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part III / edited by Matthew Robshaw, Jonathan Katz. by Robshaw, Matthew [editor.] | Katz, Jonathan [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9816 | Lecture Notes in Computer Science ; 9816Edition: 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): .
|
|
|
|
|
Trusted Systems [electronic resource] : 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers / edited by Moti Yung, Liehuang Zhu, Yanjiang Yang. by Yung, Moti [editor.] | Zhu, Liehuang [editor.] | Yang, Yanjiang [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9473 | Lecture Notes in Computer Science ; 9473Edition: 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): .
|
|
|
|
|
Information Security and Privacy [electronic resource] : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part I / edited by Joseph K. Liu, Ron Steinfeld. by Liu, Joseph K [editor.] | Steinfeld, Ron [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9722 | Lecture Notes in Computer Science ; 9722Edition: 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 Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers / edited by Claudia Angelini, Paola MV Rancoita, Stefano Rovetta. by Angelini, Claudia [editor.] | Rancoita, Paola MV [editor.] | Rovetta, Stefano [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 9874 | Lecture Notes in Computer Science ; 9874Edition: 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 – ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security, Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part II / edited by Tetsu Iwata, Jung Hee Cheon. by Iwata, Tetsu [editor.] | Cheon, Jung Hee [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9453 | Lecture Notes in Computer Science ; 9453Edition: 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): .
|
|
|
|
|
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): .
|
