Wang, Chao.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
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)
(Language materials, printed)
From internet of things to smart cities = enabling technologies /
by:
Sun, Hongjian.; Ahmad, Bashar I.; Wang, Chao.
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
, [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 II /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(Language materials, printed)
, [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 I /
by:
SpringerLink (Online service); Lahiri, Shuvendu K.; Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales
by:
SpringerLink (Online service); Agarwal, Ravi P.; Wang, Chao.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Mathematical logic.
Computer organization.
Systems and Data Security.
Difference equations.
Artificial intelligence.
Dynamical Systems.
Differential Equations.
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
Information Systems and Communication Service.
Artificial Intelligence.
Differential equations.
Difference and Functional Equations.
Mathematics.
Internet of things.
Discrete mathematics.
Simulation and Modeling.
Discrete Mathematics.
Functional analysis.
Functions of real variables.
Real Functions.
Adaptive computing systems.
Computers.
High technology.
Functional equations.
Mathematical models.
Computer hardware.
Computer Hardware.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer security.
Dynamical systems.
Functional Analysis.
Software Engineering.
Mathematical Modeling and Industrial Mathematics.
Computer logic.
Automatic theorem proving
Measure theory.
Applications of Mathematics.
Computer simulation.