Wang, Chao.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Wang, Chao.; Lahiri, Shuvendu K.; SpringerLink (Online service)
(書目-語言資料,印刷品)
From internet of things to smart cities = enabling technologies /
by:
Sun, Hongjian.; Ahmad, Bashar I.; Wang, Chao.
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
Lahiri, Shuvendu K.; SpringerLink (Online service); Wang, Chao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Combined Measure and Shift Invariance Theory of Time Scales and Applications
by:
Agarwal, Ravi P.; Wang, Chao.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Theory of Translation Closedness for Time Scales = With Applications in Translation Functions and Dynamic Equations /
by:
SpringerLink (Online service); Sakthivel, Rathinasamy.; Wang, Chao.; O' Regan, Donal.; Agarwal, Ravi P.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
by:
SpringerLink (Online service); Agarwal, Ravi P.; Wang, Chao.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Mathematical logic.
Computer organization.
Systems and Data Security.
Difference equations.
Artificial intelligence.
Differential Equations.
Dynamical Systems.
Software engineering.
Theory of Computation.
Harmonic analysis.
Abstract Harmonic Analysis.
Measure and Integration.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial intelligence
Artificial Intelligence.
Differential equations.
Difference and Functional Equations.
Mathematics.
Internet of things.
Discrete Mathematics.
Functional analysis.
Real Functions.
Adaptive computing systems.
Computers.
High technology.
Mathematical models.
Functional equations.
Programming Languages, Compilers, Interpreters.
Dynamical systems.
Software Engineering.
Mathematical Modeling and Industrial Mathematics.
Computer logic.
Automatic theorem proving
Measure theory.
Applications of Mathematics.
Computer simulation.
Information Systems and Communication Service.
Discrete mathematics.
Simulation and Modeling.
Functions of real variables.
Computer Hardware.
Computer hardware.
Programming languages (Electronic computers).
Computer security.
Functional Analysis.