|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings / edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li. by Agrawal, Manindra [editor.] | Du, Dingzhu [editor.] | Duan, Zhenhua [editor.] | Li, Angsheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4978Source: Springer eBooksMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua Duan, Luke Ong. by Duan, Zhenhua [editor.] | Ong, Luke [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10610 | Lecture Notes in Computer Science ; 10610Edition: 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): .
|
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan. by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 8979 | Lecture Notes in Computer Science ; 8979Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Structured Object-Oriented Formal Language and Method [electronic resource] : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers / edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya. by Liu, Shaoying [editor.] | Duan, Zhenhua [editor.] | Tian, Cong [editor.] | Nagoya, Fumiko [editor.] | SpringerLink (Online service). Series: Theoretical Computer Science and General Issues ; 10189 | Lecture Notes in Computer Science ; 10189Edition: 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): .
|
