Bi jiao wen xue bian yi xue yan jiu

Combined Measure and Shift Invariance Theory of Time Scales and Applications

Theory of Translation Closedness for Time Scales

High Performance Computing for Big Data

Abstraction Refinement for Large Scale Model Checking

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

Da Tong Theory

Domain-Specific Computer Architectures for Emerging Applications

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Local Well-Posedness and Break-Down Criterion of the Incompressible Euler Equations with Free Boundary

San shi liu ji