|
|
|
|
Network and Parallel Computing [electronic resource] : 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / edited by Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman, Wenguang Chen. by Gao, Guang R [editor.] | Qian, Depei [editor.] | Gao, Xinbo [editor.] | Chapman, Barbara [editor.] | Chen, Wenguang [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 9966 | Lecture Notes in Computer Science ; 9966Edition: 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): .
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II / edited by Axel Legay, Tiziana Margaria. by Legay, Axel [editor.] | Margaria, Tiziana [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10206 | Lecture Notes in Computer Science ; 10206Edition: 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): .
|
|
|
|
|
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): .
|
|
|
|
|
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): .
|
|
|
|
|
Smart Card Research and Advanced Applications [electronic resource] : 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers / edited by Kerstin Lemke-Rust, Michael Tunstall. by Lemke-Rust, Kerstin [editor.] | Tunstall, Michael [editor.] | SpringerLink (Online service). Series: Security and Cryptology ; 10146 | Lecture Notes in Computer Science ; 10146Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Programming massively parallel processors a hands-on approach by Kirk, David | Hwu, Wen-mei. Edition: Third edition.Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Availability: Items available for loan: IMSc Library (1). Location(s): Second Floor Rack No:49 Shelf No:7 Call number: 681.3 KIR.
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
Tropical Circuit Complexity by Jukna, Stasys. ;Language: English Language: English Publication details: Cham Springer 2023Availability: Items available for loan: IMSc Library (1). Location(s): First floor, Rack No. 36, Shelf No. 12 Call number: 519.852 JUK.
|
|
|
|
|
|
|
|
|
|
Beyond the Worst-Case Analysis of Algorithms by Roughgarden,Tim (Ed.). ;Language: English Language: English Publication details: Cambridge Cambridge University Press 2021Availability: Items available for reference: IMSc Library Not for loan_1 (1). : Location(s): Technical Processing Call number: 681.3 ROU.
|
