|
|
|
|
Data Analytics [electronic resource] : 31st British International Conference on Databases, BICOD 2017, London, UK, July 10–12, 2017, Proceedings / edited by Andrea Calì, Peter Wood, Nigel Martin, Alexandra Poulovassilis. by Calì, Andrea [editor.] | Wood, Peter [editor.] | Martin, Nigel [editor.] | Poulovassilis, Alexandra [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10365 | Lecture Notes in Computer Science ; 10365Edition: 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 and Cryptology [electronic resource] : 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised Selected Papers / edited by Kefei Chen, Dongdai Lin, Moti Yung. by Chen, Kefei [editor.] | Lin, Dongdai [editor.] | Yung, Moti [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10143 | Lecture Notes in Computer Science ; 10143Edition: 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): .
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 19th International Conference, FOSSACS 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 Bart Jacobs, Christof Löding. by Jacobs, Bart [editor.] | Löding, Christof [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9634 | Lecture Notes in Computer Science ; 9634Edition: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part II / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu. by Arik, Sabri [editor.] | Huang, Tingwen [editor.] | Lai, Weng Kin [editor.] | Liu, Qingshan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9490 | Lecture Notes in Computer Science ; 9490Edition: 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): .
|
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / edited by Olivier Roux, Jérémie Bourdon. by Roux, Olivier [editor.] | Bourdon, Jérémie [editor.] | SpringerLink (Online service). Series: Lecture Notes in Bioinformatics ; 9308 | Lecture Notes in Computer Science ; 9308Edition: 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): .
|
|
|
|
|
Security of Industrial Control Systems and Cyber Physical Systems [electronic resource] : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21–22, 2015 Revised Selected Papers / edited by Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis. by Bécue, Adrien [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Frédéric [editor.] | Katsikas, Sokratis [editor.] | Lambrinoudakis, Costas [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 9588 | Lecture Notes in Computer Science ; 9588Edition: 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): .
|
|
|
|
|
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings, Part I / edited by Sabri Arik, Tingwen Huang, Weng Kin Lai, Qingshan Liu. by Arik, Sabri [editor.] | Huang, Tingwen [editor.] | Lai, Weng Kin [editor.] | Liu, Qingshan [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9489 | Lecture Notes in Computer Science ; 9489Edition: 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): .
|
|
|
|
|
Fundamentals of Computation Theory [electronic resource] : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings / edited by Ralf Klasing, Marc Zeitoun. by Klasing, Ralf [editor.] | Zeitoun, Marc [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10472 | Lecture Notes in Computer Science ; 10472Edition: 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): .
|
|
|
|
|
Computer Vision - ACCV 2014 Workshops [electronic resource] : Singapore, Singapore, November 1-2, 2014, Revised Selected Papers, Part I / edited by C.V. Jawahar, Shiguang Shan. by Jawahar, C.V [editor.] | Shan, Shiguang [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9008 | Lecture Notes in Computer Science ; 9008Edition: 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, Ambient and Pervasive Interactions [electronic resource] : 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings / edited by Norbert Streitz, Panos Markopoulos. by Streitz, Norbert [editor.] | Markopoulos, Panos [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10291 | Lecture Notes in Computer Science ; 10291Edition: 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): .
|
|
|
|
|
Energy Informatics [electronic resource] : 4th D-A-CH Conference, EI 2015, Karlsruhe, Germany, November 12-13, 2015, Proceedings / edited by Sebastian Gottwalt, Lukas König, Hartmut Schmeck. by Gottwalt, Sebastian [editor.] | König, Lukas [editor.] | Schmeck, Hartmut [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9424 | Lecture Notes in Computer Science ; 9424Edition: 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): .
|
|
|
|
|
Human-Computer Interaction. Interaction Contexts [electronic resource] : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Masaaki Kurosu. by Kurosu, Masaaki [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10272 | Lecture Notes in Computer Science ; 10272Edition: 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 Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / edited by George Azzopardi, Nicolai Petkov. by Azzopardi, George [editor.] | Petkov, Nicolai [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9257 | Lecture Notes in Computer Science ; 9257Edition: 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): .
|
|
|
|
|
Computational Logistics [electronic resource] : 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Francesco Corman, Stefan Voß, Rudy R. Negenborn. by Corman, Francesco [editor.] | Voß, Stefan [editor.] | Negenborn, Rudy R [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9335 | Lecture Notes in Computer Science ; 9335Edition: 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): .
|
|
|
|
|
Handbook of Model Checking by Clarke, Edmund M | Bloem, Roderick | Henzinger, Thomas A | Veith, Helmut. Edition: 1st ed. 2018.Material type: Text;Language: English; Literary form:
Not fiction
Language: English Publication details: Switzerland Springer Nature 2018Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 43 Call number: 681.3 CLA.
|
|
|
|
|
Genius Makers The mavericks who brought A.I. to Google, Facebook, and the world by Metz, Cade. Material type: Text;Language: English; Format:
print
; Nature of contents:  ; Literary form:
Not fiction
Language: English Publication details: Gurgaon (Haryana) Penguin 2021Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor, Rack No: 50 Shelf No: 10 Call number: 681.5 MET.
|
