語系: 繁體中文
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
語系
跳至 : 概要 | 書目資訊 | 主題

Wang, Chao.

概要
作品: 1 作品在 5 項出版品 1 種語言
書目資訊
Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part II / by: Wang, Chao.; SpringerLink (Online service); Lahiri, Shuvendu K.; CAV (Conference) (2020 :) (書目-電子資源)
Computer aided verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.. Part I / by: Wang, Chao.; SpringerLink (Online service); CAV (Conference) (2020 :); Lahiri, Shuvendu K. (書目-電子資源)
Combined measure and shift invariance theory of time scales and applications by: Wang, Chao.; SpringerLink (Online service); Agarwal, Ravi P. (書目-電子資源)
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. (書目-電子資源)
From internet of things to smart cities = enabling technologies / by: Wang, Chao.; Sun, Hongjian.; Ahmad, Bashar I. (書目-電子資源)
Phenomena of Interacting Quantum Many-Body Systems. by: Wang, Chao.; Stanford University. (書目-電子資源)
Dynamic mechanical behaviors and constitutive model of roller compacted concrete by: Wang, Chao.; SpringerLink (Online service); Zhang, Sherong.; Wang, Xiaohua. (書目-電子資源)
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. (書目-電子資源)
 
 
變更密碼
登入