Zhiming Liu: αναζήτηση στον ιστότοπο της Z-Library

Έτος:

2018

Γλώσσα:

english

Αρχείο:

PDF, 10.08 MB

0 / 0

english, 2018

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

Έτος:

2019

Γλώσσα:

english

Αρχείο:

PDF, 14.21 MB

0 / 0

english, 2019

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

Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 1.86 MB

0 / 0

english, 2007

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Springer International Publishing;Springer

Έτος:

2020

Γλώσσα:

english

Αρχείο:

PDF, 8.71 MB

0 / 0

english, 2020

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

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 3.25 MB

0 / 0

english, 2013

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

Zhiming Liu, Zili Zhang (eds.)

Έτος:

2016

Γλώσσα:

english

Αρχείο:

PDF, 27.73 MB

0 / 0

english, 2016

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.68 MB

0 / 0

english, 2013

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

Zhou Chaochen (auth.), Zhiming Liu, Jifeng He (eds.)

Έτος:

2006

Γλώσσα:

english

Αρχείο:

PDF, 10.53 MB

0 / 0

english, 2006

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

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 4.29 MB

0 / 0

english, 2007

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 5.37 MB

0 / 0

english, 2007

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

Qiang Cao, Changsheng Xie (auth.), Yunjun Gao, Kyuseok Shim, Zhiming Ding, Peiquan Jin, Zujie Ren, Yingyuan Xiao, An Liu, Shaojie Qiao (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 8.47 MB

0 / 0

english, 2013

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.30 MB

0 / 0

english, 2013

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

José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue (eds.)

Έτος:

2014

Γλώσσα:

english

Αρχείο:

PDF, 13.56 MB

0 / 0

english, 2014

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

MOBI , 2.37 MB

0 / 0

english, 2013

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

Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 4.92 MB

0 / 0

english, 2009

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.32 MB

0 / 0

english, 2013

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 6.60 MB

0 / 0

english, 2007

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 7.82 MB

0 / 0

english, 2007

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

FB2 , 3.60 MB

0 / 0

english, 2013

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu & Jim Woodcock & Huibiao Zhu (eds.)

Αρχείο:

RTF , 4.60 MB

0 / 0

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

LIT , 1.96 MB

0 / 0

english, 2013

中国乡土文学大系当代卷上

北京：农村读物出版社

刘绍棠，宋志明主编；刘宁责任编辑, Shaotang Liu, Zhiming Song, 刘绍棠, 宋志明主编, 刘绍棠, 宋志明

Έτος:

1996

Γλώσσα:

Chinese

Αρχείο:

PDF, 73.64 MB

0 / 0

Chinese, 1996

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

AZW3 , 2.47 MB

0 / 0

english, 2013

Selective catalytic reduction of NOx with H2 over WO3 promoted Pt/TiO2 catalyst

Elsevier B.V.

Zhiming Liu & Yunan Lu & Lei Yuan & Lingling Ma & Lirong Zheng & Jing Zhang & Tiandou Hu

Έτος:

2016

Γλώσσα:

english

Αρχείο:

PDF, 1.34 MB

0 / 0

english, 2016

刘志明谈中医学的科学性原理

世界图书出版有限公司北京分公司

刘志明，刘汉都著, Zhiming Liu, Handu Liu, 刘志明, 刘汉都著, 刘志明, 刘汉都

Έτος:

2018

Γλώσσα:

Chinese

Αρχείο:

PDF, 143.96 MB

0 / 0

Chinese, 2018

刑事诉讼法及配套规定新释新解下第3版

北京：人民法院出版社

Έτος:

2005

Γλώσσα:

Chinese

Αρχείο:

PDF, 32.94 MB

0 / 0

Chinese, 2005

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 3.01 MB

0 / 0

english, 2013

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

Έτος:

2022

Γλώσσα:

english

Αρχείο:

PDF, 12.79 MB

0 / 4.0

english, 2022

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

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

Έτος:

2017

Γλώσσα:

english

Αρχείο:

PDF, 12.27 MB

0 / 0

english, 2017

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

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.34 MB

0 / 0

english, 2013

Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers

Dominique Méry, Neeraj Kumar Singh (auth.), Zhiming Liu, Alan Wassyng (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 5.45 MB

0 / 0

english, 2012

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

Xuandong Li, Zhiming Liu, Wang Yi (eds.)

Έτος:

2015

Γλώσσα:

english

Αρχείο:

PDF, 24.00 MB

0 / 0

english, 2015

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

José Luiz Fiadeiro (auth.), Zhiming Liu, Keijiro Araki (eds.)

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 3.56 MB

0 / 0

english, 2005

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 4.73 MB

0 / 0

english, 2013

Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.67 MB

0 / 0

english, 2013

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

Έτος:

2018

Γλώσσα:

english

Αρχείο:

PDF, 3.29 MB

0 / 0

english, 2018

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

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 6.33 MB

0 / 0

english, 2007

Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers

José Luiz Fiadeiro (auth.), Zhiming Liu, Keijiro Araki (eds.)

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 4.52 MB

0 / 0

english, 2005

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