Zhang, Lijun.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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]
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]
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
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).