Languages
Jump To : Overview | Titles | Subjects

Wang, Chao.

Overview
Works: 1 works in 5 publications in 1 languages
Titles
Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part II / by: CAV (Conference) (2020 :); Lahiri, Shuvendu K.; Wang, Chao.; SpringerLink (Online service) (Electronic resources)
Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part I / by: CAV (Conference) (2020 :); Lahiri, Shuvendu K.; Wang, Chao.; SpringerLink (Online service) (Electronic resources)
Combined measure and shift invariance theory of time scales and applications by: Wang, Chao.; SpringerLink (Online service); Agarwal, Ravi P. (Electronic resources)
An ultra-low power voltage regulator system for wireless sensor networks powered by energy harvesting. by: Wang, Chao.; University of Maryland, College Park., Electrical Engineering. (Electronic resources)
From internet of things to smart cities = enabling technologies / by: Wang, Chao.; Sun, Hongjian.; Ahmad, Bashar I. (Electronic resources)
Dynamic mechanical behaviors and constitutive model of roller compacted concrete by: Wang, Chao.; SpringerLink (Online service); Wang, Xiaohua.; Zhang, Sherong. (Electronic resources)
Phenomena of Interacting Quantum Many-Body Systems. by: Wang, Chao.; Stanford University. (Electronic resources)
High Frequency Trading and Its Impact on Market Quality in U.S. Futures Market. by: Wang, Chao.; Illinois Institute of Technology., Stuart School of Business. (Electronic resources)
 
 
Change password
Login