Zhang, Lijun.
Overview
| Works: | 0 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I /
by:
Vojnar, Tomáš.; SpringerLink (Online service); Zhang, Lijun.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings /
by:
Pang, Jun.; SpringerLink (Online service); Zhang, Lijun.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Thermal and mechanical phenomena in laser-material interaction.
by:
The University of Nebraska - Lincoln.; ProQuest Information and Learning Co.; Zhang, Lijun.
(Language materials, manuscript)
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II /
by:
Vojnar, Tomáš.; Zhang, Lijun.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated technology for verification and analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings /
by:
Pu, Geguang.; Zhang, Lijun.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Finkbeiner, Bernd.
(Language materials, printed)
In Pursuit of Presence or Prominence? = The Prospect of Chinese Banks' Global Expansion and Their Benchmarks /
by:
Ben, Shenglin.; Gu, Yue.; Shuai, Qi.; Lv, Jiamin.; Gu, Hanting.; Gong, Huichao.; SpringerLink (Online service); Yu, Jiefang.; Zhang, Lijun.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
by:
Finkbeiner, Bernd.; SpringerLink (Online service); Zhang, Lijun.; Pu, Geguang.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Discrete-Time and Discrete-Space Dynamical Systems
by:
Zhang, Kuize.; Xie, Lihua.; Zhang, Lijun.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Short-Term Memory and Olfactory Signal Processing.
by:
Washington University in St. Louis.; Zhang, Lijun.
(Language materials, printed)
Subjects
Mathematical logic.
Computer organization.
Computer engineering.
Artificial intelligence.
Software engineering.
Electrical engineering.
Banks and banking.
Theory of Computation.
Logic Design.
Mathematical and Computational Biology.
Information science.
Computer programming.
Programming Techniques.
Banking.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Artificial intelligence
Artificial Intelligence.
Manufacturing, Machines, Tools, Processes.
Biomathematics.
International finance.
Computers.
System theory.
Programming Languages, Compilers, Interpreters.
Systems Theory, Control.
Control and Systems Theory.
Software Engineering.
Manufactures.
Software Engineering/Programming and Operating Systems.
Computer logic.
Algorithm Analysis and Problem Complexity.
International Finance.
Automatic theorem proving
System Performance and Evaluation.
Logic in AI.
The Computing Profession.
Computer Science.
Mechanical engineering.
Computer simulation.
Information technology.
Simulation and Modeling.
Control engineering.
Computer science.
Computer system failures.
Logic design.
Programming languages (Electronic computers).