Zhang, Lijun.
概要
作品: | 0 作品在 1 項出版品 1 種語言 |
---|
書目資訊
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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,手稿)
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Discrete-Time and Discrete-Space Dynamical Systems
by:
Zhang, Kuize.; Xie, Lihua.; Zhang, Lijun.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Short-Term Memory and Olfactory Signal Processing.
by:
Washington University in St. Louis.; Zhang, Lijun.
(書目-語言資料,印刷品)
主題
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
Information technology.
Artificial Intelligence.
Manufacturing, Machines, Tools, Processes.
Biomathematics.
Control engineering.
Simulation and Modeling.
Computer science.
International finance.
Computer system failures.
Logic design.
Computers.
System theory.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Control and Systems Theory.
Systems Theory, Control.
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.