Lecture Notes in Computer Science 4066 Model Driven Architecture-Foundations and Applications Second
ECMDA-FA 20062006 年出版392 页ISBN：3540359095
Lecture Notes in Computer Science 4802 Advances in Conceptual Modeling-Foundations and Applications
FP-UMLQoIS 年出版0 页ISBN：SeCoGIS
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 4896 E-Voting and Identity First International Conference
VOTE-ID 20072007 年出版189 页ISBN：9783540774921
城市综合体规划与设计 上 = Hopsca planning and design
高迪国际HI-DESIGN PUBLISHING编；卢晓娟等译2015 年出版280 页ISBN：9787543966284
本书收录了国内外顶级商业设计事务所设计的近两年的新案例，通过详实的文字说明和技术图纸，展示了针对不同的城市及其特征，如何把财务与运营、风险相结合，建筑设计、景观设计、交通设计等相结合，为每一个项目制定...
城市综合体规划与设计 下 = Hopsca planning and design
高迪国际HI-DESIGN PUBLISHING编；卢晓娟等译2015 年出版275 页ISBN：9787543966284
本书收录了国内外顶级商业设计事务所设计的近两年的新案例，通过详实的文字说明和技术图纸，展示了针对不同的城市及其特征，如何把财务与运营、风险相结合，建筑设计、景观设计、交通设计等相结合，为每一个项目制定...
硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
葛竞著2007 年出版174 页ISBN：9787807328346
个头不高，眼睛又大又亮，头发总是乱蓬蓬的包达达，是个号称牛爱比尔——牛顿+爱因斯坦+比尔盖茨的6年级小学生。包达达遇见了一个叫卜卜的男孩，以自己的日记本为交换条件，许下了3个一定会实现的愿望：让自己的同学.....
中国樟属植物资源及其芳香成分 Cinnamomum Plant Resources and Their Aromatic Constituents in China
程必强，喻学俭，丁靖垲等著1997 年出版129 页ISBN：7541609668
SPECIALISTIC ENGLISH FOR ARCHITECTURE，PLANNING AND LANDSCAPE
郑启颖主编 王世福 孟光伟副主编2008 年出版296 页ISBN：9787560944319
本书分为建筑、城市规划、环境设计三大部分，每部分选材涵盖该专业所涉及的主要内容。理论部分侧重基础知识，巩固基础；案例部分力求反映最新的设计思潮。教学模块及特点：课文正文附有主题句中文导读，便于快速了解...
