Shaoying Liu

Identifiers

Open LibraryOL6986625A

Top Subjects

China (3)
Biodiversity (2)
Biology (1)
Jiuzhaigou Ziran Baohuqu (1)
Minorities (1)
Minorities in sports (1)
Sports (1)

Books by Shaoying Liu

Total count: 7

Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xingChengdu di 1 ban

Sichuan ke xue ji shu chu ban she2007-01-01
Formal Methods and Software Engineering10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Springer London, Limited2008-01-01
Min zu chuan tong ti yu xueMinzu chuantong tiyuxueDi 1 ban

Min zu chu ban she2011-01-01
Xizang Gongbu Ziran Baohuqu sheng wu duo yang xingXizang Gongbu Ziran Baohuqu shengwu duoyangxingDi 1 ban

Xi nan shi fan da xue chu ban she2011-01-01
Structured Object-Oriented Formal Language and MethodSecond International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Springer London, Limited2013-01-01
Agile-SOFLAgile Formal Engineering Method

Springer2024-01-01
Software Fault Prevention, Verification, and ValidationFirst International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings

Springer2025-01-01