Zhenhua Duan – författare
Visar alla böcker från författaren Zhenhua Duan. Handla med fri frakt och snabb leverans.
16 produkter
16 produkter
5 040 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
Inbunden, Engelska, 2023
2 141 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
Inbunden, Engelska, 2023
2 141 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
Häftad, Engelska, 2019
560 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.
Del 11653 - Lecture Notes in Computer Science
Computing and Combinatorics
25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings
Häftad, Engelska, 2019
544 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.
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
Häftad, Engelska, 2020
560 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.
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Häftad, Engelska, 2021
560 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.
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
Häftad, Engelska, 2023
616 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.
650 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
Häftad, Engelska, 2014
560 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.
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
Häftad, Engelska, 2015
450 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.
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
Häftad, Engelska, 2016
560 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.
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
Häftad, Engelska, 2017
560 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.
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
Häftad, Engelska, 2017
560 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2018
560 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. model checking;
Theory and Applications of Models of Computation
5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings
Häftad, Engelska, 2008
1 081 kr
Skickas inom 10-15 vardagar
Theory and Applications of Models of Computation (TAMC) is an inter- tional conference series with an interdisciplinary character, bringing together researchers working in computer science, mathematics (especially logic), and the physicalsciences. This crossdisciplinarycharacter,together with its focus on algorithms, complexity, and computability theory, gives the conference a special ?avor and distinction. TAMC2008wasthe?fth conferenceintheseries.Thepreviousfourmeetings wereheldduringMay17-19,2004inBeijing,May17-20,2005inKunming,May 15-20,2006 in Beijing, and May 22-25, 2007 in Shanghai. TAMC 2008 was held in Xi'an, during April 25-29, 2008. At TAMC 2008 we had two plenary speakers, Bernard Chazelle and Cynthia Dwork,giving one-hour talkseach. Bernardspokeon "WhyAlgorithms Matter" and Cynthia on "Di?erential Privacy: A Survey of Results." Their respective papers accompanying the talks are included in the proceedings. In addition, there were two special sessions organized by Barry Cooper and Ying Jiang on "Models of Computation" and by Jianer Chen on "Algorithms and Complexity." The invited speakersin the ?rst session wereJoseFelix Costa, Vincent Danos, Luke Ong, Mingsheng Ying, Miklos Santha, and Gilles Dowek.Invited speakers in the second session were Daniel Brown, Dieter Kratsch, - aotie Deng, and Jianer Chen. The TAMC conference series arose naturally in response to important sci- ti?c developments a?ecting how we compute in the twenty-?rst century. At the same time, TAMC is already playing an important regional and international role, and promises to become a key contributor to the scienti?c resurgence seen throughout China and other parts of Asia.