Zhiming Liu | Booky.fi

Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Le

Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

59,40 €

Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China,

Li, Xuandong; Liu, Zhiming; Yi, Wang
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,40 €

Mathematical Frameworks For Component Software: Models For Analysis And Synthesis

Liu, Zhiming; He, Jifeng
World Scientific Publishing Co Pte Ltd
2006
Kovakantinen kirja

166,60 €

Formal Methods and Software Engineering - 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China,

Liu, Zhiming; He, Jifeng
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

101,40 €

Theoretical Aspects of Computing - ICTAC 2004 - First International Colloquium Guiyand, China, September 20-24, 2004, Revised Se

Liu, Zhiming; Araki, Keijiro
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2005
Pehmeäkantinen kirja

101,40 €

Automated Technology for Verification and Analysis - 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009,

Liu, Zhiming; Ravn, Anders P.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2009
Pehmeäkantinen kirja

51,40 €

Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Afric

Liu, Zhiming; Wassyng, Alan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

47,40 €

Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,40 €

Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,40 €

Theoretical Aspects of Computing -- ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,40 €

Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutor

Liu, Zhiming; Zhang, Zili
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,40 €

Theoretical Aspects of Computing -- Ictac 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceeding

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao
Springer
2013
Pehmeäkantinen kirja

115,10 €

Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28,

Liu, Zhiming; Saoud, Adnane; Wehrheim, Heike
Springer
2025
Pehmeäkantinen kirja

97,90 €

Domain Modeling and the Duration Calculus - International Training School, Shanghai, China, September 17-21, 2007, Advanced Lect

George, Chris; Liu, Zhiming; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,40 €

Formal Methods and Hybrid Real-Time Systems - Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th

Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,40 €

Theoretical Aspects of Computing - ICTAC 2007 - 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Jones, Cliff B.; Liu, Zhiming; Woodcock, Jones
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja

51,40 €

Web-Age Information Management - WAIM 2013 International Workshops: HardBD, MDSP, BigEM, TMSN, LQPM, BDMS, Beidaihe, China, June

Gao, Yunjun; Shim, Kyuseok; Ding, Zhiming; Jin, Peiquan; Zujie, Ren; Xiao, Yingyuan; Liu, An; Qiao, Shaojie
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

51,40 €

Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Se

Fiadeiro, José Luiz; Liu, Zhiming; Xue, Jinyun
Springer International Publishing AG
2014
Pehmeäkantinen kirja

51,40 €

Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016,

Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,40 €

Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial

Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja

51,40 €