Zhenhua Duan – författare
Visar alla böcker från författaren Zhenhua Duan. Handla med fri frakt och snabb leverans.
32 produkter
Civil Engineering and Energy-Environment Vol 2
Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
E-bok, 2023
1022 kr
Lägg i varukorg
Civil Engineering and Energy-Environment focuses on the research of civil engineering, environment resources and energy materials. This proceedings gathers the most cutting-edge research and achievements, aiming to provide scholars and engineers with preferable research direction and engineering …
Civil Engineering and Energy-Environment Vol 1
Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
E-bok, 2023
1022 kr
Lägg i varukorg
Civil Engineering and Energy-Environment focuses on the research of civil engineering, environment resources and energy materials. This proceedings gathers the most cutting-edge research and achievements, aiming to provide scholars and engineers with preferable research direction and engineering …
Civil Engineering and Energy-Environment Vol 2
Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
E-bok, 2023
1022 kr
Lägg i varukorg
Civil Engineering and Energy-Environment focuses on the research of civil engineering, environment resources and energy materials. This proceedings gathers the most cutting-edge research and achievements, aiming to provide scholars and engineers with preferable research direction and engineering …
Civil Engineering and Energy-Environment Vol 1
Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
E-bok, 2023
1022 kr
Lägg i varukorg
Civil Engineering and Energy-Environment focuses on the research of civil engineering, environment resources and energy materials. This proceedings gathers the most cutting-edge research and achievements, aiming to provide scholars and engineers with preferable research direction and engineering …
Civil Engineering and Energy-Environment SET
Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
2024
5328 kr
Lägg i varukorg
Civil Engineering and Energy-Environment focuses on the research of civil engineering, environment resources and energy materials. This proceedings gathers the most cutting-edge research and achievements, aiming to provide scholars and engineers with preferable research direction and engineering …
Civil Engineering and Energy-Environment Vol 1
Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
Inbunden, 2023
2510 kr
Lägg i varukorg
Civil Engineering and Energy-Environment focuses on the research of civil engineering, environment resources and energy materials. This proceedings gathers the most cutting-edge research and achievements, aiming to provide scholars and engineers with preferable research direction and engineering …
Civil Engineering and Energy-Environment Vol 2
Proceedings of the 4th International Conference on Civil Engineering, Environment Resources and Energy Materials (CCESEM 2022), Sanya, China, 21-23 October 2022
Inbunden, 2023
2510 kr
Lägg i varukorg
Civil Engineering and Energy-Environment focuses on the research of civil engineering, environment resources and energy materials. This proceedings gathers the most cutting-edge research and achievements, aiming to provide scholars and engineers with preferable research direction and engineering …
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
Häftad, 2019
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully …
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Av Fumiko Nagoya, Cong Tian m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018. The 11 revised full papers included in the volume were carefully …
Computing and Combinatorics
25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
Av Ding-Zhu Du, Zhenhua Duan m. fl.
Häftad, 2019
550 kr
Lägg i varukorg
This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi’an, China, in July 2019.The 55 papers presented in this volume were carefully reviewed and selected from 124 submissions. The papers cover various topics, including …
Computing and Combinatorics
25th International Conference, COCOON 2019, Xi''an, China, July 29–31, 2019, Proceedings
Av Cong Tian, Zhenhua Duan m. fl.
E-bok, 2019
718 kr
Lägg i varukorg
This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi’an, China, in July 2019. The 55 papers presented in this volume were carefully reviewed and selected from 124 submissions. The papers cover various topics, including …
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Av Huaikou Miao, Cong Tian m. fl.
Häftad, 2020
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Av Jinyun Xue, Fumiko Nagoya m. fl.
Häftad, 2021
566 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.The 13 revised full papers included in the volume were carefully reviewed and selected from 24 …
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
E-bok, 2021
755 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 …
Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Av Shaoying Liu, Zhenhua Duan m. fl.
Häftad, 2023
622 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 …
Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Av Ai Liu, Zhenhua Duan m. fl.
E-bok, 2023
839 kr
Lägg i varukorg
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022. The 12 revised full papers included in the volume were carefully reviewed and selected from 26 …
Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Häftad, 2014
566 kr
Lägg i varukorg
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 …
Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 …
Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Häftad, 2015
455 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
E-bok, 2015
588 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Häftad, 2016
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected …
Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected …
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Av Shaoying Liu, Zhenhua Duan m. fl.
Häftad, 2017
566 kr
Lägg i varukorg
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They …
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Av Fumiko Nagoya, Cong Tian m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They …
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Av Zhenhua Duan, Luke Ong
Häftad, 2017
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and …
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi''an, China, November 13-17, 2017, Proceedings
Av Luke Ong, Zhenhua Duan
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi''an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Av Cong Tian, Fumiko Nagoya m. fl.
Häftad, 2018
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017.The 13 revised full papers included in the volume were carefully reviewed and …
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi''an, China, November 16, 2017, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
E-bok, 2018
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi’an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and …
