Wenhui Zhang – författare
Visar alla böcker från författaren Wenhui Zhang. Handla med fri frakt och snabb leverans.
6 produkter
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
Av Shengchao Qin, Jim Woodcock m. fl.
Häftad, 2021
848 kr
Lägg i varukorg
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote …
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
Av Wenhui Zhang, Jim Woodcock m. fl.
E-bok, 2021
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of …
Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Häftad, 2006
568 kr
Lägg i varukorg
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote …
Automated Technology for Verification and Analysis
4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
E-bok, 2006
755 kr
Lägg i varukorg
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote …
Proceedings of 2025 International Conference on Artificial Intelligence and Autonomous Transportation
Volume VII
Av Shu-Feng Wang, Zhihong Li m. fl.
Inbunden, 2026
3272 kr
Lägg i varukorg
This book reflects the latest research trends, methods, and experimental results in the field of Artificial Intelligence and Autonomous Transportation, which covers abundant state-of-the-art research theories and ideas. As a vital research area that is highly relevant to current developments in a …
Proceedings of 2025 International Conference on Artificial Intelligence and Autonomous Transportation
Volume VII
Av Ying Rong, Tianli Tang m. fl.
E-bok, 2026
3937 kr
Lägg i varukorg
This book reflects the latest research trends, methods, and experimental results in the field of Artificial Intelligence and Autonomous Transportation, which covers abundant state-of-the-art research theories and ideas. As a vital research area that is highly relevant to current developments in a …
