CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 24 of 24 Results
1.
Formal Methods and Hybrid Real-Time Systems
Formal Methods and Hybrid Real-Time Systems by Jones, Cliff B., Liu, Zhimi... ISBN: 9783540752202 List Price: $89.95
$42.78 (Save 52%)
2.
Foundations of Health Informatics Engineering and Systems : First International Symposium, F...
Foundations of Health Informatics Engineering and Systems : First International Symposium, F... by Liu, Zhiming, Wassyng, Alan ISBN: 9783642323546 List Price: $69.95
$66.72 (Save 4%)
3.
Theoretical Aspects of Computing - ICTAC 2007
Theoretical Aspects of Computing - ICTAC 2007 by Jones, Cliff B., Liu, Zhimi... ISBN: 9783540752905 List Price: $89.95
$36.37 (Save 59%)
4.
Formal Methods and Software Engineering 8th International Conference on Formal Engineering M...
Formal Methods and Software Engineering 8th International Conference on Formal Engineering M... by Liu, Zhiming, He, Jifeng ISBN: 9783540474609 List Price: $129.00
$73.73 (Save 42%)
5.
Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus by George, Chris, Liu, Zhiming... ISBN: 9783540749639 List Price: $59.95
$42.78 (Save 28%)
6.
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, ...
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, ... by Liu, Zhiming, Ravn, Anders P. ISBN: 9783642047602 List Price: $95.00
$51.31 (Save 45%)
7.
Theoretical Aspects of Computing--ICTAC 2004 First International Colloquium Guiyand, China, ...
Theoretical Aspects of Computing--ICTAC 2004 First International Colloquium Guiyand, China, ... by Liu, Zhiming, Araki, Keijiro ISBN: 9783540253044 List Price: $104.00
$103.17
8.
Mathematical Frameworks for Component Software Models for Analysis and Synthesis
Mathematical Frameworks for Component Software Models for Analysis and Synthesis by Liu, Zhiming, Jifeng, He ISBN: 9789812700179 List Price: $142.00
$106.35 (Save 25%)
9.
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, Ch...
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, Ch... by Liu, Zhiming, Woodcock, Jim... ISBN: 9783642397172 List Price: $95.00
$51.31 (Save 45%)
10.
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion o...
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion o... by Liu, Zhiming, Woodcock, Jim... ISBN: 9783642396977 List Price: $95.00
$52.33 (Save 44%)
11.
Bioreactors : Design, Properties, and Applications
Bioreactors : Design, Properties, and Applications by Antolli, Paolo G., Liu, Zhi... ISBN: 9781621001645

OUT OF STOCK

See Availability on Amazon
12.
Mechanical and Electronics Engineering VI
Mechanical and Electronics Engineering VI by Liu, Zhiming ISBN: 9783038352624 List Price: $138.00

OUT OF STOCK

See Availability on Amazon
13.
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing...
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing... by Bowen, Jonathan P., Liu, Zh... ISBN: 9783319568409 List Price: $72.00
$51.31 (Save 28%)
14.
Formal Aspects of Component Software : 10th International Symposium, Facs 2013, Nanchang, Ch...
Formal Aspects of Component Software : 10th International Symposium, Facs 2013, Nanchang, Ch... by Fiadeiro, Jos� Luiz, Liu, Z... ISBN: 9783319076034 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
15.
Dependable Software Engineering: Theories, Tools, and Applications : First International Sym...
Dependable Software Engineering: Theories, Tools, and Applications : First International Sym... by Li, Xuandong, Liu, Zhiming,... ISBN: 9783319259413 List Price: $72.00
$51.31 (Save 28%)
16.
Unifying Theories of Programming and Formal Engineering Methods : International Training Sch...
Unifying Theories of Programming and Formal Engineering Methods : International Training Sch... by Liu, Zhiming, Woodcock, Jim... ISBN: 9783642397226 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
17.
Theoretical Aspects of Computing -- Ictac 2013 : 10th International Colloquium, Shanghai, Ch...
Theoretical Aspects of Computing -- Ictac 2013 : 10th International Colloquium, Shanghai, Ch... by Liu, Zhiming, Woodcock, Jim... ISBN: 9783642397196 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
18.
Engineering Trustworthy Software Systems : International Summer School, SETSS 2014, Chongqin...
Engineering Trustworthy Software Systems : International Summer School, SETSS 2014, Chongqin... by Liu, Zhiming, Zhang, Zili ISBN: 9783319296272 List Price: $69.99
$51.31 (Save 26%)
19.
Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, ...
Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, ... by Bowen, Jonathan P., Liu, Zh... ISBN: 9783030550882 List Price: $69.99
$51.31 (Save 26%)
20.
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Geor...
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Geor... by Seidl, Helmut, Liu, Zhiming... ISBN: 9783031177149
$51.31
21.
Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing...
Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing... by Bowen, Jonathan P., Liu, Zh... ISBN: 9783030029272 List Price: $69.99
$51.31 (Save 26%)
22.
Research on Internationalization Construction of Colleges and Universities in the New Era
Research on Internationalization Construction of Colleges and Universities in the New Era by Liu, ZhiMing ISBN: 9798888829097 List Price: $6.99

OUT OF STOCK

See Availability on Amazon
23.
History of Pushing Back Pictures
History of Pushing Back Pictures by Liu, Zhiming ISBN: 9781963753462 List Price: $9.40

OUT OF STOCK

See Availability on Amazon
24.
Research on the Construction of Practical Teaching System for Digital Media Art and Design M...
Research on the Construction of Practical Teaching System for Digital Media Art and Design M... by Liu, Zhiming ISBN: 9798888742365 List Price: $9.80

OUT OF STOCK

See Availability on Amazon