|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang. by Finkbeiner, Bernd [editor.] | Pu, Geguang [editor.] | Zhang, Lijun [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 9364 | Lecture Notes in Computer Science ; 9364Edition: 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): .
|
|
|
|
Web Technologies and Applications [electronic resource] : APWeb 2016 Workshops, WDMA, GAP, and SDMA, Suzhou, China, September 23-25, 2016, Proceedings / edited by Atsuyuki Morishima, Rong Zhang, Wenjie Zhang, Lijun Chang, Tom Z. J Fu, Kuien Liu, Xiaoyan Yang, Jia Zhu, Zhiwei Zhang. by Morishima, Atsuyuki [editor.] | Zhang, Rong [editor.] | Zhang, Wenjie [editor.] | Chang, Lijun [editor.] | Fu, Tom Z. J [editor.] | Liu, Kuien [editor.] | Yang, Xiaoyan [editor.] | Zhu, Jia [editor.] | Zhang, Zhiwei [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9865 | Lecture Notes in Computer Science ; 9865Edition: 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): .
|
|
|
|
Databases Theory and Applications [electronic resource] : 27th Australasian Database Conference, ADC 2016, Sydney, NSW, September 28-29, 2016, Proceedings / edited by Muhammad Aamir Cheema, Wenjie Zhang, Lijun Chang. by Cheema, Muhammad Aamir [editor.] | Zhang, Wenjie [editor.] | Chang, Lijun [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9877 | Lecture Notes in Computer Science ; 9877Edition: 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): .
|