1
Service-Oriented Computing - ICSOC 2012 Workshops [E-Book] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers /
Other Personal Name(s): “...Zhu, Huibiao....”

Full text 
Favorites
Saved in:
2
Unifying Theories of Programming and Formal Engineering Methods [E-Book] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
Other Personal Name(s): “...Zhu, Huibiao....”

Full text 
Favorites
Saved in:
3
Theories of Programming and Formal Methods [E-Book] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday /
Other Personal Name(s): “...Zhu, Huibiao....”

Full text 
Favorites
Saved in:
4
Theoretical Aspects of Computing – ICTAC 2013 [E-Book] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /
Other Personal Name(s): “...Zhu, Huibiao....”

Full text 
Favorites
Saved in:
5
Formal Methods and Software Engineering [E-Book] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
Other Personal Name(s): “...Zhu, Huibiao....”

Full text 
Favorites
Saved in:

Narrow Search Results