Zhang, Lijun.
概要
| 作品: | 0 作品在 5 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015 : proceedings /
by:
Finkbeiner, Bernd.; Pu, Geguang.; Zhang, Lijun.; SpringerLink (Online service)
(書目-電子資源)
Short-Term Memory and Olfactory Signal Processing.
by:
Zhang, Lijun.; ProQuest Information and Learning Co.; Washington University in St. Louis., Electrical Engineering.
(書目-電子資源)
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:
Zhang, Lijun.; SpringerLink (Online service); TACAS (Conference) (2019 :); ETAPS (Conference) (2019 :); Vojnar, Tomas.
(書目-電子資源)
Numerical characterization of electromagnetic band gap materials and applications in printed antennas and arrays.
by:
Zhang, Lijun.; University of California, Los Angeles.
(書目-語言資料,印刷品)
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:
Zhang, Lijun.; SpringerLink (Online service); ETAPS (Conference) (2019 :); TACAS (Conference) (2019 :); Vojnar, Tomas.
(書目-電子資源)
Dependable software engineering = theories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings /
by:
Zhang, Lijun.; SpringerLink (Online service); Pang, Jun.; SETTA (Symposium) (2020 :)
(書目-電子資源)
Living with/in heritage: Tulou as home, heritage, and destination.
by:
Zhang, Lijun.; Indiana University., Folklore and Ethnomusicology.
(書目-電子資源)
Thermal and mechanical phenomena in laser-material interaction.
by:
Zhang, Lijun.; The University of Nebraska - Lincoln., Mechanical Engineering.
(書目-電子資源)
Discrete-time and discrete-space dynamical systems
by:
Zhang, Lijun.; SpringerLink (Online service); Zhang, Kuize.; Xie, Lihua.
(書目-電子資源)
主題
Artificial intelligence
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematical and Computational Biology.
Software engineering
Theory of Computation.
Physics, Radiation.
Cultural anthropology.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Logic in AI.
Automatic theorem proving
Algorithm Analysis and Problem Complexity.
Control and Systems Theory.
Manufacturing, Machines, Tools, Processes.
Computer engineering.
Asian studies.
System design
Logic Design.
Formal methods (Computer science)
Electrical engineering.
Mechanical engineering.
Discrete-time systems.
Information technology.
Folklore.
Artificial Intelligence.
The Computing Profession.
Systems Theory, Control.
Engineering, Electronics and Electrical.
Computer Science.
Computer software- Verification
System Performance and Evaluation.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Computer science.
Information science.
System analysis