Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
东盟十国基本国情及投资风险评估 ＝ CURRENT COUNTRY FACTS AND INVESTMENT RISK ANALYSIS OF ASEAN TEN
范若兰主编2016 年出版547 页ISBN：7516190678
可靠性·维修性·保障性技术丛书 9 保障性设计分析与评价=DESIGN，ANALYSIS AND EVALUATION OF SUPPORTABILITY
王自力丛书主编2012 年出版0 页ISBN：
Lecture Notes in Computer Science 3572 Developments in Language Theory 9th International Conference
DLT 20052005 年出版409 页ISBN：3540265465
Lecture Notes in Computer Science 3340 Developments in Language Theory 8th International Conference
DLT 20042004 年出版431 页ISBN：3540240144
Lecture Notes in Computer Science 4588 Developments in Language Theory 11th International Conference
DLT 20072007 年出版423 页ISBN：9783540732075
ELECTRONIC STRUCTURE BASIC THEORY AND PRACTICAL METHODS
RICHARD M.MARTIN2017 年出版624 页ISBN：7519220877
《电子结构》是一部教科书，内容分为五个部分。第一部分介绍相关理论知识，重点讨论周期结构和能带论等。第二部分介绍密度泛函理论，重点讨论Kohn-Sham方法。第三部分介绍原子的重要预备知识，包括原子的电子结构...
CONTEMPORARY FICTION AND THE USES OF THEORY THE NOVEL FROM STRUCTURALISM TO POSTMODERNISM
MICHAEL GREANEY2006 年出版183 页ISBN：
