CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 21 of 21 Results
1.
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%)
2.
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
$45.98 (Save 48%)
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
$37.68 (Save 58%)
4.
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%)
5.
Domain Modeling and the Duration Calculus
Domain Modeling and the Duration Calculus by George, Chris, Liu, Zhiming... ISBN: 9783540749639 List Price: $59.95
$9.71 (Save 83%)
6.
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%)
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.
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
$40.01 (Save 68%)
9.
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
$133.23 (Save 6%)
10.
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%)
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.
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
13.
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
14.
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%)
15.
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
16.
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%)
17.
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
18.
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
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.
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%)
21.
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%)