结构智能选型 理论、方法与应用 theory， methods and applications
王光远，吕大刚等著2005 年出版464 页ISBN：711207942X
本书主要讲述了建筑结构智能选型的基本理论框架，结构智能选型的理论基础，结构智能选型知识处理技术，结构智能选型的的软件体系形式，结构智能选型的工程应用系统。...
THEORY OF A HIGHER-ORDER STURM-LIOUVILLE EQUATION
1997 年出版141 页ISBN：9783540630654
PERTURBATION THEORY FOR THE SCHRODINGER OPERATOR WITH A PERIODIC POTENTIAL
1997 年出版353 页ISBN：9783540631361
Literary Criticism An Introduction to Theory and Practice Second Edition
1999 年出版306 页ISBN：0138974225
Programs and Machines An Introduction to the Theory of Computation
1976 年出版214 页ISBN：0471016500
BOOLEAN-VALUED MODELS AND INDEPENDENCE PROOFS IN SET THEORY
1977 年出版126 页ISBN：0198531680
Kinetic energy storage Theory and practice of advanced flywheel systems
1985 年出版362 页ISBN：0408013966
SPECTRAL THEORY OF NON-COMMUTATIVE HARMONIC OSCILLATORS: AN INTRODUCTION
2010 年出版260 页ISBN：9783642119217
Advances in Computing Research Volume 3 1986 The Theory of Databases
1986 年出版397 页ISBN：0892326115
Principles of Dynamic Programming Part II Advanced Theory and Applications
1982 年出版497 页ISBN：0824765907
