Chao Wang

3 books

Abstraction Refinement for Large Scale Model Checking by Fabio Somenzi, Chao Wang, Gary D. Hachtel

Abstraction Refinement for Large Scale Model Checking

Series on Integrated Circuits and Systems

Fabio Somenzi, Chao Wang, Gary D. Hachtel

179 pages • missing pub info (editions)

nonfiction art computer science design technology medium-paced
High Performance Computing for Big Data: Methodologies and Applications by Chao Wang

High Performance Computing for Big Data: Methodologies and Applications

Chao Wang

missing page info • first pub 2017 (editions)

informative medium-paced
Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations by Chao Wang, Donal O' Regan, Ravi P. Agarwal

Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations

Developments in Mathematics

Chao Wang, Donal O' Regan, Ravi P. Agarwal

577 pages • missing pub info (editions)

nonfiction mathematics