Wang, Chao.
概要
| 作品: | 1 作品在 6 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Abstraction Refinement for Large Scale Model Checking /
by:
Hachtel, Gary D..; Somenzi, Fabio.; Wang, Chao.
(書目-電子資源)
Theory of translation closedness for time scaleswith applications in translation functions and dynamic equations /
by:
SpringerLink (Online service); Wang, Chao.
(書目-電子資源)
Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part II /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(書目-電子資源)
Computer aided verification32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.Part I /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(書目-電子資源)
Dynamic mechanical behaviors and constitutive model of roller compacted concrete
by:
SpringerLink (Online service); Wang, Chao.; Wang, Xiaohua.; Zhang, Sherong.
(書目-電子資源)
From internet of things to smart citiesenabling technologies /
by:
Ahmad, Bashar I.; Sun, Hongjian.; Wang, Chao.
(書目-電子資源)
Automated technology for verification and analysis16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
(1998 :); Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(書目-電子資源)
Combined measure and shift invariance theory of time scales and applications
by:
Agarwal, Ravi P.; SpringerLink (Online service); Wang, Chao.
(書目-電子資源)
主題
Electronic and Computer Engineering
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Computer aided design
Systems engineering
Computer-Aided Engineering (CAD, CAE) and Design
Logics and Meanings of Programs.
Information Systems and Communication Service.
Adaptive computing systems.
Differential equations.
Differential Equations.
Circuits and Systems
Automatic theorem proving
Real Functions.
Computer software
Roller compacted concrete
Programming Languages, Compilers, Interpreters.
Periodic functions.
High technology.
Functional Analysis.
Dynamics.
Artificial Intelligence.
Soil and Rock Mechanics.
Foundation Engineering.
Engineering
Systems and Data Security.
Simulation and Modeling.
Abstract Harmonic Analysis.
Mathematical Modeling and Industrial Mathematics.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Functional analysis.
Measure and Integration.
Computer engineering
Difference and Functional Equations.
Internet of things.
Measure theory.