1
Theoretical Aspects of Computing - ICTAC 2022 [E-Book] : 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
2
Engineering Trustworthy Software Systems [E-Book] : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
3
Dependable Software Engineering: Theories, Tools, and Applications [E-Book] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
Other Personal Name(s): “...Liu, Zhiming....”

Full text 
Favorites
Saved in:
4
Formal Aspects of Component Software [E-Book] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Other Personal Name(s): “...Liu, Zhiming....”

Full text 
Favorites
Saved in:
5
Mechanical and electronics engineering VI : selected, peer reviewed papers from the 2014 6th International Conference on Mechanical and Electronics Engineering (ICMEE 2014), August 16-17, 2014, Beijing, China [E-Book] /
Other Personal Name(s): “...Liu, Zhiming...”

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

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

Full text 
Favorites
Saved in:
8
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): “...Liu, Zhiming....”

Full text 
Favorites
Saved in:
9
Web-Age Information Management [E-Book] : WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June 14-16, 2013. Proceedings /
Other Personal Name(s): “...Ding, Zhiming....”

Full text 
Favorites
Saved in:
10
Foundations of Health Informatics Engineering and Systems [E-Book] : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers /
Other Personal Name(s): “...Liu, Zhiming....”

Full text 
Favorites
Saved in:
11
Automated Technology for Verification and Analysis [E-Book] : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
12
Formal Methods and Hybrid Real-Time Systems [E-Book] : Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
13
Domain Modeling and the Duration Calculus [E-Book] : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
14
Theoretical Aspects of Computing – ICTAC 2007 [E-Book] : 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings /
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
15
Formal Methods and Software Engineering (vol. # 4260) [E-Book] / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
He, Jifeng
2006
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
16
Mathematical frameworks for component software : models for analysis and synthesis [E-Book] /
He, Jifeng
2006
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:
17
Theoretical Aspects of Computing - ICTAC 2004 [E-Book] / First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Other Personal Name(s): “...Liu, Zhiming...”

Full text 
Favorites
Saved in:

Narrow Search Results