Zhenhua Duan – författare

Visar alla böcker från författaren Zhenhua Duan. Handla med fri frakt och snabb leverans.

32 produkter

Kategorier

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
AvZhenhua Duan,Qingfei Gao
E-bok
PDF, Engelska, 2023
1 000 kr
Läs direkt efter köp
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 solution as reference. Subjects in this proceedings include:- Engineering Structure- Environmental Protection Materials- Architectural Environment Â·Environment Resources- Energy Storage- Building Electrical EngineeringThe works of this proceedings will promote development of civil engineering and environment engineering. Thereby, promote scientific information interchange between scholars from top universities, research centers and high-tech enterprises working all around the world.
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
AvZhenhua Duan,Qingfei Gao
E-bok
PDF, Engelska, 2023
1 000 kr
Läs direkt efter köp
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 solution as reference. Subjects in this proceedings include:- Engineering Structure- Environmental Protection Materials- Architectural Environment ·Environment Resources- Energy Storage- Building Electrical EngineeringThe works of this proceedings will promote development of civil engineering and environment engineering. Thereby, promote scientific information interchange between scholars from top universities, research centers and high-tech enterprises working all around the world.
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
AvZhenhua Duan,Qingfei Gao
E-bok
Engelska, 2023
1 000 kr
Läs direkt efter köp
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 solution as reference. Subjects in this proceedings include:- Engineering Structure- Environmental Protection Materials- Architectural Environment Â·Environment Resources- Energy Storage- Building Electrical EngineeringThe works of this proceedings will promote development of civil engineering and environment engineering. Thereby, promote scientific information interchange between scholars from top universities, research centers and high-tech enterprises working all around the world.
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
AvZhenhua Duan,Qingfei Gao
E-bok
Engelska, 2023
1 000 kr
Läs direkt efter köp
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 solution as reference. Subjects in this proceedings include:- Engineering Structure- Environmental Protection Materials- Architectural Environment ·Environment Resources- Energy Storage- Building Electrical EngineeringThe works of this proceedings will promote development of civil engineering and environment engineering. Thereby, promote scientific information interchange between scholars from top universities, research centers and high-tech enterprises working all around the world.
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
Taylor & Francis Ltd
2024
5 210 kr
Skickas inom 10-15 vardagar
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 solution as reference. Subjects in this proceedings include:- Engineering Structure- Environmental Protection Materials- Architectural Environment ·Environment Resources- Energy Storage- Building Electrical EngineeringThe works of this proceedings will promote development of civil engineering and environment engineering. Thereby, promote scientific information interchange between scholars from top universities, research centers and high-tech enterprises working all around the world.
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
AvQingfei Gao,Zhenhua Duan
Inbunden, Engelska, 2023
2 455 kr
Skickas inom 10-15 vardagar
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 solution as reference. Subjects in this proceedings include:- Engineering Structure- Environmental Protection Materials- Architectural Environment ·Environment Resources- Energy Storage- Building Electrical EngineeringThe works of this proceedings will promote development of civil engineering and environment engineering. Thereby, promote scientific information interchange between scholars from top universities, research centers and high-tech enterprises working all around the world.
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
AvQingfei Gao,Zhenhua Duan
Inbunden, Engelska, 2023
2 455 kr
Skickas inom 10-15 vardagar
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 solution as reference. Subjects in this proceedings include:- Engineering Structure- Environmental Protection Materials- Architectural Environment ·Environment Resources- Energy Storage- Building Electrical EngineeringThe works of this proceedings will promote development of civil engineering and environment engineering. Thereby, promote scientific information interchange between scholars from top universities, research centers and high-tech enterprises working all around the world.
Del 11392 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
AvZhenhua Duan,Shaoying Lium. fl.
Häftad, Engelska, 2019
574 kr
Skickas inom 10-15 vardagar
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 reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
AvFumiko Nagoya,Cong Tianm. fl.
E-bok
Engelska, 2019
739 kr
Läs direkt efter köp
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 reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
Del 11653 - Lecture Notes in Computer Science
Computing and Combinatorics
25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
AvDing-Zhu Du,Zhenhua Duanm. fl.
Häftad, Engelska, 2019
558 kr
Skickas inom 10-15 vardagar
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 algorithm design, approximation algorithm, graph theory, complexity theory, problem solving, optimization, computational biology, computational learning, communication network, logic, and game theory.
Computing and Combinatorics
25th International Conference, COCOON 2019, Xi''an, China, July 29–31, 2019, Proceedings
AvCong Tian,Zhenhua Duanm. fl.
E-bok
Engelska, 2019
710 kr
Läs direkt efter köp
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 algorithm design, approximation algorithm, graph theory, complexity theory, problem solving, optimization, computational biology, computational learning, communication network, logic, and game theory.
Del 12028 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
AvHuaikou Miao,Cong Tianm. fl.
Häftad, Engelska, 2020
574 kr
Skickas inom 10-15 vardagar
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 selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
AvZhenhua Duan,Shaoying Lium. fl.
E-bok
Engelska, 2020
732 kr
Läs direkt efter köp
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 selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
AvJinyun Xue,Fumiko Nagoyam. fl.
Häftad, Engelska, 2021
574 kr
Skickas inom 10-15 vardagar
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 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually.
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
AvZhenhua Duan,Shaoying Lium. fl.
E-bok
Engelska, 2021
732 kr
Läs direkt efter köp
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 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually.
Del 13854 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
AvShaoying Liu,Zhenhua Duanm. fl.
Häftad, Engelska, 2023
631 kr
Skickas inom 10-15 vardagar
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 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification..
Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
AvAi Liu,Zhenhua Duanm. fl.
E-bok
Engelska, 2023
815 kr
Läs direkt efter köp
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 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification.
.
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected
AvShaoying Liu,Zhenhua Duan
Engelska, 2023
665 kr
Skickas inom 5-8 vardagar
Del 8332 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
AvShaoying Liu,Zhenhua Duan
Häftad, Engelska, 2014
574 kr
Skickas inom 10-15 vardagar
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 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.
Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
AvZhenhua Duan,Shaoying Liu
E-bok
PDF, Engelska, 2014
732 kr
Läs direkt efter köp
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 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.
Del 8979 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
AvShaoying Liu,Zhenhua Duan
Häftad, Engelska, 2015
461 kr
Skickas inom 10-15 vardagar
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 selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
AvZhenhua Duan,Shaoying Liu
E-bok
PDF, Engelska, 2015
569 kr
Läs direkt efter köp
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 selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.
Del 9559 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
AvShaoying Liu,Zhenhua Duan
Häftad, Engelska, 2016
574 kr
Skickas inom 10-15 vardagar
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 from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.
Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
AvZhenhua Duan,Shaoying Liu
E-bok
PDF, Engelska, 2016
739 kr
Läs direkt efter köp
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 from 22 submissions. The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.
Del 10189 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
AvShaoying Liu,Zhenhua Duanm. fl.
Häftad, Engelska, 2017
574 kr
Skickas inom 10-15 vardagar
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 are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
AvFumiko Nagoya,Cong Tianm. fl.
E-bok
Engelska, 2017
732 kr
Läs direkt efter köp
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 are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking.
Del 10610 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
AvZhenhua Duan,Luke Ong
Häftad, Engelska, 2017
574 kr
Skickas inom 10-15 vardagar
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 selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as veriﬁcation and validation, software engineering, formal speciﬁcation and modeling, software security, and software reliability.
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi''an, China, November 13-17, 2017, Proceedings
AvLuke Ong,Zhenhua Duan
E-bok
Engelska, 2017
732 kr
Läs direkt efter köp
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 selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as veriﬁcation and validation, software engineering, formal speciﬁcation and modeling, software security, and software reliability.
Del 10795 - Lecture Notes in Computer Science
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
AvCong Tian,Fumiko Nagoyam. fl.
Häftad, Engelska, 2018
574 kr
Skickas inom 10-15 vardagar
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 selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi''an, China, November 16, 2017, Revised Selected Papers
AvZhenhua Duan,Shaoying Lium. fl.
E-bok
Engelska, 2018
732 kr
Läs direkt efter köp
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 selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and verification and validation.

Zhenhua Duan – författare

Civil Engineering and Energy-Environment Vol 2

Civil Engineering and Energy-Environment Vol 1

Civil Engineering and Energy-Environment Vol 2

Civil Engineering and Energy-Environment Vol 1

Civil Engineering and Energy-Environment SET

Civil Engineering and Energy-Environment Vol 1

Civil Engineering and Energy-Environment Vol 2

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Computing and Combinatorics

Computing and Combinatorics

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method