Zhenhua Duan - Böcker

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 w...

Läs mer »

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 w...

Läs mer »

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 w...

Läs mer »

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 w...

Läs mer »

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 w...

Läs mer »

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 w...

Läs mer »

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 w...

Läs mer »

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 ful...

Läs mer »

This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xian, China, in July 2019. The 55 papers presented in this volume were carefully reviewed and selected from 124 submiss...

Läs mer »

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 in...

Läs mer »

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 volum...

Läs mer »

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...

Läs mer »

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 ...

Läs mer »

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 pre...

Läs mer »

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...

Läs mer »

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 careful...

Läs mer »

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...

Läs mer »

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 Xian, China, in November 2017. The 13 revised full papers includ...

Läs mer »

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....

Läs mer »