|
|
|
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / edited by Carlos Canal, Akram Idani. by Canal, Carlos [editor.] | Idani, Akram [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 8938 | Lecture Notes in Computer Science ; 8938Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Post-Quantum Cryptography [electronic resource] : 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings / edited by Tanja Lange, Tsuyoshi Takagi. by Lange, Tanja [editor.] | Takagi, Tsuyoshi [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10346 | Lecture Notes in Computer Science ; 10346Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers / edited by Minghui Dong, Jingxia Lin, Xuri Tang. by Dong, Minghui [editor.] | Lin, Jingxia [editor.] | Tang, Xuri [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10085 | Lecture Notes in Computer Science ; 10085Edition: 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): .
|
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers / edited by Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti. by Ciancarini, Paolo [editor.] | Poggi, Francesco [editor.] | Horridge, Matthew [editor.] | Zhao, Jun [editor.] | Groza, Tudor [editor.] | Suarez-Figueroa, Mari Carmen [editor.] | d'Aquin, Mathieu [editor.] | Presutti, Valentina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10180 | Lecture Notes in Computer Science ; 10180Edition: 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): .
|
|
|
|
|
The Semantic Web – ISWC 2016 [electronic resource] : 15th International Semantic Web Conference, Kobe, Japan, October 17–21, 2016, Proceedings, Part II / edited by Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil. by Groth, Paul [editor.] | Simperl, Elena [editor.] | Gray, Alasdair [editor.] | Sabou, Marta [editor.] | Krötzsch, Markus [editor.] | Lecue, Freddy [editor.] | Flöck, Fabian [editor.] | Gil, Yolanda [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9982 | Lecture Notes in Computer Science ; 9982Edition: 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): .
|
|
|
|
|
Logic, Rationality, and Interaction [electronic resource] : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada. by Baltag, Alexandru [editor.] | Seligman, Jeremy [editor.] | Yamada, Tomoyuki [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10455 | Lecture Notes in Computer Science ; 10455Edition: 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): .
|
|
|
|
|
Public-Key Cryptography – PKC 2016 [electronic resource] : 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Taipei, Taiwan, March 6-9, 2016, Proceedings, Part I / edited by Chen-Mou Cheng, Kai-Min Chung, Giuseppe Persiano, Bo-Yin Yang. by Cheng, Chen-Mou [editor.] | Chung, Kai-Min [editor.] | Persiano, Giuseppe [editor.] | Yang, Bo-Yin [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9614 | Lecture Notes in Computer Science ; 9614Edition: 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): .
|
|
|
|
|
Computational Social Networks [electronic resource] : 5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings / edited by Hien T. Nguyen, Vaclav Snasel. by Nguyen, Hien T [editor.] | Snasel, Vaclav [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9795 | Lecture Notes in Computer Science ; 9795Edition: 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 Helping People with Special Needs [electronic resource] : 15th International Conference, ICCHP 2016, Linz, Austria, July 13-15, 2016, Proceedings, Part I / edited by Klaus Miesenberger, Christian Bühler, Petr Penaz. by Miesenberger, Klaus [editor.] | Bühler, Christian [editor.] | Penaz, Petr [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9758 | Lecture Notes in Computer Science ; 9758Edition: 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): .
|
|
|
|
|
HCI in Business, Government and Organizations. Supporting Business [electronic resource] : 4th International Conference, HCIBGO 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Fiona Fui-Hoon Nah, Chuan-Hoo Tan. by Nah, Fiona Fui-Hoon [editor.] | Tan, Chuan-Hoo [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10294 | Lecture Notes in Computer Science ; 10294Edition: 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): .
|
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers / edited by Qin Lu, Hong Gao. by Lu, Qin [editor.] | Gao, Hong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9332 | Lecture Notes in Computer Science ; 9332Edition: 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): .
|
|
|
|
|
Database Systems for Advanced Applications [electronic resource] : DASFAA 2016 International Workshops: BDMS, BDQM, MoI, and SeCoP, Dallas, TX, USA, April 16-19, 2016, Proceedings / edited by Hong Gao, Jinho Kim, Yasushi Sakurai. by Gao, Hong [editor.] | Kim, Jinho [editor.] | Sakurai, Yasushi [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9645 | Lecture Notes in Computer Science ; 9645Edition: 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): .
|
|
|
|
|
Design, User Experience, and Usability: Design Thinking and Methods [electronic resource] : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I / edited by Aaron Marcus. by Marcus, Aaron [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9746 | Lecture Notes in Computer Science ; 9746Edition: 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): .
|
|
|
|
|
Codes, Cryptology and Information Security [electronic resource] : Second International Conference, C2SI 2017, Rabat, Morocco, April 10–12, 2017, Proceedings - In Honor of Claude Carlet / edited by Said El Hajji, Abderrahmane Nitaj, El Mamoun Souidi. by El Hajji, Said [editor.] | Nitaj, Abderrahmane [editor.] | Souidi, El Mamoun [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10194 | Lecture Notes in Computer Science ; 10194Edition: 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): .
|
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / edited by Clare Dixon, Marcelo Finger. by Dixon, Clare [editor.] | Finger, Marcelo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10483 | Lecture Notes in Computer Science ; 10483Edition: 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): .
|
