Chao Wang

· 43 obras en el catálogo

Obras

Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

XXing shi shang su zhi du de gong neng yu gou zao =

Xing shi shang su zhi du de gong neng yu gou zao =

WWo men de lao tou Wang Zengqi

Wo men de lao tou Wang Zengqi

ZZhong da tu fa shi jian de zheng fu yu jing guan li mo shi y

Zhong da tu fa shi jian de zheng fu yu jing guan li mo shi yan jiu =

22008 nian Zhongguo ji jin yu zi chan guan li hang ye fa zhan

2008 nian Zhongguo ji jin yu zi chan guan li hang ye fa zhan bao gao

JJin ge tie ma de jiao hui

Jin ge tie ma de jiao hui

JJue mi 543

Jue mi 543

Lun yu

San shi liu ji

Abstraction Refinement for Large Scale Model Checking

Computational Advertising

Theory of Translation Closedness for Time Scales

SSafe Robot Navigation among Moving and Steady Obstacles

Safe Robot Navigation among Moving and Steady Obstacles

CChinese Currency and Exchange Rates Analysis

Chinese Currency and Exchange Rates Analysis

Supramolecular Amphiphiles

High Performance Computing for Big Data

GGannan Zhou min ying jing ji fa zhan yan jiu

Gannan Zhou min ying jing ji fa zhan yan jiu

KKua guo min zu wen hua shi ying yu chuan cheng yan jiu

Kua guo min zu wen hua shi ying yu chuan cheng yan jiu

QQuan ji hua he cheng kong jing lei da tu xiang chu li

Quan ji hua he cheng kong jing lei da tu xiang chu li

JJing cha zuo zheng zhi du yan jiu

Jing cha zuo zheng zhi du yan jiu

SShui bian ren jia

Shui bian ren jia

RReconfigurable and Adaptive Computing

Reconfigurable and Adaptive Computing

FFrom Internet of Things to Smart Cities

From Internet of Things to Smart Cities

Cryogenic Engineering and Technologies