Chao Wang books

Home/ Authors/ Authors

Computer Aided Verification

Shuvendu K. Lahiri & Chao Wang

Free
Automated Technology for Verification and Analysis

Shuvendu K. Lahiri & Chao Wang

$39.99
From Internet of Things to Smart Cities

Hongjian Sun, Chao Wang & Bashar I. Ahmad

$59.99
Safe Robot Navigation Among Moving and Steady Obstacles

Andrey V. Savkin, Alexey S. Matveev, Michael Hoy & Chao Wang

$134.99
High Performance Computing for Big Data

Chao Wang

$57.99
Combined Measure and Shift Invariance Theory of Time Scales and Applications

Chao Wang & Ravi P. Agarwal

$89.99
Computational Advertising

Peng Liu & Chao Wang

$57.99
Abstraction Refinement for Large Scale Model Checking

Chao Wang, Gary D. Hachtel & Fabio Somenzi

$129.99
Domain-Specific Computer Architectures for Emerging Applications

Chao Wang

$59.99
Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

Sherong Zhang, Xiaohua Wang & Chao Wang

$159.99
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Chao Wang & Ravi P. Agarwal

$44.99
Network and Parallel Computing

Xuanhua Shi, Hong An, Chao Wang, Mahmut Kandemir & Hai Jin

$39.99
Chinese Currency Exchange Rates Analysis

Jiangze Du, Jying-Nan Wang, Kin Keung Lai & Chao Wang

$29.99