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 • hardcover

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 • 2017

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

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

Developments in Mathematics

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

577 pages • hardcover

nonfiction mathematics