Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN:3540450262
Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN:3540287957
能源-经济-环境系统的可持续发展研究 基于浙江的实证分析 Research on the sustainable development system of energy-economy-enviro
杨文培,严向军,丁祖荣著2007 年出版364 页ISBN:9787308057035
本书将能源经济系统看作开放系统,充分考虑其不完整性和对外依赖性,并从能源经济类型区的独特性出发,运用“3E”分析方法,将该课题的研究置于“资源·经济·环境”的大背景下集中精力研究“3E”问题,希望为区域能...
STATIC AND DYNAMIC ANALYSIS OF STRUCTURES WITH AN EMPHASIS ON MECHANICS AND COMPUTER MATRIX METHODS
JAMES F.DOYLE1991 年出版448 页ISBN:
Lecture Notes in Computer Science 3617 Image Analysis and Processing-ICIAP 2005 13th International C
2005 年出版1221 页ISBN:3540288694
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
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X