Chao Wang

• Cryogenic Engineering and Technologies
• Domain-Specific Computer Architectures for Emerging Applications
• Abstraction Refinement for Large Scale Model Checking
• Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
• Computational Advertising
• High Performance Computing for Big Data
• Lun yu
• San shi liu ji
• Supramolecular Amphiphiles
• Theory of Translation Closedness for Time Scales
• Yuan qu san bai shou
• 2008 nian Zhongguo ji jin yu zi chan guan li hang ye fa zhan bao gao