EtoBox — Free Books, Journals, and Documents

14 works shown

Showing books by Zhiming

14 works · 9 duplicate files collapsed

BOOKS

Books

14 total

致命邂逅 = Zhiming Xiehou

缪娟著

2014

侵权行为法

Zhiming zhu Yao

2011

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu & Jim Woodcock & Huibiao Zhu

盛世华音清代顺康雍乾诗人山水诗论下

Shi Zhiming zhu

2017

知名商品权判例 = Zhiming Shangpinquan Panli

others

2010

骨肉寒下

Zhiming Chen

2009

Selected Topics in Finite Element Methods = You Xian Yuan Fang Fa Xuan Jiang

Zhiming Chen,haijun Wu

2010

JOURNALS & PAPERS

Journals & papers

9 total

Differential Equations with Symbolic Computation,dongming Wang,zhiming Zheng

BIRKHAUSER VERLAG, Dongming Wang, Zhiming Zheng, editors

Birkhũser-Verlag2005

DOI 10.1007/3-7643-7429-2.

Self-assembled Quantum Dots (lecture Notes in Nanoscale Science and Technology, 1)

Zhiming M. Wang, editor

Springer US2008

DOI 10.1007/978-0-387-74191-8

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

Springer Berlin Heidelberg : Imprint: Springer2013

DOI 10.1007/978-3-642-39698-4

Research and Design of Big Data Unified Analysis Platform Based on Cloud Computing

Zhiming Zhen

Springer International Publishing : Imprint: Springer2021

DOI 10.1007/978-3-030-74811-1.

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (lecture Notes in Computer Science Book 9506)

Zili Zhang Zhiming Liu

Springer International Publishing : Imprint: Springer2016

DOI 10.1007/978-3-319-29628-9

Dirichlet Forms and Stochastic Processes: Proceedings of the International Conference Held in Beijing, China, October 25-31, 1993 (de Gruyter Proceedings in Mathematics)

Zhiming Ma

Saur, K. G., Verlag. ein Imprint der Walter de Gruyter GmbH1995

DOI 10.1515/9783110880052

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

Springer-Verlag Berlin Heidelberg2005

DOI 10.1007/b107116

All matching files

Other editions and formats

Individual editions and file formats that weren't grouped into the works above. Use this when you need a specific format, language, or scan quality.

9 of 23

Zhiming Yu Chunjiao, 志明與春嬌

Dianxin

2007

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (lecture Notes in Computer Science, 4260)

He Jifeng

2006

Toward Functional Nanomaterials (lecture Notes in Nanoscale Science and Technology Book 5)

Zhiming M. Wang

2009

复混肥料生产与利用指南

Zhiming Zhang

2000

Dynamics of China's Economy: Growth, Cycles and Crises from 1949 to the Present Day

Remy Herrera Zhiming Long

2023

中国古代哲学发微 = an Interpretation of the Ancient Chinese Philosophy

Song Zhiming zhu, Zhiming Song

2012

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

Springer-Verlag Berlin Heidelberg2007

DOI 10.1007/978-3-540-75221-9

Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-time Systems Essaya in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Cliff B. Jones, Zhiming Liu, Jim Woodcock

Springer Spektrum. in Springer-Verlag GmbH2007

DOI 10.1007/978-3-540-75221-9

Fa Lü Jie Shi Cao Zuo Fen Xi 法律解释操作分析

Zhang, Zhiming & 3 more

1999

Books

致命邂逅 = Zhiming Xiehou

侵权行为法

LNCS 8051 - Theories of Programming and Formal Methods

盛世华音 清代顺康雍乾诗人山水诗论 下

知名商品权判例 = Zhiming Shangpinquan Panli

骨肉寒 下

Selected Topics in Finite Element Methods = You Xian Yuan Fang Fa Xuan Jiang

Journals & papers

Differential Equations with Symbolic Computation,dongming Wang,zhiming Zheng

Self-assembled Quantum Dots (lecture Notes in Nanoscale Science and Technology, 1)

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

Research and Design of Big Data Unified Analysis Platform Based on Cloud Computing

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (lecture Notes in Computer Science Book 9506)

Dirichlet Forms and Stochastic Processes: Proceedings of the International Conference Held in Beijing, China, October 25-31, 1993 (de Gruyter Proceedings in Mathematics)

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

Other editions and formats

Zhiming Yu Chunjiao, 志明與春嬌

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (lecture Notes in Computer Science, 4260)

Toward Functional Nanomaterials (lecture Notes in Nanoscale Science and Technology Book 5)

复混肥料生产与利用指南

Dynamics of China's Economy: Growth, Cycles and Crises from 1949 to the Present Day

中国古代哲学发微 = an Interpretation of the Ancient Chinese Philosophy

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

Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-time Systems Essaya in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Fa Lü Jie Shi Cao Zuo Fen Xi 法律解释操作分析

Books

致命邂逅 = Zhiming Xiehou

侵权行为法

LNCS 8051 - Theories of Programming and Formal Methods

盛世华音 清代顺康雍乾诗人山水诗论 下

知名商品权判例 = Zhiming Shangpinquan Panli

骨肉寒 下

Selected Topics in Finite Element Methods = You Xian Yuan Fang Fa Xuan Jiang

Journals & papers

Differential Equations with Symbolic Computation,dongming Wang,zhiming Zheng

Self-assembled Quantum Dots (lecture Notes in Nanoscale Science and Technology, 1)

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

Research and Design of Big Data Unified Analysis Platform Based on Cloud Computing

Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures (lecture Notes in Computer Science Book 9506)

Dirichlet Forms and Stochastic Processes: Proceedings of the International Conference Held in Beijing, China, October 25-31, 1993 (de Gruyter Proceedings in Mathematics)

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

Other editions and formats

Zhiming Yu Chunjiao, 志明與春嬌

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (lecture Notes in Computer Science, 4260)

Toward Functional Nanomaterials (lecture Notes in Nanoscale Science and Technology Book 5)

复混肥料生产与利用指南

Dynamics of China's Economy: Growth, Cycles and Crises from 1949 to the Present Day

中国古代哲学发微 = an Interpretation of the Ancient Chinese Philosophy

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

Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-time Systems Essaya in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Fa Lü Jie Shi Cao Zuo Fen Xi 法律解释操作分析

盛世华音清代顺康雍乾诗人山水诗论下

骨肉寒下

盛世华音清代顺康雍乾诗人山水诗论下

骨肉寒下